index
:
nixpkgs
this commit
archive
master
rootfs
usbip
wayland
Downstream nixpkgs tree for Spectrum
Alyssa Ross
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
development
/
coq-modules
/
contribs
Commit message (
Expand
)
Author
Age
*
coqPackages: refactor
Cyril Cohen
2021-01-09
*
coq-zorns-lemma: 8.9.0 -> 8.11.0
Andrew Miloradovsky
2020-05-08
*
coqPackages_8_7.contribs.additions: remove
Vincent Laporte
2019-10-11
*
treewide: remove redundant quotes
volth
2019-09-08
*
treewide: remove redundant quotes
volth
2019-08-26
*
coqPackages.contribs.containers: enable for Coq 8.9
Vincent Laporte
2019-03-18
*
coqPackages.contribs.zorns-lemma: 8.6.0 -> 8.9.0
Théo Zimmermann
2019-03-12
*
coqPackages.contribs.zfc: enable for Coq 8.8
Vincent Laporte
2018-11-02
*
coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.
Théo Zimmermann
2018-10-19
*
coqPackages.contribs.aac-tactics: enable for Coq 8.7 and 8.8 (#41351)
Vincent Laporte
2018-06-01
*
coqPackages.contribs.containers: make available for Coq 8.8
Vincent Laporte
2018-04-25
*
coqPackages.contribs.containers: make available for Coq 8.7
Vincent Laporte
2018-03-21
*
coqPackages.contribs.containers: fix url
Vincent Laporte
2017-12-22
*
coqPackages.contribs: new set with all packages from coq-contribs
John Wiegley
2017-12-21
*
coqPackages_8_4.contribs: remove
Vincent Laporte
2017-12-02
*
coqPackages.contribs.Bertrand: fix hash
Robin Gloster
2016-02-08
*
coq-contribs: fix various packages
Vincent Laporte
2015-03-01
*
coqPackages: add contribs (close #5242)
Vincent Laporte
2015-01-25