Opam files for v1.1+8.16

MetaCoq · Sep 22, 2022 · aa72b60 · aa72b60
1 parent 7b28ab4
commit aa72b60
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 6 deletions.
diff --git a/coq-metacoq-erasure.opam b/coq-metacoq-erasure.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "8.16.dev"
+version: "1.1+8.16"
 maintainer: "matthieu.sozeau@inria.fr"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#coq-8.16"

diff --git a/coq-metacoq-pcuic.opam b/coq-metacoq-pcuic.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "8.16.dev"
+version: "1.1+8.16"
 maintainer: "matthieu.sozeau@inria.fr"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#coq-8.16"

diff --git a/coq-metacoq-safechecker.opam b/coq-metacoq-safechecker.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "8.16.dev"
+version: "1.1+8.16"
 maintainer: "matthieu.sozeau@inria.fr"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#coq-8.16"

diff --git a/coq-metacoq-template.opam b/coq-metacoq-template.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "8.16.dev"
+version: "1.1+8.16"
 maintainer: "matthieu.sozeau@inria.fr"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#coq-8.16"

diff --git a/coq-metacoq-translations.opam b/coq-metacoq-translations.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "8.16.dev"
+version: "1.1+8.16"
 maintainer: "matthieu.sozeau@inria.fr"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#coq-8.16"

diff --git a/coq-metacoq.opam b/coq-metacoq.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"              
-version: "8.16.dev"
+version: "1.1+8.16"
 maintainer: "matthieu.sozeau@inria.fr"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#coq-8.16"