Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | | coqPackages.serapi: remove with Coq 8.14 | Vincent Laporte | 2021-12-01 | |
| | | ||||
* | | coqPackages.coqhammer: 1.3.1 → 1.3.2 | Vincent Laporte | 2021-11-29 | |
| | | ||||
* | | compcert: 3.9 → 3.10 | Vincent Laporte | 2021-11-29 | |
|/ | | | | | | | | Enable for Coq 8.14 Use default version of OCaml (instead of 4.05) VST is not ready for CompCert 3.10, so it still uses 3.9 | |||
* | coqPackages.coq-record-update: init | Léo Stefanesco | 2021-11-25 | |
| | ||||
* | coq-bits: 1.0.0 -> 1.1.0 | Valentin Robert | 2021-11-16 | |
| | ||||
* | Merge pull request #145711 from siraben/coq-smpl-init | Ben Siraphob | 2021-11-15 | |
|\ | | | | | coqPackages.smpl: init | |||
| * | coqPackages.smpl: init | Ben Siraphob | 2021-11-12 | |
| | | ||||
* | | iris: 3.4.0 -> 3.5.0; stdpp: 1.5.0 -> 1.6.0 | Léo Stefanesco | 2021-11-14 | |
| | | ||||
* | | coqPackages.graph-theory: enable for Coq 8.14 | Vincent Laporte | 2021-11-13 | |
| | | ||||
* | | treewide: quote urls according to rfc 0045 (#145260) | xaverdh | 2021-11-10 | |
|/ | | | Co-authored-by: Sandro <sandro.jaeckel@gmail.com> | |||
* | coqPackages.coqeal: 1.0.6 -> 1.1.0 | Pierre Roux | 2021-11-05 | |
| | ||||
* | coqPackages.coqeal: master, add dependency | Pierre Roux | 2021-11-02 | |
| | | | | | | In order to include matrix normal forms in CoqEAL (https://github.com/coq-community/coqeal/pull/54) we add a dependency to mathcomp-real-closed. | |||
* | coqPackages.dpdgraph: 0.6.9 → 1.0 | Vincent Laporte | 2021-10-31 | |
| | ||||
* | Merge pull request #143793 from CohenCyril/fixHB-coq8.12 | Ben Siraphob | 2021-10-30 | |
|\ | | | | | coqPackages.hierarchy-builder: etc | |||
| * | coqPackages.hierarchy-builder: etc | Cyril Cohen | 2021-10-30 | |
| | | ||||
* | | Merge pull request #142072 from Zimmi48/fix-zorns-lemma-before-9.0 | Ben Siraphob | 2021-10-30 | |
|\ \ | |/ |/| | Fix zorns-lemma before 9.0. | |||
| * | coqPackages.zorns-lemma: fix build of versions pre-9.0 | Théo Zimmermann | 2021-10-18 | |
| | | | | | | | | The source was fetched from the wrong location and thus did not match the provided sha. | |||
* | | coqPackages.mathcomp: 1.12.0 -> 1.13.0 | Cyril Cohen | 2021-10-29 | |
| | | ||||
* | | coqPackages.coq-elpi: 1.10 -> 1.11 | Cyril Cohen | 2021-10-27 | |
| | | ||||
* | | coqPackages.paramcoq: 1.1.2 → 1.1.3 (for Coq 8.10–8.12) | Vincent Laporte | 2021-10-21 | |
| | | ||||
* | | coqPackages.serapi: patch to fix COQPATH issue | Théo Zimmermann | 2021-10-21 | |
| | | | | | | | | SerAPI was interpreting paths as relative to the Coq root. | |||
* | | coqPackages.extructures: init at 0.3.0 | Vincent Laporte | 2021-10-21 | |
| | | ||||
* | | coqPackages.deriving: init at 0.1.0 | Vincent Laporte | 2021-10-21 | |
| | | ||||
* | | coqPackages.gaia-hydras: init at 0.5 | Théo Zimmermann | 2021-10-18 | |
| | | ||||
* | | coqPackages.hydra-battles: 0.4 -> 0.5 | Théo Zimmermann | 2021-10-18 | |
| | | ||||
* | | coqPackages.addition-chains: 0.4 -> 0.5 | Théo Zimmermann | 2021-10-18 | |
|/ | ||||
* | coqPackages.mathcomp-zify: 1.0.0+1.12+8.13 -> 1.1.0+1.12+8.13 | Théo Zimmermann | 2021-10-16 | |
| | ||||
* | coqPackages.gaia: mark as compatible with Coq 8.14 | Théo Zimmermann | 2021-10-16 | |
| | ||||
* | coqPackages.goedel: 8.12.0 -> 8.13.0 | Théo Zimmermann | 2021-10-15 | |
| | ||||
* | coqPackages_8_14.serapi: init at 8.14+rc1+0.14.0 | Théo Zimmermann | 2021-10-13 | |
| | ||||
* | coq_8_14: init at 8.14+rc1 | Théo Zimmermann | 2021-10-13 | |
| | ||||
* | coqPackages.Verdi: 20200131 → 20210524 | Vincent Laporte | 2021-10-05 | |
| | ||||
* | coqPackages.StructTact: 20181102 → 20210328 | Vincent Laporte | 2021-10-05 | |
| | ||||
* | coqPackages.coq-ext-lib: 0.11.3 → 0.11.4 | Vincent Laporte | 2021-10-04 | |
| | ||||
* | coqPackages.multinomials: fix | Cyril Cohen | 2021-10-04 | |
| | ||||
* | coqPackages.gappalib: 1.4.5 → 1.5.0 | Vincent Laporte | 2021-10-03 | |
| | ||||
* | coqPackages.paramcoq: 1.1.2 → 1.1.3 | Vincent Laporte | 2021-10-01 | |
| | ||||
* | coqPackages.flocq: 3.3.1 → 3.4.2 | Vincent Laporte | 2021-09-24 | |
| | ||||
* | coqPackages.mkCoqDerivation: rely on namePrefix to compute default opam-name | Théo Zimmermann | 2021-09-20 | |
| | | | | As suggested by Cyril Cohen in https://github.com/NixOS/nixpkgs/pull/134362#discussion_r698379405. | |||
* | coqPackages.parsec: init at 0.1.0 | Théo Zimmermann | 2021-09-15 | |
| | ||||
* | coqPackages.ceres: init at 0.4.0 | Théo Zimmermann | 2021-09-15 | |
| | ||||
* | Merge pull request #136938 from siraben/mathcomp-analysis-update | Ben Siraphob | 2021-09-08 | |
|\ | | | | | coqPackages.mathcomp-analysis: 0.3.9 -> 0.3.10 | |||
| * | coqPackages.mathcomp-analysis: 0.3.9 -> 0.3.10 | Ben Siraphob | 2021-09-07 | |
| | | ||||
* | | coqPackages.corn: c366d3f01ec1812b145117a4da940518b092d3a6 -> 8.13.0 | Théo Zimmermann | 2021-09-08 | |
|/ | | | | Fix to use a released version. | |||
* | coqPackage.topology: 8.12.0 -> 9.0.0 | Théo Zimmermann | 2021-08-22 | |
| | | | | | First release with Zorns-lemma and Topology in a monorepo. Each individual package is built with Dune. | |||
* | Merge pull request #134456 from Zimmi48/mathcomp-1.12 | Ben Siraphob | 2021-08-17 | |
|\ | | | | | coqPackages.mathcomp: change default version for Coq 8.10+ | |||
| * | coqPackages.mathcomp: change default version for Coq 8.10+ | Théo Zimmermann | 2021-08-17 | |
| | | | | | | | | Fix the build of mathcomp-analysis with Coq 8.12 (by selecting a version which is compatible with HB 1.1.0). | |||
* | | coqPackages.serapi: init at multiple versions | Théo Zimmermann | 2021-08-17 | |
|/ | ||||
* | coqPackages.addition-chains: init at 0.4 | Théo Zimmermann | 2021-08-17 | |
| | ||||
* | coqPackages.hydra-battles: 0.3 -> 0.4 | Théo Zimmermann | 2021-08-17 | |
| |