Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2024-05-03 | compcert: 3.13.1 → 3.14 (#308752) | Vincent Laporte | 1 | -1/+1 | |
2024-05-03 | coqPackages.ssprove: init at 0.2.0 (#306981) | Sebastian Ertel | 1 | -0/+1 | |
2024-04-29 | coq: default to version 8.19 | Vincent Laporte | 1 | -1/+1 | |
2024-04-02 | coqPackages.vcfloat: enable for Coq 8.18 & 8.19 | Vincent Laporte | 1 | -3/+4 | |
2024-04-02 | coqPackages.interval: 4.9.0 → 4.10.0 | Vincent Laporte | 1 | -1/+3 | |
2024-03-15 | coqPackages.VplTactic: init at 0.5 | Vincent Laporte | 1 | -0/+1 | |
2024-03-15 | coqPackages.Vpl: init at 0.5 | Vincent Laporte | 1 | -0/+1 | |
2024-02-01 | coqPackages.vscoq-language-server: init at 2.0.3 (#256515) | Cyril Cohen | 1 | -0/+1 | |
2024-01-22 | coqPackages.compcert: use OCaml 4.14 | Vincent Laporte | 1 | -0/+1 | |
2023-12-19 | coq_8_19: init at 8.19+rc1 | Pierre Roux | 1 | -0/+2 | |
2023-12-15 | treewide: add __attrsFailEvaluation and __recurseIntoDerivationForReleaseJobs | Adam Joseph | 1 | -16/+18 | |
2023-11-27 | coqPackages.VST: 2.12 → 2.13 | Vincent Laporte | 1 | -2/+1 | |
coqPackages.compcert: 3.13 → 3.13.1 | |||||
2023-11-10 | coqPackages.iris-named-props: new expression (#263100) | ineol | 1 | -0/+1 | |
2023-11-01 | coqPackages.VST: 2.11.1 → 2.12 | Vincent Laporte | 1 | -1/+7 | |
2023-09-29 | coqPackages.vcfloat: init at 2.1.1 | Quinn Dougherty | 1 | -0/+1 | |
2023-09-21 | coq: 8.17.1 -> 8.18.0 | Vincent Laporte | 1 | -1/+1 | |
2023-09-04 | coq_8_18: init at 8.18+rc1 | Vincent Laporte | 1 | -0/+2 | |
2023-08-03 | coqPackages.paco: 4.1.2 → 4.2.0 | Vincent Laporte | 1 | -1/+4 | |
2023-07-25 | coqPackages.bignums: 8.17.0 → 9.0.0+coq8.17 | Vincent Laporte | 1 | -2/+10 | |
2023-05-11 | mathcomp-infotheo: init at 0.5.1 (#231077) | affeldt-aist | 1 | -0/+1 | |
2023-04-13 | coq: default to version 8.17 | Vincent Laporte | 1 | -1/+1 | |
2023-03-30 | Put mathcomp packages in alphabetical order | Pierre Roux | 1 | -3/+3 | |
2023-03-30 | Add coqPackages.mathcomp-apery | Pierre Roux | 1 | -0/+1 | |
2023-03-30 | coqPackages_8_13.VST: fix by using compatible version of ITree | Théo Zimmermann | 1 | -2/+4 | |
Co-authored-by: Vincent Laporte <Vincent.Laporte@gmail.com> | |||||
2023-03-01 | compcert: 3.11 → 3.12 | Vincent Laporte | 1 | -1/+4 | |
2023-02-21 | coqPackages_8_16.coq-lsp: init at 0.1.6.1+8.16 | Mario Rodas | 1 | -0/+1 | |
2023-01-06 | coq_8_17: init at 8.17+rc1 (#209145) | Pierre Roux | 1 | -0/+2 | |
2022-11-24 | coqPackages.mathcomp-algebra-tactics: init at 1.0.0 | Cyril Cohen | 1 | -0/+1 | |
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 | |