From : Maxime Dénès <mail AT maximedenes.fr>

: Maxime Dénès <mail AT maximedenes.fr> To : coq-club AT inria.fr, "coqdev AT inria.fr" <coqdev AT inria.fr>

: coq-club AT inria.fr, "coqdev AT inria.fr" <coqdev AT inria.fr> Subject : [Coq-Club] The Coq Package Index is online!

: [Coq-Club] The Coq Package Index is online! Date : Tue, 6 Sep 2016 13:08:16 +0200

: 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

: 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 CoqPackage Index, an online catalog of Coq developments available as OPAMpackages:Users not familiar with OPAM can find some help on how to install Coqand related packages via OPAM at the following page:Users willing to add their work to the Coq Package Index can find ashort tutorial at the following page:The relevant pages in the Coq website do now contain the links above,see for example:Many people contributed to this effort. We would like to thank ThomasBraibant for the original idea and Guillaume Claret for his unrelentingcontribution to that idea.The Coq Development Team