Stefan Monnier <monn...@iro.umontreal.ca> writes: > FWIW, Debian stable has Coq-8.6 (which is only about 2 years old), > so that's what I use on some of my machines.
Now that you have mentioned it, we consider this pretty unoptimal and we agreed on removing Coq from Debian due to the perils of shipping an outdated version :( :( But I couldn't find the section on the policy manual that states "outdated" is RC. But indeed, the version even in unstable is way too old [and likely unsound] Cheers, E. _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
