Vincent Laporte
7a9a124cad
coqPackages.ExtLib: 0.12.1 → 0.12.2
...
Rename package from `coq-ext-lib` to `ExtLib`.
2024-11-07 14:55:06 +01:00
Vincent Laporte
c02bc17349
coqPackages.simple-io: 1.8.0 → 1.10.0
2024-09-23 12:57:00 +02:00
Pierre Roux
a9e5f6bfcd
coqPackages: Enable override with dev branches ( #329356 )
...
Useful for CI applications.
2024-07-23 11:49:28 +02:00
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
Weijia Wang
8ff706bad2
Merge pull request #212009 from Shawn8901/remove_with_lib_2
...
treewide: remove global with lib; statements in pkgs/coq-modules
2023-01-24 01:39:55 +01:00
Shawn8901
4dcb03a5c3
treewide: remove global with lib; statements in pkgs/coq-modules
2023-01-21 23:19:48 +01:00
Guillaume Girol
33afbf39f6
treewide: switch to nativeCheckInputs
...
checkInputs used to be added to nativeBuildInputs. Now we have
nativeCheckInputs to do that instead. Doing this treewide change allows
to keep hashes identical to before the introduction of
nativeCheckInputs.
2023-01-21 12:00:00 +00: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
