From cd98d13efa097aeec0edf33eb7c1b68580a61734 Mon Sep 17 00:00:00 2001 From: Robbert Krebbers <mail@robbertkrebbers.nl> Date: Thu, 9 Mar 2017 23:37:40 +0100 Subject: [PATCH] Bump stdpp. --- opam.pins | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/opam.pins b/opam.pins index 4804dd04a..fccfabe03 100644 --- a/opam.pins +++ b/opam.pins @@ -1 +1 @@ -coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp 5c7064e1988fbcdf225f2be658bc3ebd24ef51df +coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp 5061c3cbfe8954faa67dc5eed061c92eaca65308 -- GitLab