Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Coq: refactoring of mathcomp packages (#86088) | Cyril Cohen | 2020-05-09 |
| | | | | | | | | - fixed bignum version - fixed coq-bits version - fixed coqprime version - fixed mathcomp and mathcomp extra packages (reworked building scheme and removed unused ssreflect directory) - giving the user access to function filterCoqPackages, because overrideScope' does not re-apply it. | ||
* | coq-zorns-lemma: 8.9.0 -> 8.11.0 | Andrew Miloradovsky | 2020-05-08 |
| | |||
* | coqPackages.gappalib: 1.4.1 → 1.4.3 | Vincent Laporte | 2020-04-29 |
| | |||
* | Merge pull request #86058 from vbgl/coq-coqhammer-1.2 | Damien Cassou | 2020-04-26 |
|\ | | | | | coqPackages.coqhammer: 1.1.1 → 1.2 | ||
| * | coqPackages.coqhammer: 1.1.1 → 1.2 | Vincent Laporte | 2020-04-26 |
| | | | | | | | | Add support for Coq 8.11 | ||
* | | coqPackages.equations: 1.2 → 1.2.1 | Vincent Laporte | 2020-04-23 |
|/ | |||
* | coqPackages.dpdgraph: fix build with OCaml ≥ 4.08 | Vincent Laporte | 2020-04-13 |
| | |||
* | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 |
| | |||
* | Merge pull request #83343 from vbgl/coq-coqhammer-1.1.1 | Benjamin Hipple | 2020-03-28 |
|\ | | | | | coqPackages.coqhammer: 1.1 → 1.1.1 | ||
| * | coqPackages.coqhammer: 1.1 → 1.1.1 | Vincent Laporte | 2020-03-25 |
| | | |||
* | | coqPackages.paramcoq: 1.1.1 → 1.1.2 | Vincent Laporte | 2020-03-27 |
|/ | |||
* | coqPackages.hierarchy-builder: init at 0.9.0 | Cyril Cohen | 2020-03-11 |
| | |||
* | coqPackages.dpdgraph: enable for Coq ≥ 8.9 | Vincent Laporte | 2020-03-10 |
| | |||
* | coqPackages_8_10.QuickChick: init at 1.2.0 | Vincent Laporte | 2020-03-06 |
| | |||
* | coqPackages.simple-io: enable for Coq 8.10 | Vincent Laporte | 2020-03-06 |
| | |||
* | coqPackages.paco: enable for Coq 8.10 and 8.11 | Vincent Laporte | 2020-03-04 |
| | |||
* | elpi: 1.7.0 -> 1.10.2; coq-elpi: 1.1 -> 1.3 | Cyril Cohen | 2020-03-03 |
| | |||
* | coqPackages.mathcomp_1_10: init at 1.10.0 | Vincent Laporte | 2020-02-24 |
| | |||
* | coqPackages.coq-ext-lib: 0.10.3 -> 0.11.1 | Valentin Robert | 2020-02-20 |
| | |||
* | coqPackages.bignums: enable for Coq 8.11 | Vincent Laporte | 2020-02-07 |
| | |||
* | coqPackages.tlc: disable for Coq > 8.10 | Vincent Laporte | 2020-01-31 |
| | |||
* | coqPackages.CoLoR support for Coq 8.10 | Jarrod Pas | 2020-01-26 |
| | |||
* | Keeps older CoLoR available for older Coq | Jarrod Pas | 2020-01-25 |
| | |||
* | coqPackages.CoLoR 1.4.0 -> 1.6.0 | Jarrod Pas | 2020-01-22 |
| | | | | | The package is now developed on GitHub, so fetchurl was replace with fetchFromGithub. | ||
* | 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 |
| |