index
:
nixpkgs
this commit
archive
master
rootfs
usbip
wayland
Downstream nixpkgs tree for Spectrum
Alyssa Ross
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
development
/
coq-modules
/
QuickChick
Commit message (
Expand
)
Author
Age
*
coqPackages.QuickChick: init at 1.1.0 for Coq 8.9
Vincent Laporte
2019-06-06
*
coqPackages.coq-simple-io: 0.2 -> 1.0.0
Vincent Laporte
2019-03-18
*
Revert "coq-modules: add default to fix eval"
Vincent Laporte
2019-02-01
*
coq-modules: add default to fix eval
Matthew Bauer
2019-01-28
*
coqPackages.QuickChick: init at 1.0.2 for Coq 8.8
Vincent Laporte
2019-01-18
*
coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.
Théo Zimmermann
2018-10-19
*
treewide: Use http/https for homepages
Janne Heß
2018-09-08
*
coq: init at 8.8+beta1
Vincent Laporte
2018-03-21
*
coqPackages.QuickChick: use fetchFromGitHub
John Wiegley
2018-03-06
*
coqPackages_8_7.QuickChick: update to latest master
John Wiegley
2017-12-12
*
coqPackages_8_4.QuickChick: remove
Vincent Laporte
2017-12-02
*
coqPackages.QuickChick: Update build for Coq 8.6 and 8.7
John Wiegley
2017-11-12
*
coqPackages.QuickChick: remove support for coq 8.7
Maxime Dénès
2017-10-23
*
coqPackages_8_7: New expression, but don't make it the default yet
John Wiegley
2017-10-22
*
coqPackages.QuickChick: fix
Vincent Laporte
2017-09-02
*
coqPackages.QuickChick: 20170422 -> 20170710
John Wiegley
2017-07-10
*
coq.QuickChick: Update to latest version that works with Coq 8.6
John Wiegley
2017-04-23
*
Fix lots of fetchgit hashes (fallout from #15469)
Tuomas Tynkkynen
2016-06-03
*
coq-QuickChick: 21f50a02 -> 20150605
Vincent Laporte
2015-08-18
*
coqPackages.QuickChick: New expression
John Wiegley
2015-05-08