Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | coqPackages.equations: 1.2beta2 -> 1.2 (#65281) | Vincent Laporte | 2019-07-23 | |
| | | | | | | * coqPackages.equations: 1.2beta2 -> 1.2 * coqPackages.category-theory: 20181016 -> 20190414 | |||
* | coqPackages.math-classes: 8.8.1 -> 8.9.1 | Théo Zimmermann | 2019-07-22 | |
| | | | | Introduces compatibility with Coq 8.10. | |||
* | coqPackages: fix + add multinomials 1.3 + coqeal 1.0.0 | Cyril Cohen | 2019-07-02 | |
| | ||||
* | coqPackages.gappalib: disable for Coq 8.10 | Vincent Laporte | 2019-06-27 | |
| | ||||
* | coqPackages.gappalib: init at 1.4.1 | Vincent Laporte | 2019-06-19 | |
| | | | | This is the Coq support library for Gappa. | |||
* | coqPackages.coqprime: enable for Coq 8.10 | Vincent Laporte | 2019-06-18 | |
| | ||||
* | coqPackages.bignums: enable for Coq 8.10 | Vincent Laporte | 2019-06-18 | |
| | ||||
* | treewide: remove unused variables (#63177) | volth | 2019-06-16 | |
| | | | | | | * treewide: remove unused variables * making ofborg happy | |||
* | coqPackages.simple-io: 1.0.0 -> 1.2.0 | Vincent Laporte | 2019-06-06 | |
| | ||||
* | coqPackages.QuickChick: init at 1.1.0 for Coq 8.9 | Vincent Laporte | 2019-06-06 | |
| | | | | | Removes QuickChick for Coq 8.7 as it is broken (probably due to a too recent ssreflect). | |||
* | coqPackages.mathcomp: 1.8.0 -> 1.9.0 and adding real-closed | Cyril Cohen | 2019-06-03 | |
| | ||||
* | updating packages coqPackages.bignums and coqPackages.equations | Cyril Cohen | 2019-05-23 | |
| | ||||
* | coqPackages.ltac2: init at 0.1 | Vincent Laporte | 2019-05-23 | |
| | ||||
* | several fixes in coq and coqPackages.mathcomp (and extras) | Cyril Cohen | 2019-05-21 | |
| | ||||
* | coqPackages: refactor mathcomp packages | Cyril Cohen | 2019-05-15 | |
| | | | | Closes #61456 | |||
* | coq: init at 8.10+β1 | Vincent Laporte | 2019-05-15 | |
| | ||||
* | coqPackages.Verdi: 20181102 -> 20190202 | Vincent Laporte | 2019-04-25 | |
| | ||||
* | coqPackages.tlc: 20180316 -> 20181116 | Vincent Laporte | 2019-04-24 | |
| | ||||
* | coqPackages.mathcomp: 1.7.0 -> 1.8.0 | Vincent Laporte | 2019-04-23 | |
| | | | | | coqPackages.mathcomp-finmap: 1.1.0 -> 1.2.0 coqPackages.mathcomp-analysis: 0.1.0 -> 0.2.0 | |||
* | coqPackages.coqhammer: init at 1.1 | Vincent Laporte | 2019-03-29 | |
| | | | | | | CoqHammer is a general-purpose automated reasoning hammer tool for Coq. Homepage: http://cl-informatik.uibk.ac.at/cek/coqhammer/ | |||
* | coqPackages.contribs.containers: enable for Coq 8.9 | Vincent Laporte | 2019-03-18 | |
| | ||||
* | coqPackages.coq-simple-io: 0.2 -> 1.0.0 | Vincent Laporte | 2019-03-18 | |
| | | | | coqPackages.QuickChick: 1.0.2 -> 20190311 | |||
* | coqPackages.coq-ext-lib: 0.10.0 -> 0.10.1 | Vincent Laporte | 2019-03-15 | |
| | ||||
* | coqPackages.contribs.zorns-lemma: 8.6.0 -> 8.9.0 | Théo Zimmermann | 2019-03-12 | |
| | ||||
* | 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 | |
| |