From 7d67e4d7965a892df151307ea07736b8e55bf6b8 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 20 Sep 2017 17:48:30 +0200
Subject: [PATCH] remove version field from opam file

---
 opam | 1 -
 1 file changed, 1 deletion(-)

diff --git a/opam b/opam
index b86fc53d..c4e3a61f 100644
--- a/opam
+++ b/opam
@@ -1,6 +1,5 @@
 opam-version: "1.2"
 name: "coq-stdpp"
-version: "dev"
 maintainer: "Ralf Jung <jung@mpi-sws.org>"
 homepage: "https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp"
 authors: "Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung"
-- 
GitLab