braibant/opam-coq-repo — pull request #3 by gmalecha (2013-12-02 22:41:18+00:00)
Title: Add coq_extlib and mirror_core

New packages for coq_extlib and mirror_core. Both are in development and are thus tagged as +dev.