about summary refs log tree commit diff
path: root/pkgs/development/coq-modules/paramcoq
Commit message (Expand)AuthorAge
* coqPackages.paramcoq: 8.18 -> 8.19Pierre Roux2023-12-19
* coq_8_18: init at 8.18+rc1Vincent Laporte2023-09-04
* coqPackages_8_17.paramcoq: init at 1.1.3+coq8.17Vincent Laporte2023-02-02
* treewide: remove global with lib; statements in pkgs/coq-modulesShawn89012023-01-21
* coqPackages_8_16.paramcoq: init at 1.1.3+coq8.16Vincent Laporte2022-06-23
* coqPackages_8_15.paramcoq: init at 1.1.3+coq8.15Théo Zimmermann2022-01-27
* coqPackages.paramcoq: 1.1.2 → 1.1.3 (for Coq 8.10–8.12)Vincent Laporte2021-10-21
* coqPackages.paramcoq: 1.1.2 → 1.1.3Vincent Laporte2021-10-01
* coqPackages.paramcoq: enable for Coq 8.13Vincent Laporte2021-04-28
* coqPackages: refactorCyril Cohen2021-01-09
* coqPackages.paramcoq: init at 1.1.2 for Coq 8.12Vincent Laporte2020-09-09
* coqPackages.paramcoq: 1.1.1 → 1.1.2Vincent Laporte2020-03-27
* treewide: installFlags is a listRobin Gloster2019-12-30
* treewide: remove redundant quotesvolth2019-08-26
* coqPackages.paramcoq: init at 1.1.1Vincent Laporte2019-02-17
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-24 02:36:56 +0000