try to fix opam

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

opam

 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/"