Vincent Laporte
5ef32027f2
coqPackages.interval: 4.10.0 → 4.11.0
2024-08-14 10:36:09 +02:00
Vincent Laporte
cffe0a32af
coqPackages.interval: 4.9.0 → 4.10.0
2024-04-02 22:41:01 +02:00
Vincent Laporte
e06c716ef1
coqPackages.interval: 4.8.0 → 4.9.0 ( #266082 )
2023-11-10 08:38:13 +01:00
Vincent Laporte
16d5bc3418
coqPackages.interval: 4.7.0 → 4.8.0
2023-07-28 08:26:05 +02:00
Vincent Laporte
4acdff5e91
coqPackages.interval: 4.6.1 → 4.7.0
2023-07-03 10:15:56 +02:00
Pierre Roux
2959062362
coqPackages: various 8.16 -> 8.17
2023-03-09 13:13:00 +01:00
Vincent Laporte
6921841682
coqPackages.interval: 4.5.2 → 4.6.0
2022-11-13 15:08:46 +01:00
Vincent Laporte
8f87e38995
coqPackages.interval: 4.5.1 → 4.5.2
2022-09-18 16:12:19 +02:00
Vincent Laporte
10f159ffd1
coqPackages.mathcomp: disable for Coq ≥ 8.16
2022-06-13 11:29:20 +02:00
Cyril Cohen
d113661156
coqPackages: etc
...
- 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-25 20:00:25 +02:00
Ben Siraphob
f150888da6
coqPackages.interval: 4.4.0 -> 4.5.1
2022-05-16 22:37:13 +02:00
Vincent Laporte
1f11888116
Revert "coqPackages: etc"
...
This reverts commit 7e589a45ef
2022-05-13 06:47:14 +02:00
Cyril Cohen
7e589a45ef
coqPackages: etc
...
- 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-12 06:11:43 +02:00
Ulrik Strid
7e20e9039e
coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true
...
Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>
2022-02-25 07:54:17 +01:00
Pierre Roux
2768c9d4cb
Adapt to Coq 8.15 and MathCOmp 1.14
2022-02-02 08:56:55 +01:00
Vincent Laporte
69bba1dc67
coqPackages.interval: disable for Coq 8.15
2021-12-09 15:46:06 +01:00
Sandro Jäckel
7db52ad591
interval: format
2021-08-02 10:58:46 +02:00
Ben Siraphob
95f1154f99
coqPackages.interval: 4.1.1 -> 4.3.0 ( #131818 )
2021-07-31 09:31:23 +02:00
Ben Siraphob
c72048d1a4
coqPackages.interval: 4.1.0 -> 4.1.1
2021-05-10 12:35:41 +02:00
Cyril Cohen
9ffd16b385
coqPackages: refactor
2021-01-09 11:56:17 +01:00
Vincent Laporte
d0bb8ca41b
coqPackages.interval: 3.4.2 → 4.0.0
2020-08-17 07:05:35 +02:00
Vincent Laporte
5dfcb77a8e
coqPackages.interval: 3.4.1 → 3.4.2
2020-06-29 07:41:28 +02:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
Vincent Laporte
4018a4cddf
coqPackages.interval: 3.4.0 -> 3.4.1
2019-08-12 09:05:16 +00:00
Vincent Laporte
1613f3db27
coqPackages.interval: 3.3.0 -> 3.4.0
2019-02-15 10:03:39 +01:00
Vincent Laporte
b4d0647752
coqPackages.mathcomp: 1.6.4 -> 1.7.0
2018-05-01 11:06:04 +02:00
Vincent Laporte
6845b248d9
coq: init at 8.8+beta1
2018-03-21 18:06:28 +00:00
Vincent Laporte
00a6d849f8
coqPackages_8_4.interval: remove
2017-12-02 08:48:41 +00:00
Vincent Laporte
d7e84159f8
coqPackages.interval: make bignums optional and propagated
2017-11-13 08:42:52 +00:00
John Wiegley
9ea242c617
coqPackages.interval: Add bignums, now a required dependency
2017-11-12 10:21:56 -08:00
Vincent Laporte
5728b8d4e6
coqPackages.coquelicot: 2.1.2 -> 3.0.1
...
coqPackages.interval: 3.1.1 -> 3.3.0
2017-10-06 21:16:06 +00:00
Vincent Laporte
6f9d84fe64
coqPackages.interval: fix URL
2017-08-11 16:29:14 +00:00
Vincent Laporte
8bfce24045
coqPackages.interval: 2.2.1 -> 3.1.1
2017-02-11 14:02:19 +01:00
Vincent Laporte
ca8ef0fa1d
coq-interval: 2.1.0 -> 2.2.1
2016-01-06 09:35:05 +01:00
Vincent Laporte
dc6b4e7fdd
coq-flocq: 2.4.0 -> 2.5.0; coq-interval: 2.0.0 -> 2.1.0
2015-12-03 19:30:19 +01:00
Vincent Laporte
6a69a25c56
Adds coq-interval
...
This library provides vernacular files containing tactics for
simplifying the proofs of inequalities on expressions of real numbers
for the Coq proof assistant.
Homepage: http://coq-interval.gforge.inria.fr/
2014-12-08 09:15:13 +01:00
