braibant/opam-coq-repo — pull request #6 by gmalecha (2013-12-16 18:12:41+00:00)
Title: coq_plugin_util + a few updates

A new package and a few updates to existing packages, e.g. to support parallel make.