Pierre Courtieu <pierre.court...@cnam.fr> writes: > I agree. One more argument: opam has problems and having Coq delivered only > by opam is risky these days. So having a reliable fallback is good. Even if > it is a bit outdated.
The main problem is that Coq 8.6 is unsupported upstream, and it seems de-facto orphaned in Debian. So yeah, it is not optimal both for upstream and for the users for example when they run into long-solved bugs and report to us. Cheers, E. _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
