Vincent Laporte
1f11888116
Revert "coqPackages: etc"
...
This reverts commit 7e589a45ef
.
2 years ago
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`
2 years ago
Ulrik Strid
7e20e9039e
coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true
...
Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>
2 years ago
Pierre Roux
2768c9d4cb
Adapt to Coq 8.15 and MathCOmp 1.14
2 years ago
Vincent Laporte
69bba1dc67
coqPackages.interval: disable for Coq 8.15
3 years ago
Sandro Jäckel
7db52ad591
interval: format
3 years ago
Ben Siraphob
95f1154f99
coqPackages.interval: 4.1.1 -> 4.3.0 ( #131818 )
3 years ago
Ben Siraphob
c72048d1a4
coqPackages.interval: 4.1.0 -> 4.1.1
3 years ago
Cyril Cohen
9ffd16b385
coqPackages: refactor
3 years ago
Vincent Laporte
d0bb8ca41b
coqPackages.interval: 3.4.2 → 4.0.0
4 years ago
Vincent Laporte
5dfcb77a8e
coqPackages.interval: 3.4.1 → 3.4.2
4 years ago
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
4 years ago
Vincent Laporte
4018a4cddf
coqPackages.interval: 3.4.0 -> 3.4.1
5 years ago
Vincent Laporte
1613f3db27
coqPackages.interval: 3.3.0 -> 3.4.0
5 years ago
Vincent Laporte
b4d0647752
coqPackages.mathcomp: 1.6.4 -> 1.7.0
6 years ago
Vincent Laporte
6845b248d9
coq: init at 8.8+beta1
6 years ago
Vincent Laporte
00a6d849f8
coqPackages_8_4.interval: remove
7 years ago
Vincent Laporte
d7e84159f8
coqPackages.interval: make bignums optional and propagated
7 years ago
John Wiegley
9ea242c617
coqPackages.interval: Add bignums, now a required dependency
7 years ago
Vincent Laporte
5728b8d4e6
coqPackages.coquelicot: 2.1.2 -> 3.0.1
...
coqPackages.interval: 3.1.1 -> 3.3.0
7 years ago
Vincent Laporte
6f9d84fe64
coqPackages.interval: fix URL
7 years ago
Vincent Laporte
8bfce24045
coqPackages.interval: 2.2.1 -> 3.1.1
7 years ago
Vincent Laporte
ca8ef0fa1d
coq-interval: 2.1.0 -> 2.2.1
9 years ago
Vincent Laporte
dc6b4e7fdd
coq-flocq: 2.4.0 -> 2.5.0; coq-interval: 2.0.0 -> 2.1.0
9 years ago
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/
10 years ago