The Coq mailing list

[Guillaume Melquiond <guillaume.melquiond AT inria.fr>]

On 14/10/2013 18:16, Thomas Braibant wrote:
> > 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

That is right. The thing is, the packages I contribute to are very much 
live: 8 releases of Flocq, 20 releases of Interval, 24 releases of 
Gappa-Coq. While the contribs repository is fine for contributions that 
no longer evolve, it is not really adapted to packages that have a 
shorter development cycle than Coq.

At a time, there was a project of having the contribs being aware of the 
repositories of live projects and automatically accessing them for the 
testsuite. (This only matters for live projects. Orphaned projects would 
still be stored in the contribs.) This would definitely be helpful in 
getting my packages in the contribs. I don't know what the status of 
this project is, though.

Best regards,

Guillaume