summary refs log tree commit diff
path: root/pkgs/development/coq-modules/contribs
Commit message (Expand)AuthorAge
* coqPackages_8_7.contribs.additions: removeVincent Laporte2019-10-11
* treewide: remove redundant quotesvolth2019-09-08
* treewide: remove redundant quotesvolth2019-08-26
* coqPackages.contribs.containers: enable for Coq 8.9Vincent Laporte2019-03-18
* coqPackages.contribs.zorns-lemma: 8.6.0 -> 8.9.0Théo Zimmermann2019-03-12
* coqPackages.contribs.zfc: enable for Coq 8.8Vincent Laporte2018-11-02
* coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.Théo Zimmermann2018-10-19
* coqPackages.contribs.aac-tactics: enable for Coq 8.7 and 8.8 (#41351)Vincent Laporte2018-06-01
* coqPackages.contribs.containers: make available for Coq 8.8Vincent Laporte2018-04-25
* coqPackages.contribs.containers: make available for Coq 8.7Vincent Laporte2018-03-21
* coqPackages.contribs.containers: fix urlVincent Laporte2017-12-22
* coqPackages.contribs: new set with all packages from coq-contribsJohn Wiegley2017-12-21
* coqPackages_8_4.contribs: removeVincent Laporte2017-12-02
* coqPackages.contribs.Bertrand: fix hashRobin Gloster2016-02-08
* coq-contribs: fix various packagesVincent Laporte2015-03-01
* coqPackages: add contribs (close #5242)Vincent Laporte2015-01-25
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-09 17:17:27 +0000