Bug#880285: proofgeneral: FTBFS: build-dependency not installable: emacs24

2019-07-25 Thread Gianfranco Costamagna
control: tags -1 patch pending ongoing. diff -Nru proofgeneral-4.4.1~pre170114/debian/changelog proofgeneral-4.4.1~pre170114/debian/changelog --- proofgeneral-4.4.1~pre170114/debian/changelog 2017-01-16 17:30:55.0 +0100 +++ proofgeneral-4.4.1~pre170114/debian/changelog 2019-

Bug#880285: proofgeneral: FTBFS: build-dependency not installable: emacs24

2017-10-30 Thread Lucas Nussbaum
Source: proofgeneral Version: 4.4.1~pre170114-1 Severity: serious Tags: buster sid User: debian...@lists.debian.org Usertags: qa-ftbfs-20171030 qa-ftbfs Justification: FTBFS on amd64 Hi, During a rebuild of all packages in sid, your package failed to build on amd64. Relevant part (hopefully): >