The Coq mailing list

[Vadim Zaliva <vzaliva AT cmu.edu>]

> On Jul 10, 2015, at 3:32 , Guillaume Claret 
> <guillaume AT claret.me>
>  wrote:
> 
>> instead? I have not seen any announcements about the change and decided
>> to ask before switching...
> 
> Yes, the OPAM repository migrated to this new address. I updated a tutorial 
> I published on my blog to make a Coq package: 
> http://coq-blog.clarus.me/make-a-coq-package.html

Looks like the repo https://coq.inria.fr/opam/released contains only coq 
8.5b2 but some packages from the same repo (e.g. coq:color)
do not build with it. :(

Sincerely,
Vadim Zaliva

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