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.000000000 +0100 +++ proofgeneral-4.4.1~pre170114/debian/changelog 2019-07-25 10:15:05.000000000 +0200 @@ -1,3 +1,10 @@ +proofgeneral (4.4.1~pre170114-1.1) unstable; urgency=medium + + * Non-maintainer upload + * Switch to unversioned emacs-gtk package (Closes: #880285) + + -- Gianfranco Costamagna <locutusofb...@debian.org> Thu, 25 Jul 2019 10:15:05 +0200 + proofgeneral (4.4.1~pre170114-1) unstable; urgency=medium * Imported Upstream version 4.4.1~pre170114 diff -Nru proofgeneral-4.4.1~pre170114/debian/control proofgeneral-4.4.1~pre170114/debian/control --- proofgeneral-4.4.1~pre170114/debian/control 2017-01-16 10:55:21.000000000 +0100 +++ proofgeneral-4.4.1~pre170114/debian/control 2019-07-25 10:15:04.000000000 +0200 @@ -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, emacs24 | emacs25 +Build-Depends: debhelper (>= 9), texinfo, texlive-latex-recommended, texlive-generic-recommended, texlive-fonts-recommended, emacs-gtk Standards-Version: 3.9.8 Homepage: https://proofgeneral.github.io/ Package: proofgeneral Architecture: all -Depends: ${misc:Depends}, emacs24 | emacs25, mmm-mode +Depends: ${misc:Depends}, emacs-gtk, mmm-mode Suggests: proofgeneral-doc, prooftree Replaces: proofgeneral-coq, proofgeneral-misc Conflicts: proofgeneral-coq, proofgeneral-minlog, proofgeneral-misc
