Novix writes: During upgrade from 3.x, proofgeneral install failed. OK, I can reproduce the installation failure. The problem seems to be that Proof General cannot be compiled with emacs23-nox. I don't know yet if this is a problem in the dependencies or in the upstream code.
Could you try if the problem goes away with installing emacs23 or emacs23-lucid before installing/upgrading proofgeneral? Bye, Hendrik -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
