The Coq mailing list

[Thomas Braibant <thomas.braibant AT gmail.com>]

> until I install a new version of Coq or of one of the user contributions, 
> that is.

I could not help but notice that you use the term "user contributions"
here, while two packages you contribute to (flocq and interval) do not
figure on

http://coq.inria.fr/pylons/pylons/contribs/list/v8.4

This makes me wonder how representative coq contributions from the
contribs are. I feel like there are many developments/libraries that
are not hosted there, and some of the one that are there are outdated
[1]. I know the coq devs use them a lot to check for backward
compatibility, but backward compatibility breaks in practice...

One nice point of having a package manager and a list of up-to-date
package is that it could help focus the "do not break backward
compatibility" to libraries that are more often used.

Thomas
[1] Do the coq devs have statistics about how often each of these is
downloaded? I reckon that "downloads" is not the best metrics, and
that "compiled by people who are not devs" would be better, but we are
not likely to have access to this information. Hey, this could be one
cool question for my survey about coq users and their practices ;).
(Still not joking.)