Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Revert "coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27" | John Wiegley | 2018-10-10 |
| | | | | | This reverts commit f5f71c08cdbf1f66b654a1321460b6a7d771c26a, due to insufficient testing. | ||
* | Merge pull request #47589 from vbgl/coq-coqprime-init | Matthew Bauer | 2018-10-05 |
|\ | | | | | coqPackages.coqprime: init at 8.7.2 & 8.8 | ||
| * | coqPackages.coqprime: init at 8.7.2 & 8.8 | Vincent Laporte | 2018-10-01 |
| | | |||
* | | coqPackages.coq-haskell: Support building with Coq 8.8 | John Wiegley | 2018-10-04 |
|/ | |||
* | treewide: Use http/https for homepages | Janne Heß | 2018-09-08 |
| | |||
* | Merge branch 'master' into staging-next | Vladimír Čunát | 2018-08-13 |
|\ | | | | | | | | | | | | | Conflicts: gobby and libinfinity - I took the hand-edited versions instead of those resuting from the mass-replacement. Hydra: ?compare=1473190 | ||
| * | coqPackages.coq-ext-lib: 0.9.5 -> {0.9.7,0.9.8} | Vincent Laporte | 2018-08-08 |
| | | |||
* | | treewide: Make configureFlags lists | John Ericson | 2018-08-03 |
|/ | |||
* | coqPackages.category-theory: revert "Add equations as a buildInput" | Peter Simons | 2018-07-28 |
| | | | | | | | This reverts commit 08bf0b7630afa8656bb36bd61fac8ce9b2aff613, which broke Nixpkgs evaluation. Ping @jwiegley. | ||
* | coqPackages.category-theory: Add equations as a buildInput | John Wiegley | 2018-07-27 |
| | |||
* | coqPackages.category-theory: Update to Git version as of 20180709 | John Wiegley | 2018-07-27 |
| | |||
* | pkgs/*: remove unreferenced function arguments | volth | 2018-07-21 |
| | |||
* | coqPackages.equations: enable for Coq 8.8 | Vincent Laporte | 2018-07-08 |
| | |||
* | coqPackages.equations: Add support for Coq 8.8 | John Wiegley | 2018-07-05 |
| | |||
* | coqPackages.contribs.aac-tactics: enable for Coq 8.7 and 8.8 (#41351) | Vincent Laporte | 2018-06-01 |
| | |||
* | coqPackages.tlc: 20171206 -> 20180316 (#40927) | Vincent Laporte | 2018-05-22 |
| | |||
* | coqPackages.iris: init at 3.1.0 (#40909) | Vincent Laporte | 2018-05-22 |
| | |||
* | coqPackages.stdpp: init at 1.1 | Vincent Laporte | 2018-05-15 |
| | |||
* | coqPackages.dpdgraph: init at 0.6.3 for Coq 8.8 | Vincent Laporte | 2018-05-09 |
| | |||
* | Merge pull request #39469 from vbgl/coq-contribs-containers-8.8 | Matthew Justin Bauer | 2018-05-01 |
|\ | | | | | coqPackages.contribs.containers: make available for Coq 8.8 | ||
| * | coqPackages.contribs.containers: make available for Coq 8.8 | Vincent Laporte | 2018-04-25 |
| | | |||
* | | coqPackages.mathcomp: 1.6.4 -> 1.7.0 | Vincent Laporte | 2018-05-01 |
|/ | |||
* | coqPackages.bignums: make it available for Coq 8.8 | Vincent Laporte | 2018-03-27 |
| | |||
* | Merge pull request #37591 from vbgl/coq-88beta1 | John Wiegley | 2018-03-23 |
|\ | | | | | coq: init at 8.8+beta1 | ||
| * | coq: init at 8.8+beta1 | Vincent Laporte | 2018-03-21 |
| | | |||
* | | coqPackages.contribs.containers: make available for Coq 8.7 | Vincent Laporte | 2018-03-21 |
|/ | |||
* | coqPackages.bignums: Change expression to match other Coq packages | John Wiegley | 2018-03-06 |
| | | | | | Without this change, it's impossible to override bignums, or ignore it when creating custom datasets for other versions of Coq (such as 8.8+alpha). | ||
* | coqPackages.QuickChick: use fetchFromGitHub | John Wiegley | 2018-03-06 |
| | |||
* | coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27 | John Wiegley | 2018-03-05 |
| | |||
* | coqPackages.tlc: init at 20171206 | Vincent Laporte | 2017-12-28 |
| | | | | | | | TLC is a general purpose Coq library that provides an alternative to Coq's standard library. Homepage: http://www.chargueraud.org/softs/tlc/ | ||
* | 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.equations: -> 1.0 | John Wiegley | 2017-12-21 |
| | |||
* | coqPackages.multinomials: init at 1.0 | Vincent Laporte | 2017-12-18 |
| | |||
* | coqPackages: move to a separate file and filter the package set | Vincent Laporte | 2017-12-18 |
| | |||
* | coqPackages.coq-haskell: Update to add Hask.Ssr module | John Wiegley | 2017-12-15 |
| | |||
* | coqPackages.category-theory: New expression | John Wiegley | 2017-12-14 |
| | |||
* | coqPackages.coq-haskell: New expression | John Wiegley | 2017-12-14 |
| | |||
* | coqPackages_8_7.QuickChick: update to latest master | John Wiegley | 2017-12-12 |
| | |||
* | coqPackages_8_4.contribs: remove | Vincent Laporte | 2017-12-02 |
| | |||
* | coqPackages_8_4.ynot: remove | Vincent Laporte | 2017-12-02 |
| | |||
* | coqPackages_8_4.unimath: remove | Vincent Laporte | 2017-12-02 |
| | |||
* | coqPackages_8_4.tlc: remove | Vincent Laporte | 2017-12-02 |
| | |||
* | coqPackages_8_4.ssreflect: remove | Vincent Laporte | 2017-12-02 |
| | |||
* | coqPackages_8_4.QuickChick: remove | Vincent Laporte | 2017-12-02 |
| | |||
* | coqPackages_8_4.mathcomp: remove | Vincent Laporte | 2017-12-02 |
| | |||
* | coqPackages_8_4.interval: remove | Vincent Laporte | 2017-12-02 |
| | |||
* | coqPackages_8_4.fiat: remove | Vincent Laporte | 2017-12-02 |
| | |||
* | coqPackages_8_4.domains: remove | Vincent Laporte | 2017-12-02 |
| | |||
* | coqPackages_8_4.coquelicot: remove | Vincent Laporte | 2017-12-02 |
| |