add explicit version name to opam package

da511623 · Ralf Jung · e6fdf4fe · da511623
Commit da511623 authored 4 years ago by Ralf Jung
--- a/coq-stdpp.opam
+++ b/coq-stdpp.opam
@@ -5,6 +5,7 @@ license: "BSD-3-Clause"
 homepage: "https://gitlab.mpi-sws.org/iris/stdpp"
 bug-reports: "https://gitlab.mpi-sws.org/iris/stdpp/issues"
 dev-repo: "git+https://gitlab.mpi-sws.org/iris/stdpp.git"
+version: "dev"

 synopsis: "std++ is an extended \"Standard Library\" for Coq"
 description: """