Bump coq-std++.

97896530 · Robbert Krebbers · 5af1b29a · 97896530
Commit 97896530 authored Sep 08, 2017 by Robbert Krebbers
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

opam.pins opam.pins +1 -1

No files found.
--- a/opam.pins
+++ b/opam.pins
-coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp 2d27f42b9c4d9e5c0810122779a93873050fb756
+coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp 24aef2fea9481e65d1f6658005ddde25ae9a64ee