Your message dated Fri, 07 Dec 2012 21:34:44 +0100
with message-id <[email protected]>
and subject line Re: Bug#695249: unblock: proofgeneral/4.2~pre120605-2
has caused the Debian Bug report #695249,
regarding unblock: proofgeneral/4.2~pre120605-2
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
695249: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=695249
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: release.debian.org
Severity: normal
User: [email protected]
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 <[email protected]> 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 <[email protected]>, Wed, 6 Jun 2012 13:46:26 +0200
+ -- Hendrik Tews <[email protected]>, 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
--- End Message ---
--- Begin Message ---
On 2012-12-06 08:18, Hendrik Tews wrote:
> Package: release.debian.org
> Severity: normal
> User: [email protected]
> Usertags: unblock
>
> Please unblock package proofgeneral
>
> the new version fixes RC bug #694285 and corrects some wrong
> information in README.Debian.
>
> [...]
>
> unblock proofgeneral/4.2~pre120605-2
>
> [...]
Unblocked yesterday by Adam. Closing.
~Niels
--- End Message ---
