Bug#695249: unblock: proofgeneral/4.2~pre120605-2
Package: release.debian.org
Severity: normal
User: release.debian.org@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 <hendrik@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 <hendrik@askra.de>, Wed, 6 Jun 2012 13:46:26 +0200
+ -- Hendrik Tews <hendrik@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
Reply to: