The Coq mailing list

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

On Thu, Jul 09, 2015 at 06:30:24PM -0700, Vadim Zaliva wrote:
> Do I understand correctly that I should no longer use 
> 
> https://github.com/coq/repo-stable-disabled
> 
> OPAM repository and use:
> 
> https://github.com/coq/opam-coq-archive
> 
> instead? I have not seen any announcements about the change and decided
> to ask before switching...

We have not made the thing official yet, but the URLs will be something
like http://coq.inria.fr/opam/... The github services (pull request) will
be used to maintain the archives of packages as a whole, but does not
work directly with OPAM.
-- 
Enrico Tassi