The Coq mailing list

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

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).

If you use an opam client version 2.0 or above (see the output of `opam
--version` if you don't know) things will just work fine for you.

If you use an opam client version 1.2 then you are encouraged to
upgrade your client. Relevant links are:
  https://opam.ocaml.org/doc/Install.html
  https://opam.ocaml.org/doc/Upgrade_guide.html

We plan to keep a *frozen* copy of the archive in 1.2 format around for
some time. This means that users of opam 1.2 will still be able to
download existing packages, but they will not see any new addition.

Best regards,
-- 
Enrico Tassi