braibant/opam-coq-repo — pull request #5 by fajb (2013-12-13 23:27:08+00:00)
Title: ppsimpl.0.1+dev compatible with coq_extlib

Patched ppsimpl to compile with coq_extlib.

Not really sure it is the way to go: I have created a dev package linked to the git repo...