coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] OPAM archive switch to format 2.0

From: Enrico Tassi <Enrico.Tassi AT inria.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] OPAM archive switch to format 2.0
Date: Wed, 03 Apr 2019 15:33:23 +0200

On Tue, 2019-02-26 at 16:16 +0100, Enrico Tassi wrote:
> Dear Coq users, the oapm archive of Coq packages at
>
> https://coq.inria.fr/opam/released
>
> is currently in 1.2 format. We plan to upgrade the archive to format
> 2.0 in 1 month time (during the last week of March).

The upgrade just happened, please report any problem you may find.

Best regards,
--
Enrico Tassi

Re: [Coq-Club] OPAM archive switch to format 2.0, Enrico Tassi, 04/03/2019