Hi,
I've NMU'd 4.3~pre131011-0.2 that fixes this bug.
Please consider integrating the attached patch in your next upload.
Cheers,
--
intrigeri
diff -Nru proofgeneral-4.3~pre131011/debian/changelog proofgeneral-4.3~pre131011/debian/changelog
--- proofgeneral-4.3~pre131011/debian/changelog 2014-08-12 15:15:53.000000000 +0200
+++ proofgeneral-4.3~pre131011/debian/changelog 2014-11-16 17:47:02.000000000 +0100
@@ -1,3 +1,12 @@
+proofgeneral (4.3~pre131011-0.2) unstable; urgency=medium
+
+ * Non-maintainer upload.
+ * Remove {build,runtime} alternative dependencies on emacs23*:
+ Emacs 23 is not in testing/sid anymore, and sbuild always picks
+ the first alternative, which made the package FTBFS (Closes: #768619).
+
+ -- intrigeri <intrig...@debian.org> Sun, 16 Nov 2014 17:46:59 +0100
+
proofgeneral (4.3~pre131011-0.1) unstable; urgency=low
* Non-maintainer upload.
diff -Nru proofgeneral-4.3~pre131011/debian/control proofgeneral-4.3~pre131011/debian/control
--- proofgeneral-4.3~pre131011/debian/control 2014-02-15 12:18:36.000000000 +0100
+++ proofgeneral-4.3~pre131011/debian/control 2014-11-16 17:45:04.000000000 +0100
@@ -2,13 +2,13 @@
Section: editors
Priority: optional
Maintainer: Hendrik Tews <hend...@askra.de>
-Build-Depends: debhelper (>= 9), texinfo, texlive-latex-recommended, texlive-generic-recommended, texlive-fonts-recommended, emacs23-nox | emacs23 | emacs23-lucid | emacs24-nox | emacs24 | emacs24-lucid
+Build-Depends: debhelper (>= 9), texinfo, texlive-latex-recommended, texlive-generic-recommended, texlive-fonts-recommended, emacs24-nox | emacs24 | emacs24-lucid
Standards-Version: 3.9.4
Homepage: http://proofgeneral.inf.ed.ac.uk
Package: proofgeneral
Architecture: all
-Depends: ${shlibs:Depends}, ${misc:Depends}, emacs23 | emacs23-nox | emacs23-lucid | emacs24 | emacs24-nox | emacs24-lucid, mmm-mode
+Depends: ${shlibs:Depends}, ${misc:Depends}, emacs24 | emacs24-nox | emacs24-lucid, mmm-mode
Suggests: proofgeneral-doc
Replaces: proofgeneral-coq, proofgeneral-misc
Conflicts: proofgeneral-coq, proofgeneral-minlog, proofgeneral-misc
