Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | treewide: remove redundant quotes | volth | 2019-09-08 |
| | |||
* | Merge branch 'master' into staging-next | Jan Tojnar | 2019-09-06 |
|\ | |||
| * | coqPackages.stdpp: 1.1 -> 1.2.1; coqPackages.iris: 3.1.0 -> 3.2.0 | Vincent Laporte | 2019-09-06 |
| | | | | | | | | Ensures compatibility with Coq ≥ 8.9 | ||
* | | treewide: remove redundant rec | volth | 2019-08-28 |
| | | |||
* | | treewide: remove redundant quotes | volth | 2019-08-26 |
|/ | |||
* | coqPackages.interval: 3.4.0 -> 3.4.1 | Vincent Laporte | 2019-08-12 |
| | |||
* | elpi: 1.4.1 -> 1.6.0, and coq-elpi | Cyril Cohen | 2019-08-09 |
| | |||
* | coqPackages.flocq: fetch sources from gitlab | Vincent Laporte | 2019-08-05 |
| | |||
* | coqPackages.flocq: 3.1.0 -> 3.2.0 | Vincent Laporte | 2019-08-05 |
| | | | | Ensures compatibility with Coq 8.10 | ||
* | coqPackages.coquelicot: 3.0.2 -> 3.0.3 | Vincent Laporte | 2019-08-03 |
| | | | | Ensures compatibility with Coq 8.10 | ||
* | 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 |
| |