| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | coq_8_18: init at 8.18+rc1 | Vincent Laporte | 2023-09-04 |
| | | |||
| * | coqPackages.coquelicot: 3.3.1 → 3.4.0 | Vincent Laporte | 2023-07-28 |
| | | |||
| * | coqPackages.coquelicot: 3.3.0 -> 3.3.1 | Pierre Roux | 2023-05-17 |
| | | |||
| * | coqPackages: various 8.16 -> 8.17 | Pierre Roux | 2023-03-09 |
| | | |||
| * | coqPackages.coquelicot: 3.2.0 → 3.3.0 | Vincent Laporte | 2023-01-31 |
| | | |||
| * | treewide: remove global with lib; statements in pkgs/coq-modules | Shawn8901 | 2023-01-21 |
| | | |||
| * | coqPackages.coquelicot: enable for Coq 8.16 | Vincent Laporte | 2022-09-08 |
| | | |||
| * | coqPackages.mathcomp: disable for Coq ≥ 8.16 | Vincent Laporte | 2022-06-13 |
| | | |||
| * | coqPackages: etc | Cyril Cohen | 2022-05-25 |
| | | | | | | | | | | - 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` | ||
| * | Revert "coqPackages: etc" | Vincent Laporte | 2022-05-13 |
| | | | | | This reverts commit 7e589a45ef86abf9a6a737d9730925b81ee663b4. | ||
| * | coqPackages: etc | Cyril Cohen | 2022-05-12 |
| | | | | | | | | | - 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` | ||
| * | coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ↵ | Ulrik Strid | 2022-02-25 |
| | | | | | | | = true Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com> | ||
| * | coqPackages: refactor | Cyril Cohen | 2021-01-09 |
| | | |||
| * | coqPackages.coquelicot: 3.0.3 → 3.1.0 | Vincent Laporte | 2020-06-21 |
| | | |||
| * | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 |
| | | |||
| * | coqPackages.coquelicot: 3.0.2 -> 3.0.3 | Vincent Laporte | 2019-08-03 |
| | | | | | Ensures compatibility with Coq 8.10 | ||
| * | coqPackages.coquelicot: 3.0.1 -> 3.0.2 | Vincent Laporte | 2019-02-15 |
| | | |||
| * | treewide: Make configureFlags lists | John Ericson | 2018-08-03 |
| | | |||
| * | coqPackages.mathcomp: 1.6.4 -> 1.7.0 | Vincent Laporte | 2018-05-01 |
| | | |||
| * | coq: init at 8.8+beta1 | Vincent Laporte | 2018-03-21 |
| | | |||
| * | coqPackages_8_4.coquelicot: remove | Vincent Laporte | 2017-12-02 |
| | | |||
| * | coqPackages_8_7: New expression, but don't make it the default yet | John Wiegley | 2017-10-22 |
| | | |||
| * | coqPackages.coquelicot: 2.1.2 -> 3.0.1 | Vincent Laporte | 2017-10-06 |
| | | | | | coqPackages.interval: 3.1.1 -> 3.3.0 | ||
| * | coqPackages.coquelicot: 2.1.1 -> 2.1.2 | Vincent Laporte | 2017-02-11 |
| | | | | | | keeping old 2.1.1 version for Coq-8.4, as newer versions of the library do not support older Coq versions | ||
| * | coqPackages.coquelicot: init at 2.1.1 | Vincent Laporte | 2016-01-06 |
| Coquelicot is a Coq library for Reals. Homepage: http://coquelicot.saclay.inria.fr/ | |||