From c7f61b4748555d38f39d464c87e916ed6a2add17 Mon Sep 17 00:00:00 2001 From: Ralf Jung <jung@mpi-sws.org> Date: Fri, 28 May 2021 09:44:28 +0200 Subject: [PATCH] add explicit version name to opam packages --- coq-iris-deprecated.opam | 1 + coq-iris-heap-lang.opam | 1 + coq-iris-staging.opam | 1 + coq-iris.opam | 1 + 4 files changed, 4 insertions(+) diff --git a/coq-iris-deprecated.opam b/coq-iris-deprecated.opam index 8f26f10b8..76cc7eed1 100644 --- 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: """ diff --git a/coq-iris-heap-lang.opam b/coq-iris-heap-lang.opam index 7c98a1d3a..42bd1d233 100644 --- 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: """ diff --git a/coq-iris-staging.opam b/coq-iris-staging.opam index 75cf7add4..6be6d4d66 100644 --- 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: """ diff --git a/coq-iris.opam b/coq-iris.opam index 86ff911f3..dbf8491f0 100644 --- 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: """ -- GitLab