The Coq mailing list

[Matthieu Sozeau <mattam AT mattam.org>]

Hmm, that's an overlook... I will make a package.

On Wed, May 6, 2015 at 2:41 PM Jacek Chrząszcz <chrzaszcz AT mimuw.edu.pl> wrote:

Hello list,

I try to install coq 8.5beta2 via opam using the coqs repository
https://github.com/coq/repo-coqs. It works fine, but coqide is not
istalled.

Trying opam install coqide afterwards fails, because there is no opam
package coqide 8.5beta2 - neither in repo-coqs not in the main opam
repository.

Is there anything I can do to properly install the beta version of coq
_with_ coqide via opam?


Bests,

Jacek