summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/paramcoq
AgeCommit message (Expand)Author
2026-02-03coqPackages_9_0.paramcoq: init at 1.1.3+coq9.0Théo Zimmermann
2025-12-10treewide: clean up 'meta = with' patternIhar Hrachyshka
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-06-28coq_8_20: init at 8.20+rc1 (#323105)Pierre Roux
2023-12-19coqPackages.paramcoq: 8.18 -> 8.19Pierre Roux
2023-09-04coq_8_18: init at 8.18+rc1Vincent Laporte
2023-02-02coqPackages_8_17.paramcoq: init at 1.1.3+coq8.17Vincent Laporte
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn8901
2022-06-23coqPackages_8_16.paramcoq: init at 1.1.3+coq8.16Vincent Laporte
2022-01-27coqPackages_8_15.paramcoq: init at 1.1.3+coq8.15Théo Zimmermann
2021-10-21coqPackages.paramcoq: 1.1.2 → 1.1.3 (for Coq 8.10–8.12)Vincent Laporte
2021-10-01coqPackages.paramcoq: 1.1.2 → 1.1.3Vincent Laporte
2021-04-28coqPackages.paramcoq: enable for Coq 8.13Vincent Laporte
2021-01-09coqPackages: refactorCyril Cohen
2020-09-09coqPackages.paramcoq: init at 1.1.2 for Coq 8.12Vincent Laporte
2020-03-27coqPackages.paramcoq: 1.1.1 → 1.1.2Vincent Laporte
2019-12-30treewide: installFlags is a listRobin Gloster
2019-08-26treewide: remove redundant quotesvolth
2019-02-17coqPackages.paramcoq: init at 1.1.1Vincent Laporte
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-22 22:41:02 +0000