Package: release.debian.org Severity: normal User: release.debian....@packages.debian.org Usertags: unblock
Please unblock package proofgeneral the new version fixes RC bug #694285 and corrects some wrong information in README.Debian. ============================ debdiff =============================== diff -Nru proofgeneral-4.2~pre120605/debian/changelog proofgeneral-4.2~pre120605/debian/changelog --- proofgeneral-4.2~pre120605/debian/changelog 2012-06-06 23:17:53.000000000 +0200 +++ proofgeneral-4.2~pre120605/debian/changelog 2012-12-04 14:51:47.000000000 +0100 @@ -1,3 +1,10 @@ +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 <hend...@askra.de> Tue, 04 Dec 2012 14:50:27 +0100 + proofgeneral (4.2~pre120605-1) unstable; urgency=low * New upstream release (Closes: #669318) diff -Nru proofgeneral-4.2~pre120605/debian/control proofgeneral-4.2~pre120605/debian/control --- proofgeneral-4.2~pre120605/debian/control 2012-06-05 23:53:53.000000000 +0200 +++ proofgeneral-4.2~pre120605/debian/control 2012-12-04 12:43:31.000000000 +0100 @@ -25,6 +25,8 @@ Section: doc Architecture: all Depends: ${misc:Depends} +Breaks: proofgeneral (<< 4) +Replaces: proofgeneral (<< 4) Recommends: info-browser | pdf-viewer | www-browser Suggests: proofgeneral Description: generic frontend for proof assistants - documentation diff -Nru proofgeneral-4.2~pre120605/debian/README.Debian proofgeneral-4.2~pre120605/debian/README.Debian --- proofgeneral-4.2~pre120605/debian/README.Debian 2012-06-06 13:46:58.000000000 +0200 +++ proofgeneral-4.2~pre120605/debian/README.Debian 2012-12-04 14:44:47.000000000 +0100 @@ -19,27 +19,11 @@ in the Debian package, please file a bug report against proofgeneral. -This Debian package of Proof General does not work with a manual -installation of Coq. The reason is that Coq installs a file coq.el -which is loaded when Proof General attempts to load its version of -coq.el. There are two possible fixes: - -1) delete at least coq.el, coq-db.el and coq-syntax.el from the Coq - installation, or - -2) put - - (add-to-list 'load-path "/usr/share/emacs23/site-lisp/proofgeneral/coq/") - - in your .emacs file. - - This version of ProofGeneral contains support for Prooftree. However, because neither Coq >= 8.4beta nor Prooftree are in this version of Debian, Prooftree support is statically disabled. You can try to use Prooftree with this version of ProofGeneral. To do so - manually install Coq >= 8.4beta -- apply one of the fixes from the preceding paragraph - manually install Prooftree (see http://askra.de/software/prooftree/) - restart ProofGeneral @@ -53,4 +37,4 @@ General website (or by downloading the sources). - -- Hendrik Tews <hend...@askra.de>, Wed, 6 Jun 2012 13:46:26 +0200 + -- Hendrik Tews <hend...@askra.de>, Tue, 4 Dec 2012 14:44:47 +0100 ============================ end debdiff =============================== unblock proofgeneral/4.2~pre120605-2 -- System Information: Debian Release: wheezy/sid APT prefers testing APT policy: (500, 'testing') Architecture: i386 (i686) Kernel: Linux 3.2.0-4-686-pae (SMP w/2 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash -- To UNSUBSCRIBE, email to debian-release-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20121206071858.20106.96665.reportbug@localhost