From da511623159973fba63823406b7dfe04ef4ddd18 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 28 May 2021 09:49:27 +0200
Subject: [PATCH] add explicit version name to opam package

---
 coq-stdpp.opam | 1 +
 1 file changed, 1 insertion(+)

diff --git a/coq-stdpp.opam b/coq-stdpp.opam
index 2d29d396..a9b3d990 100644
--- 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: """
-- 
GitLab