mirror of
https://github.com/ilyakooo0/nixpkgs.git
synced 2024-09-21 20:49:52 +03:00
coqPackages.paco: enable for Coq 8.12
This commit is contained in:
parent
afeb6560db
commit
7f797b9521
@ -21,6 +21,7 @@ let
|
||||
"8.9" = versions.post_8_6;
|
||||
"8.10" = versions.post_8_6;
|
||||
"8.11" = versions.post_8_6;
|
||||
"8.12" = versions.post_8_6;
|
||||
};
|
||||
param = params.${coq.coq-version};
|
||||
in
|
||||
|
Loading…
Reference in New Issue
Block a user