JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

coqPackages.bignums: enable for Coq 8.11

Browse Source
This commit is contained in:
Vincent Laporte 2020-01-31 14:29:27 +01:00 committed by Vincent Laporte
parent b7ccd536c8
commit f2cd2ee0e0
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/coq-modules/bignums/default.nix
View File

@ -21,6 +21,10 @@ let params = {
rev = "V8.10+beta1";
sha256 = "1slw227idwjw9a21vj3s6kal22mrmvvlpg8r7xk590ml99bn6404";
};
"8.11" = {
rev = "V8.11.0";
sha256 = "1xcd7c7qlvs0narfba6px34zq0mz8rffnhxw0kzhhg6i4iw115dp";
};
};
param = params.${coq.coq-version};
in