Update nix-shell and require Coq >= 8.14

math-comp · Feb 9, 2022 · f6cacb5 · f6cacb5
1 parent 2441096
commit f6cacb5
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 8 deletions.
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -31,13 +31,13 @@
 
   ## select an entry to build in the following `bundles` set
   ## defaults to "default"
-  default-bundle = "8.13";
+  default-bundle = "8.14";
 
   ## write one `bundles.name` attribute set per
   ## alternative configuration
   ## When generating GitHub Action CI, one workflow file
   ## will be created per bundle
-  bundles."8.13".coqPackages.coq.override.version = "8.13";
+  # bundles."8.13".coqPackages.coq.override.version = "8.13";
   bundles."8.14".coqPackages.coq.override.version = "8.14";
 
   bundles."master".coqPackages = {

diff --git a/coq-mathcomp-analysis.opam b/coq-mathcomp-analysis.opam
@@ -18,12 +18,12 @@ the Coq proof-assistant and using the Mathematical Components library."""
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" { (>= "8.13" & < "8.16~") | (= "dev") }
-  "coq-mathcomp-ssreflect" { (>= "1.12.0" & < "1.15~") | (= "dev") }
-  "coq-mathcomp-fingroup" { (>= "1.12.0" & < "1.15~") | (= "dev") }
-  "coq-mathcomp-algebra" { (>= "1.12.0" & < "1.15~") | (= "dev") }
-  "coq-mathcomp-solvable" { (>= "1.12.0" & < "1.15~") | (= "dev") }
-  "coq-mathcomp-field" { (>= "1.12.0" & < "1.15~") | (= "dev") }
+  "coq" { (>= "8.14" & < "8.16~") | (= "dev") }
+  "coq-mathcomp-ssreflect" { (>= "1.13.0" & < "1.15~") | (= "dev") }
+  "coq-mathcomp-fingroup" { (>= "1.13.0" & < "1.15~") | (= "dev") }
+  "coq-mathcomp-algebra" { (>= "1.13.0" & < "1.15~") | (= "dev") }
+  "coq-mathcomp-solvable" { (>= "1.13.0" & < "1.15~") | (= "dev") }
+  "coq-mathcomp-field" { (>= "1.13.0" & < "1.15~") | (= "dev") }
   "coq-mathcomp-finmap" { (>= "1.5.1" & < "1.6~") | (= "dev") }
   "coq-mathcomp-bigenough" { (>= "1.0.0") }
   "coq-hierarchy-builder" { (>= "1.0.0") }