From f204c9c8ca356ae2533b4f8903eb252aa595be5a Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 1 Dec 2016 13:25:27 +0100
Subject: [PATCH] I am officially too stupid to use git
---
build/opam-ci.sh | 4 ++--
opam.pins | 2 +-
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/build/opam-ci.sh b/build/opam-ci.sh
index bae8b6cb..e9525736 100755
--- a/build/opam-ci.sh
+++ b/build/opam-ci.sh
@@ -16,12 +16,12 @@ test -d "$OPAMROOT/repo/coq-released" || opam repo add coq-released https://coq.
opam update
opam install ocamlfind -y # Remove this once the Coq crew fixed their package...
-# Fix versions of some dependencies
+# Install fixed versions of some dependencies
echo
for PIN in "${@}"
do
echo "Applying pin: $PIN"
- opam pin add $PIN -k version -y -n
+ opam pin add $PIN -k version -y
done
# Install build-dependencies
diff --git a/opam.pins b/opam.pins
index 1e8b61f4..fae78326 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 86315b423a2bf8826a6d63a90630a239ad3d1823
+coq-iris https://gitlab.mpi-sws.org/FP/iris-coq fd42adfe6236b6bebacb963e8fed3f7d1f935e26
--
GitLab