Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2019-08-26 | treewide: remove redundant quotes | volth | 1 | -1/+1 |
2019-07-23 | coqPackages.equations: 1.2beta2 -> 1.2 (#65281) | Vincent Laporte | 1 | -6/+12 |
2019-05-23 | updating packages coqPackages.bignums and coqPackages.equations | Cyril Cohen | 1 | -6/+6 |
2019-02-01 | Revert "coq-modules: add default to fix eval" | Vincent Laporte | 1 | -1/+1 |
2019-01-31 | coqPackages.equations: 1.2-beta-8.9 for coq_8_9 | John Wiegley | 1 | -0/+6 |
2019-01-28 | coq-modules: add default to fix eval | Matthew Bauer | 1 | -1/+1 |
2018-10-19 | coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc. | Théo Zimmermann | 1 | -1/+1 |
2018-07-08 | coqPackages.equations: enable for Coq 8.8 | Vincent Laporte | 1 | -7/+7 |
2018-07-05 | coqPackages.equations: Add support for Coq 8.8 | John Wiegley | 1 | -0/+6 |
2017-12-21 | coqPackages.equations: -> 1.0 | John Wiegley | 1 | -6/+6 |
2017-12-18 | coqPackages: move to a separate file and filter the package set | Vincent Laporte | 1 | -0/+4 |
2017-11-12 | Add missing default.nix for coqPackages.equations | John Wiegley | 1 | -0/+45 |