Dear maintainer of proofgeneral, Your package was recently reported with a RC bug (FTBFS). Therefore, I send this NMU to fix the RC issue, given the lack of input about this bug, the easiness of the fix....
I used this occasion to fix trivial lintian warnings as I don't doubt
this will make the release managers refuse this update for etch.
The NMU changelog is:
Source: proofgeneral
Version: 3.5-4.1
Distribution: unstable
Urgency: low
Maintainer: Christian Perrier <[EMAIL PROTECTED]>
Date: Tue, 19 Dec 2006 08:27:28 +0100
Closes: 403572
Changes:
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)
--
diff -Nru proofgeneral-3.5.old/debian/changelog proofgeneral-3.5/debian/changelog --- proofgeneral-3.5.old/debian/changelog 2006-12-19 08:18:05.340607627 +0100 +++ proofgeneral-3.5/debian/changelog 2006-12-19 08:29:32.146355156 +0100 @@ -1,3 +1,14 @@ +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) + + -- Christian Perrier <[EMAIL PROTECTED]> Tue, 19 Dec 2006 08:27:28 +0100 + proofgeneral (3.5-4) unstable; urgency=low * Added support for Minlog diff -Nru proofgeneral-3.5.old/debian/compat proofgeneral-3.5/debian/compat --- proofgeneral-3.5.old/debian/compat 1970-01-01 01:00:00.000000000 +0100 +++ proofgeneral-3.5/debian/compat 2006-12-19 08:29:37.714403111 +0100 @@ -0,0 +1 @@ +4 diff -Nru proofgeneral-3.5.old/debian/control proofgeneral-3.5/debian/control --- proofgeneral-3.5.old/debian/control 2006-12-19 08:18:05.360607798 +0100 +++ proofgeneral-3.5/debian/control 2006-12-19 08:27:24.653198792 +0100 @@ -2,7 +2,7 @@ Section: editors Priority: optional Maintainer: Stefan Schimanski <[EMAIL PROTECTED]> -Build-Depends-Indep: debhelper (>= 4.1.16), mzscheme +Build-Depends: debhelper (>= 4.1.16), mzscheme Standards-Version: 3.6.1.0 Package: proofgeneral diff -Nru proofgeneral-3.5.old/debian/rules proofgeneral-3.5/debian/rules --- proofgeneral-3.5.old/debian/rules 2006-12-19 08:18:05.304607319 +0100 +++ proofgeneral-3.5/debian/rules 2006-12-19 08:29:59.646590324 +0100 @@ -1,7 +1,6 @@ #!/usr/bin/make -f #export DH_VERBOSE=1 -export DH_COMPAT=3 # the path should be changed in proofgeneral.postinst/prerm and proofgeneral.sh too PREFIX=share/emacs/site-lisp/proofgeneral diff -Nru proofgeneral-3.5.old/minlog/CVS/Entries proofgeneral-3.5/minlog/CVS/Entries --- proofgeneral-3.5.old/minlog/CVS/Entries 2006-12-19 08:18:05.452608585 +0100 +++ proofgeneral-3.5/minlog/CVS/Entries 1970-01-01 01:00:00.000000000 +0100 @@ -1,8 +0,0 @@ -/Makefile/1.4/Tue Apr 12 18:09:14 2005// -/README/1.6/Fri Jul 29 16:35:21 2005// -/minlog-abbrev.el/1.4/Sun Oct 9 11:56:10 2005// -/minlog-config.el/1.4/Sun Oct 9 11:50:18 2005// -/minlog-syntax.el/1.2/Wed Nov 29 14:07:15 2006// -/mzfork.c/1.2/Sat Sep 4 20:46:32 2004// -/minlog.el/1.23/Wed Dec 6 14:49:48 2006// -D diff -Nru proofgeneral-3.5.old/minlog/CVS/Repository proofgeneral-3.5/minlog/CVS/Repository --- proofgeneral-3.5.old/minlog/CVS/Repository 2006-12-19 08:18:05.452608585 +0100 +++ proofgeneral-3.5/minlog/CVS/Repository 1970-01-01 01:00:00.000000000 +0100 @@ -1 +0,0 @@ -proofgeneral/minlog diff -Nru proofgeneral-3.5.old/minlog/CVS/Root proofgeneral-3.5/minlog/CVS/Root --- proofgeneral-3.5.old/minlog/CVS/Root 2006-12-19 08:18:05.452608585 +0100 +++ proofgeneral-3.5/minlog/CVS/Root 1970-01-01 01:00:00.000000000 +0100 @@ -1 +0,0 @@ -:ext:[EMAIL PROTECTED]:/home/math/logik/proofgeneral/CVS
signature.asc
Description: Digital signature
