coq- used as a prefix and three digits version numbers
Development packages removed
Coq HoTT packages removed (now in https://github.com/clarus/coq-HoTT-opam-repo)
Package without url removed
Coq's package removed
'archive' keyword replaced by 'http'
Math Classes updated to the new build system
CoRN package updated
Updated Coq version
Typo
New Coq version
Packages organized in folders
Packages renamed with small caps
Dependency names updated
Descriptions uniformized
Some bug fixes in packages
Cosmetic
AAC tactics using the coq-contribs repo
Containers using the coq-contribs repo
md5 sums added