coq/opam-coq-repo — pull request #15 by clarus (2014-10-04 14:15:37+00:00)
Title: Many updates

Many changes:
* new naming scheme: `coq-package-name.MAJOR.MINOR.PATCH`
* only stable packages compiling with Coq 8.4pl4
* Math-Classes and CoRN
* some contribs hosted on https://github.com/coq-contribs