about summary refs log tree commit diff
path: root/pkgs/development/coq-modules/contribs
AgeCommit message (Expand)AuthorFilesLines
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn89011-3/+3
2021-01-09coqPackages: refactorCyril Cohen1-32/+16
2020-05-08coq-zorns-lemma: 8.9.0 -> 8.11.0Andrew Miloradovsky1-4/+4
2019-10-11coqPackages_8_7.contribs.additions: removeVincent Laporte1-1/+1
2019-09-08treewide: remove redundant quotesvolth1-4/+4
2019-08-26treewide: remove redundant quotesvolth1-2/+2
2019-03-18coqPackages.contribs.containers: enable for Coq 8.9Vincent Laporte1-2/+9
2019-03-12coqPackages.contribs.zorns-lemma: 8.6.0 -> 8.9.0Théo Zimmermann1-4/+4
2018-11-02coqPackages.contribs.zfc: enable for Coq 8.8Vincent Laporte1-1/+1
2018-10-19coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.Théo Zimmermann1-1/+1
2018-06-01coqPackages.contribs.aac-tactics: enable for Coq 8.7 and 8.8 (#41351)Vincent Laporte1-5/+12
2018-04-25coqPackages.contribs.containers: make available for Coq 8.8Vincent Laporte1-1/+6
2018-03-21coqPackages.contribs.containers: make available for Coq 8.7Vincent Laporte1-5/+12
2017-12-22coqPackages.contribs.containers: fix urlVincent Laporte1-4/+4
2017-12-21coqPackages.contribs: new set with all packages from coq-contribsJohn Wiegley1-0/+1019
2017-12-02coqPackages_8_4.contribs: removeVincent Laporte3-454/+0
2016-02-08coqPackages.contribs.Bertrand: fix hashRobin Gloster1-1/+1
2015-03-01coq-contribs: fix various packagesVincent Laporte2-5/+58
2015-01-25coqPackages: add contribs (close #5242)Vincent Laporte3-0/+401
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-01 10:36:52 +0000