Pierre Roux
7c0435d86d
Bump a few things compiling with Coq 8.19
2023-12-19 20:20:53 +01:00
Vincent Laporte
02643fe422
coq_8_18: init at 8.18+rc1
2023-09-04 10:02:59 +02:00
Vincent Laporte
fba73283c1
coqPackages.simple-io: 1.7.0 → 1.8.0
2023-06-08 08:55:44 +02:00
Shawn8901
4dcb03a5c3
treewide: remove global with lib; statements in pkgs/coq-modules
2023-01-21 23:19:48 +01:00
Vincent Laporte
f45bd811fc
coqPackages.simple-io: fix & add tests
2022-10-07 07:54:31 +02:00
Vincent Laporte
476cb5b0c7
coqPackages.simple-io: enable 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
Vincent Laporte
1f11888116
Revert "coqPackages: etc"
...
This reverts commit 7e589a45ef
2022-05-13 06:47:14 +02:00
Vincent Laporte
215235cce5
Revert "moving findlib to propagedNativeBuildInputs"
...
This reverts commit 82440c9374
2022-05-13 06:47:14 +02:00
Cyril Cohen
82440c9374
moving findlib to propagedNativeBuildInputs
2022-05-12 06:11:43 +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
Vincent Laporte
10b2632716
coqPackages.simple-io: 1.3.0 → 1.7.0
2022-04-29 20:59:11 +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
Lars Rasmusson
cba2770893
coqPackages.simple-io: enable for Coq 8.13
2021-04-14 13:45:56 +02:00
Cyril Cohen
9ffd16b385
coqPackages: refactor
2021-01-09 11:56:17 +01:00
Vincent Laporte
6a1d98ecc4
coqPackages.simple-io: enable for Coq 8.12
2020-08-19 08:08:37 +02:00
Vincent Laporte
05eefe5ef8
coqPackages.simple-io: 1.2.0 → 1.3.0
2020-06-23 08:07:29 +02:00
Vincent Laporte
4f8ea1e02e
coqPackages.simple-io: enable for Coq 8.10
2020-03-06 07:28:26 +01:00
Vincent Laporte
7af35549ed
coqPackages.simple-io: 1.0.0 -> 1.2.0
2019-06-06 15:06:08 +00:00
Vincent Laporte
b72daf7117
coq: init at 8.10+β1
2019-05-15 10:30:03 +02:00
Vincent Laporte
2923bd5d06
coqPackages.coq-simple-io: 0.2 -> 1.0.0
...
coqPackages.QuickChick: 1.0.2 -> 20190311
2019-03-18 09:52:01 +01:00
Vincent Laporte
655231a612
coqPackages.simple-io: init at 0.2
...
Purely functional IO for Coq.
homepage: https://github.com/Lysxia/coq-simple-io
2018-12-10 15:35:34 +00:00
