ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2025-01-06 04:24:28 +03:00
Code Issues Projects Releases Wiki Activity
c7c24740a9
nixpkgs/pkgs/development/coq-modules/QuickChick
History
John Wiegley d40dd2c70d
coqPackages.QuickChick: 20170422 -> 20170710
2017-07-10 18:35:56 -07:00
..
default.nix coqPackages.QuickChick: 20170422 -> 20170710 2017-07-10 18:35:56 -07:00