BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

coqPackages.paramcoq: init at 1.1.2 for Coq 8.12

Browse source
This commit is contained in:
Vincent Laporte 2020-09-03 09:26:50 +02:00 committed by Vincent Laporte
parent a0f1c301d9
commit 6e08d23707
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
pkgs/development/coq-modules/paramcoq/default.nix
View file

@ -20,6 +20,9 @@ let params =
"8.11" = {
sha256 = "09c6813988nvq4fpa45s33k70plnhxsblhm7cxxkg0i37mhvigsa";
};
"8.12" = {
sha256 = "0qd72r45if4h7c256qdfiimv75zyrs0w0xqij3m866jxaq591v4i";
};
};
param = params.${coq.coq-version};
in