nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-20 04:33:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
108,285 Commits 179 Branches 125 Tags 7.8 GiB
3c83ce3014
Commit Graph

4 Commits

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