Fix opam deps

mattam82 · mattam82 · commit 0a23e4ebdc0e · 2024-01-24T08:23:25.000+01:00
diff --git a/coq-metacoq-common.opam b/coq-metacoq-common.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev"
+version: "8.19.dev"
 maintainer: "matthieu.sozeau@inria.fr"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#main"
diff --git a/coq-metacoq-erasure-plugin.opam b/coq-metacoq-erasure-plugin.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev"
+version: "8.19.dev"
 maintainer: "matthieu.sozeau@inria.fr"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#main"
diff --git a/coq-metacoq-erasure.opam b/coq-metacoq-erasure.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev"
+version: "8.19.dev"
 maintainer: "matthieu.sozeau@inria.fr"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#main"
diff --git a/coq-metacoq-pcuic.opam b/coq-metacoq-pcuic.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev"
+version: "8.19.dev"
 maintainer: "matthieu.sozeau@inria.fr"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#main"
diff --git a/coq-metacoq-quotation.opam b/coq-metacoq-quotation.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev"
+version: "8.19.dev"
 maintainer: "matthieu.sozeau@inria.fr"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#main"
diff --git a/coq-metacoq-safechecker-plugin.opam b/coq-metacoq-safechecker-plugin.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev"
+version: "8.19.dev"
 maintainer: "matthieu.sozeau@inria.fr"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#main"
diff --git a/coq-metacoq-safechecker.opam b/coq-metacoq-safechecker.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev"
+version: "8.19.dev"
 maintainer: "matthieu.sozeau@inria.fr"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#main"
diff --git a/coq-metacoq-template-pcuic.opam b/coq-metacoq-template-pcuic.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev"
+version: "8.19.dev"
 maintainer: "matthieu.sozeau@inria.fr"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#main"
diff --git a/coq-metacoq-template.opam b/coq-metacoq-template.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev"
+version: "8.19.dev"
 maintainer: "matthieu.sozeau@inria.fr"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#main"
diff --git a/coq-metacoq-translations.opam b/coq-metacoq-translations.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev"
+version: "8.19.dev"
 maintainer: "matthieu.sozeau@inria.fr"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#main"
diff --git a/coq-metacoq-utils.opam b/coq-metacoq-utils.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev"
+version: "8.19.dev"
 maintainer: "matthieu.sozeau@inria.fr"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#main"
@@ -29,8 +29,8 @@ install: [
 ]
 depends: [
   "stdlib-shims"
-  "coq" { = "dev" }
-  "coq-equations" { = "dev" }
+  "coq" { >= "8.19" & < "8.20~" }
+  "coq-equations" { = "1.3+8.19" }
 ]
 synopsis: "The utility library of Template Coq and PCUIC"
 description: """
diff --git a/coq-metacoq.opam b/coq-metacoq.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev"
+version: "8.19.dev"
 maintainer: "matthieu.sozeau@inria.fr"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#main"
