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
Cyril Cohen
9ffd16b385
coqPackages: refactor
3 years ago
Vincent Laporte
a4de542abe
coqPackages.coquelicot: 3.0.3 → 3.1.0
4 years ago
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
4 years ago
Vincent Laporte
58e0c7b8ce
coqPackages.coquelicot: 3.0.2 -> 3.0.3
...
Ensures compatibility with Coq 8.10
5 years ago
Vincent Laporte
9461a108bc
coqPackages.coquelicot: 3.0.1 -> 3.0.2
5 years ago
John Ericson
db965063b3
treewide: Make configureFlags lists
6 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
017321a91c
coqPackages_8_4.coquelicot: remove
7 years ago
John Wiegley
89720d851a
coqPackages_8_7: New expression, but don't make it the default yet
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
dedba2a32d
coqPackages.coquelicot: 2.1.1 -> 2.1.2
...
keeping old 2.1.1 version for Coq-8.4,
as newer versions of the library do not support older Coq versions
7 years ago
Vincent Laporte
e182ddf008
coqPackages.coquelicot: init at 2.1.1
...
Coquelicot is a Coq library for Reals.
Homepage: http://coquelicot.saclay.inria.fr/
8 years ago