From 683d42a088a839063395b7b6db9f276754df8802 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 12 Oct 2017 11:12:43 +0200
Subject: [PATCH] Coq CI does not need opam.pins any more

---
 opam.pins | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 opam.pins

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