mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-24 19:08:30 +00:00
Code Issues Wiki Activity
nixpkgs/pkgs/development/coq-modules/QuickChick
History
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
..
default.nix coqPackages.QuickChick: fix 2017-09-02 15:33:16 +00:00