nixpkgs/pkgs/development/coq-modules/QuickChick
2018-03-06 07:46:51 -08:00
..
default.nix coqPackages.QuickChick: use fetchFromGitHub 2018-03-06 07:46:51 -08:00