colin/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
e7b611e59d
nixpkgs/pkgs/development/coq-modules/QuickChick
History
Vincent Laporte 0c38aa9ce8 coqPackages.QuickChick: 1.6.5 → 2.0.1
2023-12-13 06:11:56 +01:00
..
default.nix coqPackages.QuickChick: 1.6.5 → 2.0.1 2023-12-13 06:11:56 +01:00