From 7418e9c7dd3156c124d5278988cbd8ca379245fa Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 20 Sep 2017 22:43:05 +0200
Subject: [PATCH] try to fix opam

---
 build/opam-ci.sh | 8 ++++----
 opam             | 1 -
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/build/opam-ci.sh b/build/opam-ci.sh
index 94c738e5..181da2d9 100755
--- a/build/opam-ci.sh
+++ b/build/opam-ci.sh
@@ -43,15 +43,15 @@ while (( "$#" )); do # while there are arguments left
     fi
 done
 
-# Upgrade cached things.
-echo "[opam-ci] Upgrading opam"
-opam upgrade -y
-
 # Install build-dependencies.
 echo
 echo "[opam-ci] Installing build-dependencies"
 make build-dep OPAMFLAGS=-y
 
+# Upgrade cached things.
+echo "[opam-ci] Upgrading opam"
+opam upgrade -y
+
 # done
 echo
 coqc -v
diff --git a/opam b/opam
index 95f85144..bb7f1ad4 100644
--- a/opam
+++ b/opam
@@ -1,6 +1,5 @@
 opam-version: "1.2"
 name: "coq-iris"
-version: "dev"
 maintainer: "Ralf Jung <jung@mpi-sws.org>"
 authors: "The Iris Team"
 homepage: "http://iris-project.org/"
-- 
GitLab