coqPackages.bignums: init at 8.12.0 for Coq 8.12

This commit is contained in:
Vincent Laporte 2020-07-25 14:29:19 +02:00 committed by Vincent Laporte
parent 42c770dad9
commit 3541e8b4fb

View file

@ -25,6 +25,10 @@ let params = {
rev = "V8.11.0";
sha256 = "1xcd7c7qlvs0narfba6px34zq0mz8rffnhxw0kzhhg6i4iw115dp";
};
"8.12" = {
rev = "V8.12.0";
sha256 = "14ijb3qy2hin3g4djx437jmnswxxq7lkfh3dwh9qvrds9a015yg8";
};
};
param = params.${coq.coq-version};
in