alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
182996 commits 217 branches 121 tags 4.5 GiB
Commit graph

20 commits

Author SHA1 Message Date
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