dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
18e59521cd
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