mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced 2024-09-20 12:29:02 +02:00
coqPackages.deriving: mark as compatible with Coq 8.15
This commit is contained in:
parent
ec85449f80
commit
f18e742079
|
@ -9,7 +9,7 @@ mkCoqDerivation {
|
|||
|
||||
inherit version;
|
||||
defaultVersion = with versions; switch coq.coq-version [
|
||||
{ case = range "8.11" "8.14"; out = "0.1.0"; }
|
||||
{ case = range "8.11" "8.15"; out = "0.1.0"; }
|
||||
] null;
|
||||
|
||||
releaseRev = v: "v${v}";
|
||||
|
|
Loading…
Reference in a new issue