Package: proofgeneral Version: 4.4.1~pre170114-1.1 Severity: serious Tags: patch User: ubuntu-de...@lists.ubuntu.com Usertags: origin-ubuntu eoan ubuntu-patch
Hi Hendrik, The texlive-generic-recommended transitional package has been dropped from texlive-base in sid. Please update your build-dependency to texlive-plain-generic instead. -- Steve Langasek Give me a lever long enough and a Free OS Debian Developer to set it on, and I can move the world. Ubuntu Developer https://www.debian.org/ slanga...@ubuntu.com vor...@debian.org
diff -Nru proofgeneral-4.4.1~pre170114/debian/control proofgeneral-4.4.1~pre170114/debian/control --- proofgeneral-4.4.1~pre170114/debian/control 2019-07-25 01:15:04.000000000 -0700 +++ proofgeneral-4.4.1~pre170114/debian/control 2019-10-01 14:38:55.000000000 -0700 @@ -2,7 +2,7 @@ Section: editors Priority: optional Maintainer: Hendrik Tews <hend...@askra.de> -Build-Depends: debhelper (>= 9), texinfo, texlive-latex-recommended, texlive-generic-recommended, texlive-fonts-recommended, emacs-gtk +Build-Depends: debhelper (>= 9), texinfo, texlive-latex-recommended, texlive-plain-generic, texlive-fonts-recommended, emacs-gtk Standards-Version: 3.9.8 Homepage: https://proofgeneral.github.io/
