The Coq mailing list

[Enrico Tassi <enrico.tassi AT inria.fr>]

On Tue, Sep 06, 2016 at 01:08:16PM +0200, Maxime Dénès wrote:
> The Coq Development Team is pleased to officially announce the Coq
> Package Index, an online catalog of Coq developments available as OPAM
> packages:
> 
>   https://coq.inria.fr/opam/www
> 
> Users not familiar with OPAM can find some help on how to install Coq
> and related packages via OPAM at the following page:
> 
>   https://coq.inria.fr/opam/www/using.html
> 
> Users willing to add their work to the Coq Package Index can find a
> short tutorial at the following page:
> 
>   https://coq.inria.fr/opam/www/packaging.html

I'd like to invite people already contributing packages to have a look at

  https://github.com/coq/ceps/blob/master/text/003-opam-metadata.md

The tags field of the opam file can be used to hold interesting, Coq
specific, metadata like keywords, categorization, or the Coq logical
path inhabited by the package.  Such metadata is displayed in the index.

Ideas and comments are very welcome.

Best,
-- 
Enrico Tassi