Investigating further I see that my desktop has proofgeneral-coq installed, while my laptop has proofgeneral-misc installed.
So unless I explicitly install proofgeneral-coq in the first place I get a proofgeneral installed that doesn't work ... even if I have apt/aptitude set to install all Recommends packages. I think either: - README.Debian should mention that you must install proofgeneral-coq explicitly to actually get something that works. - The "proofgeneral-misc | proofgeneral-coq" dependency should be changed to an AND instead of an OR. aptitude won't install both, and will always install only the first one. Which still leaves you with a non-working proofgeneral, even if you set aptitude to install all recommends automatically. I think that you should recommend both -misc and -coq, so aptitude installs something that works. Best regards, --Edwin -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
