Change log for proofgeneral package in Ubuntu

proofgeneral (4.5-1) unstable; urgency=medium

  * Fix d/watch.
  * Change maintainer&uploaders.
  * Switch from debhelper to debhelper-compat.
  * Bump standards-version to 4.6.2.
  * Don't depend on emacs-gtk (Closes: #951567).
  * Package new upstream release (Closes: #1030375, #917461, #1016815).
  * Declare d/rules doesn't require root.
  * Refresh patches.
  * Add a manpage for coqtags.

 -- Julien Puydt <email address hidden>  Thu, 17 Aug 2023 14:37:53 +0200

Available diffs

• diff from 4.4.1~pre170114-1.2 to 4.5-1 (849.2 KiB)

proofgeneral (4.4.1~pre170114-1.2) unstable; urgency=medium

  * Non-maintainer upload.
  * Build-depend on texlive-plain-generic instead of
    texlive-generic-recommended. Thanks to Steve Langasek for
    patch. (Closes: #941544)

 -- Gard Spreemann <email address hidden>  Mon, 16 Dec 2019 17:50:59 +0100

Available diffs

• diff from 4.4.1~pre170114-1.1ubuntu1 (in Ubuntu) to 4.4.1~pre170114-1.2 (722 bytes)

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

Available diffs

• diff from 4.4.1~pre170114-1.1 (in Debian) to 4.4.1~pre170114-1.1ubuntu1 (636 bytes)

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

Available diffs

• diff from 4.4.1~pre170114-1.1~build1 (in Ubuntu) to 4.4.1~pre170114-1.1 (311 bytes)

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

Available diffs

• diff from 4.4.1~pre170114-1 (in Debian) to 4.4.1~pre170114-1.1~build1 (717 bytes)

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

Available diffs

• diff from 4.4.1~pre161230-0.1 to 4.4.1~pre170114-1 (13.9 KiB)

proofgeneral (4.4.1~pre161230-0.1) unstable; urgency=medium

  * Non-maintainer upload.
  * New upstream release.
  * Make package work with emacs24 or emacs25 (Closes: #846990).
  * debian/control: Remove ${shlib:Depends} for package proofgeneral.
  * Drop debian/menu, following tech-ctte decision on #741573.
  * debian/README.Debian: Remove special note about prooftree, which
    is now a proper Debian package, and added HOL Light as prover.
  * debian/*: Adapt to new upstream home at github.
  * debian/patches/:
    - drop smartly-enable-prooftree
    - restrict-installed-provers.patch: added hol-light as prover
    - refresh all others

 -- Richard B. Kreckel <email address hidden>  Fri, 30 Dec 2016 22:22:22 +0100

Available diffs

• diff from 4.3~pre131011-0.2 to 4.4.1~pre161230-0.1 (533.6 KiB)

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 <email address hidden>  Sun, 16 Nov 2014 17:46:59 +0100

Available diffs

• diff from 4.3~pre131011-0.1 to 4.3~pre131011-0.2 (792 bytes)

proofgeneral (4.3~pre131011-0.1) unstable; urgency=low


  * Non-maintainer upload.
  * New upstream release
  * debian/patches
    - drop fix-texinfo-5-1-bug.patch: unnecessary anymore
    - drop pg-image-bug.patch: unnecessary (cause FTBFS)

 -- Hideki Yamane <email address hidden>  Tue, 12 Aug 2014 22:03:50 +0900

Available diffs

• diff from 4.3~pre130510-1.1 to 4.3~pre131011-0.1 (590.9 KiB)

proofgeneral (4.3~pre130510-1.1) unstable; urgency=medium


  * Non-maintainer upload.
  * debian/control
    - add "Build-Depends: texlive-fonts-recommended" to fix FTBFS
     (Closes: #738392)
    - remove unnecessary "Build-Depends: texi2html" due to transtion
      (see https://wiki.debian.org/Texi2htmlTransition)
  * debian/patches
    - add transition_to_makeinfo.patch to use makeinfo, instead of texi2html
  * also update debian/proofgeneral-doc.doc-base to deal with changes with
    above

 -- Hideki Yamane <email address hidden>  Sat, 15 Feb 2014 19:57:15 +0900

Available diffs

• diff from 4.3~pre130510-1 to 4.3~pre130510-1.1 (1.3 KiB)

proofgeneral (4.3~pre130510-1) unstable; urgency=low


  * New upstream release (Closes: #707331)
  * improve watch file (thanks to Bart Martens for the uversionmangle hint)
  * add new patch to install coq example and add hint in tutorial 
    (Closes: #687977) 
  * add new patch fix-texinfo-5-1-bug to fix a problem with texinfo 5.1
  * add new patch pg-image-bug to rename ProofGeneral.jpg
  * permit emacs24
  * update README.Debian
  * bump standards version to 3.9.4
  * debhelper compat level 9

 -- Hendrik Tews <email address hidden>  Wed, 15 May 2013 17:11:19 +0200

Available diffs

• diff from 4.2~pre120605-2 to 4.3~pre130510-1 (144.9 KiB)

proofgeneral (4.2~pre120605-2) unstable; urgency=low


  * add Breaks and Replaces dependencies for proofgeneral-doc (Closes: #694285)
  * delete wrong info in README.Debian

 -- Hendrik Tews <email address hidden>  Tue, 04 Dec 2012 14:50:27 +0100

Available diffs

• diff from 4.2~pre120605-1 to 4.2~pre120605-2 (1.1 KiB)

proofgeneral (4.2~pre120605-1) unstable; urgency=low


  * New upstream release (Closes: #669318)
  * fix byte-compile-error-on-warn in emacsen-install, --no-site-file has
    been dropped already in 4.2~pre120411-2 (Closes: #671583)
  * use debian-emacs-flavor in emacsen-startup (see #662163)
  * delete patch disable-proof-tree, add patch smartly-enable-prooftree
    for enabling prooftree if Coq >= 8.4beta is detected
  * fix package description
  * add hints on Prooftree and incompatibility with manual Coq
    installations to README.Debian
  * new patch for using debian-pkg-add-load-path-item (see #670339), but
    don't use it, because debian-pkg-add-load-path-item breaks Proof
    General, see #676424

 -- Hendrik Tews <email address hidden>  Wed, 06 Jun 2012 23:12:58 +0200

Available diffs

• diff from 4.2~pre120411-2 to 4.2~pre120605-1 (14.9 KiB)

proofgeneral (4.2~pre120411-2) unstable; urgency=low


  * link el files into ELCDIR (Closes: #670341)
  * link image files in emacsen-install
  * fix flavor in emacsen-startup (see #662163)

 -- Hendrik Tews <email address hidden>  Wed, 25 Apr 2012 22:57:47 +0200

Available diffs

• diff from 4.2~pre120206-1 to 4.2~pre120411-2 (101.7 KiB)

proofgeneral (4.2~pre120206-1) unstable; urgency=low


  * new upstream prerelease (Closes: #642048)
  * moved to section editors 
  * standards version 3.9.3
  * fix compilation with emacs-nox (Closes: #660353)
  * don't support broken PhoX anymore (Closes: #544436)

 -- Hendrik Tews <email address hidden>  Tue, 28 Feb 2012 12:53:12 +0100

Available diffs

• diff from 3.7-4 (in Ubuntu) to 4.2~pre120206-1 (1.7 MiB)

proofgeneral (3.7-4) unstable; urgency=low

  * QA upload
  * Use Debian QQA as maintainer. Closes: #554263
  * Danish debconf translation update. Closes: #592274
 -- Ubuntu Archive Auto-Sync <email address hidden>   Fri,  15 Oct 2010 09:55:18 +0000

Available diffs

• diff from 3.7-3.1 to 3.7-4 (1.4 KiB)

proofgeneral (3.7-3.1) unstable; urgency=low

  * Non-maintainer upload.
  * Trivial lintian fixes:
    - Add ${misc:Depends} to binary packages dependencies
      so that debhelper-triggered dependencies are properly
      added at build time.
    - Bump debhelper compatibility to 7
    - Replace calls to deprecated "dh_clean -k" by dh_prep
    - Have copyright file refer to the versioned GPL-2
      license file
    - Drop calls to install-info to register info pages as
      this is now handled by triggers
    - As a consequence, drop the now empty proofgeneral.prerm
      script
    - No longer ignore errors in proofgeneral.postinst,
       proofgeneral.presinst and proofgeneral.config (use "set -e")
    - Add dependency on "dpkg (>= 1.15.4) | install-info"
      to properly ihandle info documents installation
  * Fix pending l10n issues. Debconf translations:
    - Swedish (Martin Bagge).  Closes: #504034
    - Japanese (Hideki Yamane (Debian-JP)).  Closes: #510721
    - Spanish (Fernando González de Requena).  Closes: #520539
    - Italian (Luca Monducci).  Closes: #546648
 -- Ubuntu Archive Auto-Sync <email address hidden>   Fri,  06 Nov 2009 08:59:51 +0000

Available diffs

• diff from 3.7-3build1 to 3.7-3.1 (4.5 KiB)

proofgeneral (3.7-3build1) intrepid; urgency=low

  * Rebuild against thread-enabled guile-1.8.

 -- Martin Pitt <email address hidden>   Wed, 06 Aug 2008 14:20:15 +0000

Available diffs

• diff from 3.7-3 to 3.7-3build1 (347 bytes)

proofgeneral (3.7-3) unstable; urgency=low

  * Fix bin/proofgeneral script:
    - correct lowercase path to the lisp directory. Closes: 473893
    - working -v and --version option which need the PGHOME to work.

proofgeneral (3.5-6) unstable; urgency=low

  * Removed support for mzscheme <300
  * Only use one startup script for all emacs versions
  * Added nl translation. Closes: 418390
  * Moved to menu section Applications/Science/Mathematics

proofgeneral (3.5-4.1) unstable; urgency=low

  * Non-maintainer upload to fix an RC bug
  * Move debhelper and mzscheme to Build-Depends. Closes: 403572
    Lintian warnings are things that should be taken seriously.
  * Lintian fixes:
    - Remove useless CVS directory minlog/CVS
    - Use 4 as debhelper compatibility (through debian/compat)  

 -- Ubuntu Archive Auto-Sync <email address hidden>   Wed,  20 Dec 2006 13:01:54 +0000

proofgeneral (3.5-4) unstable; urgency=low

  * Added support for Minlog
  * Do not load proof-site.el automatically anymore, but instead 
    install an interactive function "proofgeneral". It then loads
    the ProofGeneral and, most importantly, assign the file extension
    to ProofGeneral. Closes: #260074,#176921
  
  

 -- Ubuntu Archive Auto-Sync <email address hidden>   Fri,  15 Dec 2006 10:29:47 +0000

proofgeneral (3.5-3.1) unstable; urgency=low

  * Non maintainer upload to fix longstanding l10n issues
  * Add debconf-2.0 as alternative to debconf. Closes: #332077
  * Debconf templates translations:
    - Added Vietnamese. Closes: #317611
    - Added Japasese. Closes: #288029
    - Added Czech. Closes: #308466
    - Added Swedish. Closes: #332359
    - Added Brazilian Portuguese. Sent during the call for updates of the NMU.
    - Added Russian. Sent during the call for updates of the NMU.
    - Added Portuguese. Sent during the call for updates of the NMU.
    - Added German. Sent during the call for updates of the NMU.

 -- Ubuntu Archive Auto-Sync <email address hidden>   Tue,  07 Nov 2006 03:26:40 +0000

proofgeneral (3.5-3) unstable; urgency=low


  * Updated maintainer email address.

 -- Stefan Schimanski <email address hidden>  Fri, 20 Aug 2004 14:38:30 +0200

proofgeneral (3.4-14) unstable; urgency=low


  * Added french translation for the debconf templates (thanks to Michel 
    Grentzinger, closes: #207869).

 -- Stefan Schimanski <email address hidden>  Sat, 30 Aug 2003 13:46:20 +0200