The Coq mailing list

[Guillaume Claret <guillaume AT claret.me>]

Hi,

There is the package `coq:coqide` in the repository `unstable`. To 
install it:

    opam repo add coq-unstable https://github.com/coq/repo-unstable.git
    opam install -j4 -v coq:coqide coq.8.5beta2

Best,
Guillaume

The 05/06/2015 15:13, Matthieu Sozeau wrote:
> 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
> <mailto: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