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
Vincent Laporte
a0240d5415
coqPackages.bignums: enable for Coq 8.15
3 years ago
Théo Zimmermann
3437b543fd
coq_8_14: init at 8.14+rc1
3 years ago
Cyril Cohen
9ffd16b385
coqPackages: refactor
3 years ago
Vincent Laporte
de8205f8bb
coq_8_13: init at 8.13+β1
4 years ago
Vincent Laporte
488d73f045
coqPackages.bignums: do not depend on camlp5 for recent versions of Coq
4 years ago
Vincent Laporte
3541e8b4fb
coqPackages.bignums: init at 8.12.0 for Coq 8.12
4 years ago
Cyril Cohen
8d05e53561
Coq: refactoring of mathcomp packages ( #86088 )
...
- fixed bignum version
- fixed coq-bits version
- fixed coqprime version
- fixed mathcomp and mathcomp extra packages
(reworked building scheme and removed unused ssreflect directory)
- giving the user access to function filterCoqPackages, because overrideScope' does not re-apply it.
4 years ago
Vincent Laporte
f2cd2ee0e0
coqPackages.bignums: enable for Coq 8.11
4 years ago
Robin Gloster
2157dcd141
treewide: installFlags is a list
5 years ago
volth
08f68313a4
treewide: remove redundant rec
5 years ago
volth
35d68ef143
treewide: remove redundant quotes
5 years ago
Vincent Laporte
dbb6f70006
coqPackages.bignums: enable for Coq 8.10
5 years ago
Cyril Cohen
c96ef6fc44
updating packages coqPackages.bignums and coqPackages.equations
5 years ago
Vincent Laporte
c4cad8cfa7
coqPackages.bignums: enable for Coq version 8.9
6 years ago
Théo Zimmermann
8c399bd6c1
coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.
6 years ago
Vincent Laporte
f3c8036a70
coqPackages.bignums: make it available for Coq 8.8
6 years ago
Vincent Laporte
6845b248d9
coq: init at 8.8+beta1
6 years ago
John Wiegley
4bd69fd249
coqPackages.bignums: Change expression to match other Coq packages
...
Without this change, it's impossible to override bignums, or ignore it when
creating custom datasets for other versions of Coq (such as 8.8+alpha).
6 years ago
Théo Zimmermann
f4914d4eb4
bignums: init at various versions
...
Bignums used to be part of the standard library of Coq.
We provide a version for Coq 8.6, and one for Coq 8.7.
7 years ago