The Coq mailing list

[Vadim Zaliva <vzaliva AT cmu.edu>]

> On Jul 10, 2015, at 8:01 , Enrico Tassi 
> <enrico.tassi AT inria.fr>
>  wrote:
> 
> 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.

Thanks! I will be waiting for official announcement of new OPAM repo URLs.

Sincerely,
Vadim Zaliva

--
CMU ECE PhD candidate
Mobile: +1(510)220-1060
Skype: vzaliva