The Coq mailing list

[Frédéric Blanqui <frederic.blanqui AT inria.fr>]

Hi Maxime. Is there any opam package?


Le 10/27/2016 à 03:41 PM, Maxime Dénès a écrit :
> Dear Coq Clubbers,
>
>    The Coq development team is pleased to announce that Coq 8.5pl3 is
> available at:
>
>    http://coq.inria.fr/download
>
>    You may need to refresh the page if your browser has a previous
> version in cache.
>
>    This release includes many bug fixes, see
> http://coq.inria.fr/distrib/V8.5pl3/CHANGES for more details.
>
> Thanks to all bug reporters and contributors!
>
> The Coq Development Team