From 4a1e98c59d6925f5918308bef41fdf516a5f68ff Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 20 Sep 2017 14:42:45 +0200
Subject: [PATCH] add back opam.pins temporarily to unbreak Coq's CI

---
 opam.pins | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 opam.pins

diff --git a/opam.pins b/opam.pins
new file mode 100644
index 000000000..4bddd14ce
--- /dev/null
+++ b/opam.pins
@@ -0,0 +1 @@
+coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp 4b6af89cc9ca8cdc4cfb25a8fcb35d3c89d92bc6
-- 
GitLab