| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | treewide: installFlags is a list | Robin Gloster | 2019-12-30 |
| | | |||
| * | treewide: fix *Flags | Robin Gloster | 2019-12-30 |
| | | |||
| * | Treewide: update some problematic homepages | c0bw3b | 2019-12-08 |
| | | | | | | | These URLs are reported as problematic by Repology. It could be a permanent redirection or the page does not exist anymore | ||
| * | coqPackages.coq-ext-lib: 0.10.1 -> 0.10.3 | Valentin Robert | 2019-11-08 |
| | | |||
| * | coqPackages.paco: 1.2.8 -> 4.0.0 | Valentin Robert | 2019-11-08 |
| | | |||
| * | coqPackages.coq-extensible-records: support for coq 8.9 and 8.10 | Valentin Robert | 2019-10-29 |
| | | |||
| * | coqPackages.coq-bits: init at 20190812 | Valentin Robert | 2019-10-24 |
| | | |||
| * | coqPackages_8_10.ltac2: init at 0.3 | Vincent Laporte | 2019-10-24 |
| | | |||
| * | coq_8_10: 8.10+β3 → 8.10.0 | Vincent Laporte | 2019-10-16 |
| | | | | | coqPackages.coq-elpi: master → 1.1.0 | ||
| * | coqPackages_8_7.contribs.additions: remove | Vincent Laporte | 2019-10-11 |
| | | |||
| * | 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 |
| | | |||