The Coq mailing list

[Guillaume Claret <guillaume AT claret.me>]

The 07/10/2015 03:30, 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...

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

> Sincerely,
> Vadim Zaliva
>
> --
> CMU ECE PhD candidate
> Mobile: +1(510)220-1060
> Skype: vzaliva

Cheers,
Guillaume