Vincent Laporte
f09cd3b7de
coqPackages.QuickChick: 1.6.4 → 1.6.5
2023-06-08 08:55:44 +02:00
Vincent Laporte
c5bfd9b4d1
coqPackages.QuickChick: 1.6.2 → 1.6.4
2022-09-20 04:26:37 +02:00
Vincent Laporte
10f159ffd1
coqPackages.mathcomp: disable 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
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
94c97dfa94
coqPackages.QuickChick: 1.5.0 → 1.6.2
2022-05-07 07:20:43 +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
Sandro Jäckel
a8f2d2ca78
QuickChick: format
2021-08-02 10:58:47 +02:00
Théo Zimmermann
b8315c660b
coqPackages.QuickChick: add optional version parameter
...
This is the only package in coqPackages for which it was forgotten.
2021-07-30 17:00:15 +02:00
Vincent Laporte
276cb2ad23
coqPackages_8_13.QuickChick: init at 1.5.0
2021-04-24 07:43:54 +02:00
Cyril Cohen
9ffd16b385
coqPackages: refactor
2021-01-09 11:56:17 +01:00
Vincent Laporte
6f83faf70b
coqPackages.QuickChick: 1.3.1 → 1.3.2, 1.4.0
2020-08-19 08:08:37 +02:00
Vincent Laporte
60940d7dde
coqPackages.QuickChick: 1.2.0 → 1.2.1, 1.3.1
2020-07-05 10:43:06 +02:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
Vincent Laporte
e8243467b9
coqPackages_8_10.QuickChick: init at 1.2.0
2020-03-06 07:28:26 +01:00
volth
08f68313a4
treewide: remove redundant rec
2019-08-28 11:07:32 +00:00
volth
35d68ef143
treewide: remove redundant quotes
2019-08-26 21:40:19 +00:00
Vincent Laporte
281b26533d
coqPackages.QuickChick: init at 1.1.0 for Coq 8.9
...
Removes QuickChick for Coq 8.7 as it is broken
(probably due to a too recent ssreflect).
2019-06-06 15:06:02 +00: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
59949aa55c
Revert "coq-modules: add default to fix eval"
...
This reverts commit e20b65156c
2019-02-01 16:02:42 +00:00
Matthew Bauer
82a1153d6d
coq-modules: add default to fix eval
...
We don’t want these to not even evaluate, otherwise we won’t know why
they’re broken. For now, I’ve left these as the latest version for a
default. In the future, maybe we should be smarter about choosing these.
(cherry picked from commit e20b65156c
2019-01-28 10:16:30 -05:00
Vincent Laporte
63383a6db2
coqPackages.QuickChick: init at 1.0.2 for Coq 8.8
2019-01-18 14:53:15 +00:00
Théo Zimmermann
8c399bd6c1
coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.
2018-10-19 10:25:09 +02:00
Janne Heß
9ef77854f7
treewide: Use http/https for homepages
2018-09-08 18:30:00 +02:00
Vincent Laporte
6845b248d9
coq: init at 8.8+beta1
2018-03-21 18:06:28 +00:00
John Wiegley
9186aa1bf8
coqPackages.QuickChick: use fetchFromGitHub
2018-03-06 07:46:51 -08:00
John Wiegley
dc6f3e3c7b
coqPackages_8_7.QuickChick: update to latest master
2017-12-12 11:37:17 -08:00
Vincent Laporte
f307634f9d
coqPackages_8_4.QuickChick: remove
2017-12-02 08:51:02 +00:00
John Wiegley
dcab51c6f4
coqPackages.QuickChick: Update build for Coq 8.6 and 8.7
2017-11-12 09:17:48 -08:00
Maxime Dénès
41df85dd1b
coqPackages.QuickChick: remove support for coq 8.7
...
coqPackages_8_7.QuickChick won't build since Coq 8.7.0 is not yet supported
upstream.
2017-10-23 22:40:29 +02:00
John Wiegley
89720d851a
coqPackages_8_7: New expression, but don't make it the default yet
2017-10-22 12:43:27 -07:00
Vincent Laporte
9b9d3743ce
coqPackages.QuickChick: fix
...
Use the most recent versions of branches coq8.4pl6 and coq8.5-legacy
with the corresponding versions of Coq.
Use a two month old version with Coq-8.6 to avoid issue #45 :
https://github.com/QuickChick/QuickChick/issues/45
2017-09-02 15:33:16 +00:00
John Wiegley
d40dd2c70d
coqPackages.QuickChick: 20170422 -> 20170710
2017-07-10 18:35:56 -07:00
John Wiegley
2df7f1b5b5
coq.QuickChick: Update to latest version that works with Coq 8.6
2017-04-23 21:53:21 -07:00
Tuomas Tynkkynen
bac26e08db
Fix lots of fetchgit hashes (fallout from #15469 )
2016-06-03 17:17:08 +03:00
Vincent Laporte
7e80417fa8
coq-QuickChick: 21f50a02 -> 20150605
2015-08-18 21:28:33 +02:00
John Wiegley
1da4d8b5c9
coqPackages.QuickChick: New expression
2015-05-08 11:35:23 -05:00
