nixpkgs/pkgs/development/coq-modules/QuickChick
Théo Zimmermann b8315c660b
coqPackages.QuickChick: add optional version parameter
This is the only package in coqPackages for which it was forgotten.
2021-07-30 17:00:15 +02:00
..
default.nix coqPackages.QuickChick: add optional version parameter 2021-07-30 17:00:15 +02:00