coqPackages.coqprime: enable for Coq 8.10
This commit is contained in:
parent
dbb6f70006
commit
5e241a691b
@ -13,6 +13,7 @@ let params =
|
||||
};
|
||||
"8.8" = v_8_8;
|
||||
"8.9" = v_8_8;
|
||||
"8.10" = v_8_8;
|
||||
};
|
||||
param = params."${coq.coq-version}"
|
||||
; in
|
||||
|
Loading…
x
Reference in New Issue
Block a user