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
Ben Siraphob
259fa13d53
treewide: remove nativeBuildInputs that are in stdenv
2 years ago
Pierre Roux
2768c9d4cb
Adapt to Coq 8.15 and MathCOmp 1.14
2 years ago
Vincent Laporte
6c3324e245
coqPackages.flocq: 3.3.1 → 3.4.2
3 years ago
Cyril Cohen
9ffd16b385
coqPackages: refactor
3 years ago
Vincent Laporte
2d50195be2
coqPackages.flocq: 3.2.0 → 3.3.1
4 years ago
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
4 years ago
Vincent Laporte
5b0fdad5df
coqPackages.flocq: fetch sources from gitlab
5 years ago
Vincent Laporte
bc1417c557
coqPackages.flocq: 3.1.0 -> 3.2.0
...
Ensures compatibility with Coq 8.10
5 years ago
Vincent Laporte
86db60f3f3
coqPackages.flocq: 3.0.0 -> 3.1.0
5 years ago
Vincent Laporte
85fe73a573
coqPackages.flocq: 2.6.0 -> {2.6.1, 3.0.0}
5 years ago
Théo Zimmermann
8c399bd6c1
coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.
6 years ago
Vincent Laporte
43ebfb5016
coqPackages.flocq: 2.5.2 -> 2.6.0
7 years ago
Vincent Laporte
f537f842d6
coqPackages.flocq: 2.5.1 -> 2.5.2
7 years ago
Vincent Laporte
2027caa875
coq-flocq: 2.5.0 -> 2.5.1
8 years ago
Vincent Laporte
3553258b1d
Revert "coqPackages.flocq: 2.4.0 -> 2.5.0"
...
This reverts commit db9bc6875f
.
That reverted commit had introduced a wrong URL.
8 years ago
John Wiegley
db9bc6875f
coqPackages.flocq: 2.4.0 -> 2.5.0
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
Joachim Fasting
bf7ad2d84f
meta.description fixups
...
Mostly scripted substitutions with a couple of subjective enhancements.
9 years ago
Vincent Laporte
7893825613
coq-flocq: license
10 years ago
John Wiegley
89e68ee32e
coqPackages.flocq: new expression
10 years ago