The Coq mailing list

[Jacek Chrząszcz <chrzaszcz AT mimuw.edu.pl>]

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