coqPackages.StructTac: enable for Coq 8.15

3 years ago · 2b51eb99d2
parent 71e9ff7bc6
commit 2b51eb99d2
1 changed files with 1 additions and 1 deletions
--- a/pkgs/development/coq-modules/StructTact/default.nix
+++ b/pkgs/development/coq-modules/StructTact/default.nix
@ -5,7 +5,7 @@ with lib; mkCoqDerivation {
  owner = "uwplse";
  inherit version;
  defaultVersion = with versions; switch coq.coq-version [
-    { case = range "8.6" "8.14"; out = "20210328"; }
+    { case = range "8.6" "8.15"; out = "20210328"; }
    { case = range "8.5" "8.13"; out = "20181102"; }
  ] null;
  release."20210328".rev =    "179bd5312e9d8b63fc3f4071c628cddfc496d741";