ppsimpl package
Add a conflict with coq_extlib, that shadows PositiveMap.t somehow...
Merge branch 'master' of github.com:braibant/opam-coq-repo
adding coq_plugin_util, adding uninstall rule to extlib + build plugins
for mirror_core.