Hi, I restructured the proofgeneral source package. The Coq Proof General instance is now provided by the package proofgeneral. proofgeneral-coq is no longer build from source. I would therefore suggest that you change science-mathematics to only recommend proofgeneral. Bye, Hendrik