Change log for proofgeneral package in Ubuntu
1 → 25 of 25 results | First • Previous • Next • Last |
Published in oracular-release |
Published in noble-release |
Published in mantic-release |
Deleted in mantic-proposed (Reason: Moved to mantic) |
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)
Superseded in mantic-release |
Published in lunar-release |
Obsolete in kinetic-release |
Published in jammy-release |
Obsolete in impish-release |
Obsolete in hirsute-release |
Obsolete in groovy-release |
Published in focal-release |
Deleted in focal-proposed (Reason: moved to Release) |
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
Superseded in focal-release |
Obsolete in eoan-release |
Deleted in eoan-proposed (Reason: moved to Release) |
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
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
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
Superseded in eoan-release |
Obsolete in disco-release |
Obsolete in cosmic-release |
Published in bionic-release |
Obsolete in artful-release |
Obsolete in zesty-release |
Deleted in zesty-proposed (Reason: moved to release) |
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
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
Superseded in zesty-release |
Obsolete in yakkety-release |
Published in xenial-release |
Obsolete in wily-release |
Obsolete in vivid-release |
Deleted in vivid-proposed (Reason: moved to release) |
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)
Superseded in vivid-release |
Obsolete in utopic-release |
Published in trusty-release |
Deleted in trusty-proposed (Reason: moved to release) |
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
Superseded in trusty-release |
Obsolete in saucy-release |
Deleted in saucy-proposed (Reason: moved to release) |
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)
Superseded in saucy-release |
Obsolete in raring-release |
Deleted in raring-proposed (Reason: moved to release) |
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
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)
Superseded in quantal-release |
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)
Superseded in quantal-release |
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
Superseded in quantal-release |
Published in precise-release |
Obsolete in oneiric-release |
Obsolete in natty-release |
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)
Superseded in lucid-release |
Obsolete in karmic-release |
Obsolete in jaunty-release |
Obsolete in intrepid-release |
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
Superseded in feisty-release |
Obsolete in edgy-release |
Obsolete in dapper-release |
Superseded in dapper-release |
Obsolete in breezy-release |
Obsolete in hoary-release |
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
1 → 25 of 25 results | First • Previous • Next • Last |