nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-29 16:24:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

coqPackages.QuickChick: 1.3.1 → 1.3.2, 1.4.0

Browse Source
This commit is contained in:
Vincent Laporte 2020-08-12 07:02:11 +02:00 committed by Vincent Laporte
parent 6a1d98ecc4
commit 6f83faf70b
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pkgs/development/coq-modules/QuickChick/default.nix
View File

@ -33,9 +33,15 @@ let params =
};
"8.11" = rec {
version = "1.3.1";
version = "1.3.2";
rev = "v${version}";
sha256 = "0cajan9w52faqrg42r9rxai4wzsggs86qar88w7lcb928jvcakml";
sha256 = "0lciwaqv288dh2f13xk2x0lrn6zyrkqy6g4yy927wwzag2gklfrs";
};
"8.12" = rec {
version = "1.4.0";
rev = "v${version}";
sha256 = "068p48pm5yxjc3yv8qwzp25bp9kddvxj81l31mjkyx3sdrsw3kyc";
};
};
param = params.${coq.coq-version};