Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | coqPackages.mathcomp-analysis: enable for Coq 8.9 | Vincent Laporte | 2019-02-18 |
| | |||
* | coqPackages.paramcoq: init at 1.1.1 | Vincent Laporte | 2019-02-17 |
| | |||
* | coqPackages.flocq: 3.0.0 -> 3.1.0 | Vincent Laporte | 2019-02-15 |
| | |||
* | coqPackages.interval: 3.3.0 -> 3.4.0 | Vincent Laporte | 2019-02-15 |
| | |||
* | coqPackages.coquelicot: 3.0.1 -> 3.0.2 | Vincent Laporte | 2019-02-15 |
| | |||
* | coqPackages.mathcomp-analysis: init at 0.1.0 | Vincent Laporte | 2019-02-09 |
| | |||
* | coqPackages.mathcomp-finmap: init at 1.1.0 | Vincent Laporte | 2019-02-09 |
| | |||
* | coqPackages.mathcomp-bigenough: init at 1.0.0 | Vincent Laporte | 2019-02-09 |
| | |||
* | coqPackages_8_9: disable a few packages that do not build | Vincent Laporte | 2019-02-08 |
| | |||
* | Revert "coq-modules: add default to fix eval" | Vincent Laporte | 2019-02-01 |
| | | | | This reverts commit e20b65156cee92d30b43f8e339bd686bd83538cb. | ||
* | coqPackages.equations: 1.2-beta-8.9 for coq_8_9 | John Wiegley | 2019-01-31 |
| | |||
* | coqPackages.coq-extensible-records: init at 1.2.0 | Valentin Robert | 2019-01-30 |
| | |||
* | coq-modules: add default to fix eval | Matthew Bauer | 2019-01-28 |
| | | | | | | | | We don’t want these to not even evaluate, otherwise we won’t know why they’re broken. For now, I’ve left these as the latest version for a default. In the future, maybe we should be smarter about choosing these. (cherry picked from commit e20b65156cee92d30b43f8e339bd686bd83538cb) | ||
* | coqPackages.flocq: 2.6.0 -> {2.6.1, 3.0.0} | Vincent Laporte | 2019-01-23 |
| | |||
* | coqPackages.QuickChick: init at 1.0.2 for Coq 8.8 | Vincent Laporte | 2019-01-18 |
| | |||
* | coqPackages.category-theory: bound build parallelism | Vincent Laporte | 2019-01-11 |
| | |||
* | coqPackages.Verdi: fix build | Vincent Laporte | 2018-12-21 |
| | |||
* | coqPackages.InfSeqExt: fix build | Vincent Laporte | 2018-12-21 |
| | |||
* | coqPackages.Cheerios: fix build | Vincent Laporte | 2018-12-21 |
| | |||
* | coqPackages.StructTact: fix build | Vincent Laporte | 2018-12-21 |
| | |||
* | coqPackages.coqprime: enable for Coq 8.9 | Vincent Laporte | 2018-12-20 |
| | |||
* | coqPackages.simple-io: init at 0.2 | Vincent Laporte | 2018-12-10 |
| | | | | | | Purely functional IO for Coq. homepage: https://github.com/Lysxia/coq-simple-io | ||
* | coqPackages_8_9.coq-ext-lib: init at 0.10.0 | Vincent Laporte | 2018-12-10 |
| | |||
* | coqPackages.corn: init at 8.8.1 | Vincent Laporte | 2018-12-10 |
| | |||
* | coqPackages.math-classes: 1.0.7 -> 8.8.1 | Vincent Laporte | 2018-12-03 |
| | |||
* | coqPackages: New expressions: StructTact, InfSeqExt, Cheerios, Verdi | John Wiegley | 2018-11-20 |
| | |||
* | coqPackages.bignums: enable for Coq version 8.9 | Vincent Laporte | 2018-11-19 |
| | |||
* | Merge pull request #49780 from Zimmi48/give-default-version-of-ssreflect | Jörg Thalheim | 2018-11-06 |
|\ | | | | | coqPackages.ssreflect: refactor choice of source version | ||
| * | coqPackages.ssreflect: inherit mathcomp's source/meta attributes | Jörg Thalheim | 2018-11-06 |
| | | |||
| * | coqPackages.mathcomp: use fetchFromGitHub | Jörg Thalheim | 2018-11-06 |
| | | |||
| * | coqPackages.ssreflect: refactor choice of source version | Théo Zimmermann | 2018-11-05 |
| | | |||
* | | coqPackages_8_5.fiat_HEAD: fix build | Vincent Laporte | 2018-11-06 |
|/ | |||
* | coqPackages.autosubst: fix build | Vincent Laporte | 2018-11-05 |
| | |||
* | coqPackages.ssreflect: refactor | Vincent Laporte | 2018-11-04 |
| | |||
* | coqPackages.mathcomp: refactor | Vincent Laporte | 2018-11-04 |
| | |||
* | coqPackages.contribs.zfc: enable for Coq 8.8 | Vincent Laporte | 2018-11-02 |
| | |||
* | coqPackages.category-theory: fix build | Vincent Laporte | 2018-10-24 |
| | |||
* | coqPackages.Velisarios: New expression | John Wiegley | 2018-10-23 |
| | |||
* | coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc. | Théo Zimmermann | 2018-10-19 |
| | |||
* | 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 |
| |