coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] The Coq Package Index is online!

From: Maxime Dénès <mail AT maximedenes.fr>
To: coq-club AT inria.fr, "coqdev AT inria.fr" <coqdev AT inria.fr>
Subject: [Coq-Club] The Coq Package Index is online!
Date: Tue, 6 Sep 2016 13:08:16 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mail AT maximedenes.fr; spf=Pass smtp.mailfrom=mail AT maximedenes.fr; spf=None smtp.helo=postmaster AT 10.mo68.mail-out.ovh.net
Ironport-phdr: 9a23:QehquBUGGxVw5dkQz6BwDhcKR2PV8LGtZVwlr6E/grcLSJyIuqrYZhSAt8tkgFKBZ4jH8fUM07OQ6PG5HzFRqs3f+DBaKdoXCE9D0Z1X1yUbQ+e7SmTDZMbwaCI7GMkQHHRExFqcdXZvJcDlelfJqWez5zNBUj/2NA5yO/inUtWK15f/hKiO/MjYZBwNjz6ga5tzKg+3pEPfrI1ey4BlM6o81DPIpGFJcqJY3ykgcVmUhhrx+O+x+oRi+mJeoaRy2dRHVPDfdrQ5SLEQILUgs3t9sMjitB3rSAKf534RXmgQnwEODRKTv0KyZYv4riav7rk14yKdJ8CjFb0=

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

The relevant pages in the Coq website do now contain the links above,
see for example:

https://coq.inria.fr/community

Many people contributed to this effort. We would like to thank Thomas
Braibant for the original idea and Guillaume Claret for his unrelenting
contribution to that idea.

The Coq Development Team

[Coq-Club] The Coq Package Index is online!, Maxime Dénès, 09/06/2016
- Re: [Coq-Club] The Coq Package Index is online!, Enrico Tassi, 09/06/2016
  - Re: [Coq-Club] The Coq Package Index is online!, Gabriel Scherer, 09/06/2016