On Sat, 8 Nov 2014 18:51:53 +0100 Lucas Nussbaum <lu...@lucas-nussbaum.net> wrote: > Source: proofgeneral > Version: 4.3~pre131011-0.1
> > sbuild-build-depends-proofgeneral-dummy : Depends: emacs23-nox but it is > > not installable I guess, this isn't actually a bug in proofgeneral, as it alternatively build-depends on emacs24-nox which is currently available in jessie. The problem rather seems to be that sbuild is always taking the first alternative in the build-depends and doesn't even try the following alternatives. One could however remove the Build-Depends on emacs23 packages as they were removed from jessie. For reference, here's the relevant part of debian/control from proofgeneral 4.3~pre131011-0.1, which is the current version in jessie: Build-Depends: debhelper (>= 9), texinfo, texlive-latex-recommended, texlive-generic-recommended, texlive-fonts-recommended, emacs23-nox | emacs23 | emacs23-lucid | emacs24-nox | emacs24 | emacs24-lucid Cheers, Felix -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
