-
proofgeneral (4.4.1~pre170114-1.1ubuntu1) eoan; urgency=medium
* Build-depend on texlive-plain-generic instead of obsolete texlive-
generic-recommended.
-- Steve Langasek <email address hidden> Tue, 01 Oct 2019 14:38:55 -0700
-
proofgeneral (4.4.1~pre170114-1.1) unstable; urgency=medium
* Non-maintainer upload
* Switch to unversioned emacs-gtk package (Closes: #880285)
-- Gianfranco Costamagna <email address hidden> Thu, 25 Jul 2019 10:15:05 +0200
-
proofgeneral (4.4.1~pre170114-1.1~build1) eoan; urgency=medium
* Non-maintainer upload
* Switch to unversioned emacs-gtk package (Closes: #880285)
-- Gianfranco Costamagna <email address hidden> Thu, 25 Jul 2019 10:15:05 +0200
-
proofgeneral (4.4.1~pre170114-1) unstable; urgency=medium
* Imported Upstream version 4.4.1~pre170114
git hash 6d1f608c6e7c39eff89b9461a2f4ea7ff1b19899
* fix lintian copyright issue
* add patch fix-coqtags and install coqtags
* add emacsen compat file (Closes: #758968)
* add patch desktop-keyword-entry for desktop-entry-lacks-keywords-entry
lintian warning
* disable StartupWMClass towards a solution of #746466
* fix emacs warning inside emacsen-install
-- Hendrik Tews <email address hidden> Mon, 16 Jan 2017 17:30:55 +0100