about summary refs log tree commit diff
path: root/pkgs/development/coq-modules/coqprime
AgeCommit message (Expand)AuthorFilesLines
2024-01-26coqPackages_8_19.coqprimePierre Roux1-1/+1
2023-11-17coqPackages.coqprime: 8.17 → 8.18Vincent Laporte1-1/+2
2023-09-04coq_8_18: init at 8.18+rc1Vincent Laporte1-1/+1
2023-05-22coqPackages.coqprime: 8.15 → 8.17Vincent Laporte1-0/+2
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn89011-2/+2
2022-06-13coqPackages.coqprime: enable for Coq 8.16Vincent Laporte1-1/+1
2022-05-25coqPackages: etcCyril Cohen1-1/+0
2022-05-13Revert "coqPackages: etc"Vincent Laporte1-0/+1
2022-05-12coqPackages: etcCyril Cohen1-1/+0
2022-04-04coqPackages.coqprime: 8.14.1 → 8.15Vincent Laporte1-1/+2
2021-12-02coqPackages.coqprime: 8.12 → 8.14.1Vincent Laporte1-1/+2
2021-05-10coqPackages.coqprime: enable for Coq 8.13Vincent Laporte1-1/+1
2021-01-09coqPackages: refactorCyril Cohen1-54/+23
2020-09-09coqPackages.coqprime: init at 8.12 for Coq 8.12Vincent Laporte1-0/+4
2020-08-23coqPackages.coqprime: enable for Coq 8.11Vincent Laporte1-4/+6
2020-05-09Coq: refactoring of mathcomp packages (#86088)Cyril Cohen1-20/+24
2019-12-30treewide: installFlags is a listRobin Gloster1-1/+1
2019-08-26treewide: remove redundant quotesvolth1-1/+1
2019-06-18coqPackages.coqprime: enable for Coq 8.10Vincent Laporte1-0/+1
2019-02-01Revert "coq-modules: add default to fix eval"Vincent Laporte1-1/+1
2019-01-28coq-modules: add default to fix evalMatthew Bauer1-1/+1
2018-12-20coqPackages.coqprime: enable for Coq 8.9Vincent Laporte1-4/+7
2018-10-01coqPackages.coqprime: init at 8.7.2 & 8.8Vincent Laporte1-0/+46
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-08 08:13:04 +0000