From 449b53e9e05db2bff9df727663f8e64c06e09ed0 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 13 Jan 2020 19:38:49 +0100
Subject: [PATCH] fix opam version number

---
 opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/opam b/opam
index e6a5fc6a..9c4f1226 100644
--- a/opam
+++ b/opam
@@ -1,4 +1,4 @@
-opam-version: "1.2"
+opam-version: "2.0"
 name: "coq-stdpp"
 maintainer: "Ralf Jung <jung@mpi-sws.org>"
 authors: "Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung"
-- 
GitLab