Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2022-10-12 | coq: default to version 8.16 | Vincent Laporte | 1 | -1/+1 | |
2022-10-12 | coq_8_16: use OCaml 4.14 | Vincent Laporte | 1 | -1/+3 | |
2022-09-26 | Split coqPackages.mathcomp-analysis | Pierre Roux | 1 | -0/+1 | |
In preparation of https://github.com/math-comp/analysis/pull/600 | |||||
2022-09-11 | Merge pull request #188766 from cdepillabout/overrideCoqDerivation | Dennis Gosnell | 1 | -1/+1 | |
coqPackages.mkCoqDerivation: add a lib.overrideCoqDerivation function | |||||
2022-09-06 | add attributes for metacoq subpackages | Kenji Maillard | 1 | -0/+4 | |
2022-08-29 | coqPackages.mkCoqDerivation: add a coqPackages.lib.overrideCoqDerivation ↵ | Dennis Gosnell | 1 | -1/+1 | |
function `overrideCoqDerivation` allows end-users the ability to easily override arguments to the underlying call to `mkCoqDerivation` for a given Coq library. This is similar to `haskell.lib.overrideCabal` for Haskell packages and `.overridePythonAttrs` for Python packges. | |||||
2022-07-10 | Split out CoqIDE by default when Coq >= 8.14. | Théo Zimmermann | 1 | -0/+1 | |
2022-06-08 | coq_8_16: init at 8.16+rc1 | Pierre Roux | 1 | -0/+2 | |
2022-05-25 | coqPackages: etc | Cyril Cohen | 1 | -1/+4 | |
- put `findlib` in `buildInputs` of `mkCoqDerivation` to make sure `coq` packages find their ocaml plugin dependencies, - use `propagatedBuildInputs` to make sure ocaml plugin dependencies are in path, - updated `coqPackage.heq` (broken url), - fixed use of `DESTDIR` and `COQMF_COQLIB` in mkCoqDerivation, - adding `COQCORELIB` environement variable to put ocaml plugin files in the right place, - make `metaFetch` available from `coqPackages` | |||||
2022-05-13 | Revert "coqPackages: etc" | Vincent Laporte | 1 | -4/+1 | |
This reverts commit 7e589a45ef86abf9a6a737d9730925b81ee663b4. | |||||
2022-05-12 | coqPackages: etc | Cyril Cohen | 1 | -1/+4 | |
- use propagatedBuildInputs to make sure ocaml plugin stuff is in path - updated coqPackage.heq (broken url) - fixed use of `DESTDIR` and `COQMF_COQLIB` in mkCoqDerivation - adding `COQCORELIB` environement variable to put ocaml plugin files in the right place - make metaFetch available from `coqPackages` | |||||
2022-05-07 | coq: default to 8.15 | Vincent Laporte | 1 | -1/+1 | |
2022-05-03 | coqPackages.metacoq: create package (#162639) | Kenji Maillard | 1 | -0/+1 | |
2022-04-13 | coqPackages.smtcoq: init at itp22 | Ben Siraphob | 1 | -0/+1 | |
2022-04-13 | coqPackages.trakt: init at 1.0 | Ben Siraphob | 1 | -0/+1 | |
2022-02-20 | coqPackages.LibHyps: init at 2.0.4.1 | Théo Zimmermann | 1 | -0/+1 | |
2022-02-16 | coqPackages.VST: 2.8 → 2.9 | Vincent Laporte | 1 | -3/+1 | |
2021-12-24 | coqPackages.mathcomp-word: init at 1.0 | Vincent Laporte | 1 | -0/+1 | |
2021-12-09 | coq_8_15: init at 8.15+rc1 | Vincent Laporte | 1 | -0/+2 | |
2021-12-01 | coq_8_14: 8.14.0 → 8.14.1 | Vincent Laporte | 1 | -2/+7 | |
And build Coq ≥ 8.14 with OCaml 4.12 | |||||
2021-11-29 | compcert: 3.9 → 3.10 | Vincent Laporte | 1 | -2/+3 | |
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 | |||||
2021-11-25 | coqPackages.coq-record-update: init | Léo Stefanesco | 1 | -0/+1 | |
2021-11-12 | coqPackages.smpl: init | Ben Siraphob | 1 | -0/+1 | |
2021-10-29 | coqPackages.mathcomp: 1.12.0 -> 1.13.0 | Cyril Cohen | 1 | -0/+1 | |
2021-10-21 | coqPackages.extructures: init at 0.3.0 | Vincent Laporte | 1 | -0/+1 | |
2021-10-21 | coqPackages.deriving: init at 0.1.0 | Vincent Laporte | 1 | -0/+1 | |
2021-10-18 | coqPackages.gaia-hydras: init at 0.5 | Théo Zimmermann | 1 | -0/+1 | |
2021-10-13 | coq_8_14: init at 8.14+rc1 | Théo Zimmermann | 1 | -0/+2 | |
2021-09-15 | coqPackages.parsec: init at 0.1.0 | Théo Zimmermann | 1 | -0/+1 | |
2021-09-15 | coqPackages.ceres: init at 0.4.0 | Théo Zimmermann | 1 | -0/+1 | |
2021-08-17 | coqPackages.serapi: init at multiple versions | Théo Zimmermann | 1 | -0/+1 | |
2021-08-17 | coqPackages.addition-chains: init at 0.4 | Théo Zimmermann | 1 | -0/+1 | |
2021-08-17 | coqPackages.gaia: init at 1.11 and 1.12 | Théo Zimmermann | 1 | -0/+1 | |
2021-07-29 | coqPackages.graph-theory: init at 0.9 | Ben Siraphob | 1 | -0/+1 | |
2021-07-01 | coqPackages.itauto: init at 8.13+no | Ben Siraphob | 1 | -0/+1 | |
2021-06-29 | coqPackages.semantics: init | Ben Siraphob | 1 | -0/+1 | |
2021-06-14 | Move CompCert into coqPackages. (#126214) | Théo Zimmermann | 1 | -7/+7 | |
* compcert: preparation to move in coqPackages * compcert: move into coqPackages * compcert: remove version 3.7 As a consequence, also remove VST version 2.6 These were broken. | |||||
2021-06-08 | coqPackages.reglang: init at 1.1.2 | Ben Siraphob | 1 | -0/+1 | |
2021-06-04 | compcert: 3.8 → 3.9 | Vincent Laporte | 1 | -1/+1 | |
2021-06-01 | coqPackages.topology: init | Ben Siraphob | 1 | -0/+1 | |
2021-06-01 | coqPackages.zorns-lemma: init | Ben Siraphob | 1 | -0/+1 | |
2021-05-17 | coqPackages.relation-algebra: init | Ben Siraphob | 1 | -0/+1 | |
2021-05-17 | coqPackages.aac-tactics: init | Ben Siraphob | 1 | -0/+1 | |
2021-05-10 | coq: default to version 8.13 | Vincent Laporte | 1 | -1/+1 | |
2021-05-10 | coqPackages.mathcomp-zify: init at 1.0.0+1.12+8.13 | Cyril Cohen | 1 | -0/+1 | |
2021-05-10 | coqPackages.goedel: init at 8.12.0 | Ben Siraphob | 1 | -0/+1 | |
2021-05-10 | coqPackages.pocklington: init at 8.12.0 | Ben Siraphob | 1 | -0/+1 | |
2021-05-10 | coqPackages.hydra-battles: init at 0.3 | Ben Siraphob | 1 | -0/+1 | |
2021-05-07 | coqPackages.VST: 2.6 → 2.7.1 | Vincent Laporte | 1 | -3/+5 | |
2021-05-03 | top-level/coq-packages: remove dontDistribute | Ben Siraphob | 1 | -3/+1 | |
In the GitHub discussion of 527bad18d08b5f6b2c1496e684db0ec16eaf51c3, it was decided to allow Hydra to build coqPackages. |