add explicit version name to opam packages

c7f61b47 · Ralf Jung · b8c4f4f1 · c7f61b47 · c7f61b47 · c7f61b47
Commit c7f61b47 authored May 28, 2021 by Ralf Jung
--- a/coq-iris-deprecated.opam
+++ b/coq-iris-deprecated.opam
@@ -5,6 +5,7 @@ license: "BSD-3-Clause"
 homepage: "https://iris-project.org/"
 bug-reports: "https://gitlab.mpi-sws.org/iris/iris/issues"
 dev-repo: "git+https://gitlab.mpi-sws.org/iris/iris.git"
+version: "dev"

 synopsis: "Deprecated Iris libraries"
 description: """

--- a/coq-iris-heap-lang.opam
+++ b/coq-iris-heap-lang.opam
@@ -5,6 +5,7 @@ license: "BSD-3-Clause"
 homepage: "https://iris-project.org/"
 bug-reports: "https://gitlab.mpi-sws.org/iris/iris/issues"
 dev-repo: "git+https://gitlab.mpi-sws.org/iris/iris.git"
+version: "dev"

 synopsis: "HeapLang is the canonical example language for Iris"
 description: """

--- a/coq-iris-staging.opam
+++ b/coq-iris-staging.opam
@@ -5,6 +5,7 @@ license: "BSD-3-Clause"
 homepage: "https://iris-project.org/"
 bug-reports: "https://gitlab.mpi-sws.org/iris/iris/issues"
 dev-repo: "git+https://gitlab.mpi-sws.org/iris/iris.git"
+version: "dev"

 synopsis: "Unfinished Iris libraries"
 description: """

--- a/coq-iris.opam
+++ b/coq-iris.opam
@@ -5,6 +5,7 @@ license: "BSD-3-Clause"
 homepage: "https://iris-project.org/"
 bug-reports: "https://gitlab.mpi-sws.org/iris/iris/issues"
 dev-repo: "git+https://gitlab.mpi-sws.org/iris/iris.git"
+version: "dev"

 synopsis: "Iris is a Higher-Order Concurrent Separation Logic Framework with support for interactive proofs"
 description: """