The Coq mailing list

[Matthieu Sozeau <mattam AT mattam.org>]

Hi Vadim,

  

  Indeed, only coq.8.5.dev + color.1.0.0.dev works right now. Please report this on the issues page at github.com/coq/opam-coq-archive.

Best,

-- Matthieu

On Thu, Jul 16, 2015 at 12:12 AM Vadim Zaliva <vzaliva AT cmu.edu> wrote:

> 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