summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/contribs
AgeCommit message (Expand)Author
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn8901
2021-01-09coqPackages: refactorCyril Cohen
2020-05-08coq-zorns-lemma: 8.9.0 -> 8.11.0Andrew Miloradovsky
2019-10-11coqPackages_8_7.contribs.additions: removeVincent Laporte
2019-09-08treewide: remove redundant quotesvolth
2019-08-26treewide: remove redundant quotesvolth
2019-03-18coqPackages.contribs.containers: enable for Coq 8.9Vincent Laporte
2019-03-12coqPackages.contribs.zorns-lemma: 8.6.0 -> 8.9.0Théo Zimmermann
2018-11-02coqPackages.contribs.zfc: enable for Coq 8.8Vincent Laporte
2018-10-19coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.Théo Zimmermann
2018-06-01coqPackages.contribs.aac-tactics: enable for Coq 8.7 and 8.8 (#41351)Vincent Laporte
2018-04-25coqPackages.contribs.containers: make available for Coq 8.8Vincent Laporte
2018-03-21coqPackages.contribs.containers: make available for Coq 8.7Vincent Laporte
2017-12-22coqPackages.contribs.containers: fix urlVincent Laporte
2017-12-21coqPackages.contribs: new set with all packages from coq-contribsJohn Wiegley
2017-12-02coqPackages_8_4.contribs: removeVincent Laporte
2016-02-08coqPackages.contribs.Bertrand: fix hashRobin Gloster
2015-03-01coq-contribs: fix various packagesVincent Laporte
2015-01-25coqPackages: add contribs (close #5242)Vincent Laporte
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-23 05:21:34 +0000