How to install proofgeneral on Debian Unstable (Sid)