Your message dated Sun, 17 Aug 2008 17:17:09 +0000
with message-id <[EMAIL PROTECTED]>
and subject line Bug#495149: fixed in spass 2.1-4
has caused the Debian Bug report #495149,
regarding spass FTBFS when built with sudo
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.)
--
495149: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=495149
Debian Bug Tracking System
Contact [EMAIL PROTECTED] with problems
--- Begin Message ---
Package: spass
Version: 2.1-3
Severity: serious
Tags: patch
spass fails to build when using dpkg-buildpackage -rsudo because in
this case $(PWD) isn't set as a make variable in debian/rules. The
appended patch fixes this.
Thiemo
--- spass-2.1.orig/debian/rules 2008-08-14 22:35:04.000000000 +0200
+++ spass-2.1/debian/rules 2008-08-14 22:09:41.000000000 +0200
@@ -20,7 +20,7 @@ endif
# generic Debian directories
-DEB_BASE_DIR = $(PWD)
+DEB_BASE_DIR = $(shell pwd)
DEB_DEBIAN_DIR = $(DEB_BASE_DIR)/debian
DEB_SOURCE_DIR = $(DEB_BASE_DIR)/SPASS-2.1
DEB_BUILD_DIR = $(DEB_DEBIAN_DIR)/build
--- End Message ---
--- Begin Message ---
Source: spass
Source-Version: 2.1-4
We believe that the bug you reported is fixed in the latest version of
spass, which is due to be installed in the Debian FTP archive:
spass_2.1-4.diff.gz
to pool/main/s/spass/spass_2.1-4.diff.gz
spass_2.1-4.dsc
to pool/main/s/spass/spass_2.1-4.dsc
spass_2.1-4_i386.deb
to pool/main/s/spass/spass_2.1-4_i386.deb
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [EMAIL PROTECTED],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Roland Stigge <[EMAIL PROTECTED]> (supplier of updated spass package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [EMAIL PROTECTED])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 17 Aug 2008 18:05:44 +0200
Source: spass
Binary: spass
Architecture: source i386
Version: 2.1-4
Distribution: unstable
Urgency: low
Maintainer: Roland Stigge <[EMAIL PROTECTED]>
Changed-By: Roland Stigge <[EMAIL PROTECTED]>
Description:
spass - An automated theorem prover for first-order logic with equality
Closes: 495149
Changes:
spass (2.1-4) unstable; urgency=low
.
* debian/rules: Removed DEB_BASE_DIR (Closes: #495149)
* debian/control: Standards-Version: 3.8.0
* debian/compat: 7
Checksums-Sha1:
b28401c5096d93cb6c21edecc16470b15edfd059 909 spass_2.1-4.dsc
2ad2db8b890410180b3c46ea929ea91783c15c17 14188 spass_2.1-4.diff.gz
e2c4c3fe2a2f5bb92118de1db2de5c5c5219f72e 1292244 spass_2.1-4_i386.deb
Checksums-Sha256:
cc8914bc3242d047582cba2dad59aa821fa398b9cc00dc0766062ac25e42bfb7 909
spass_2.1-4.dsc
5d5ff6eee92ebfcf8c2c5d902bdb43ff9e289bed0a2fe6721af40e72972c0fe3 14188
spass_2.1-4.diff.gz
34b0db10d71b10ba068b0ba063a2a6d9918c0d1db6305515e15a07c8a26055e6 1292244
spass_2.1-4_i386.deb
Files:
e37190accc23ab998fc1f0e663eb6c09 909 science optional spass_2.1-4.dsc
2d269ea1020b1fc9fd8b41f26f7fbca2 14188 science optional spass_2.1-4.diff.gz
988b25a81d90f435ce2b94826f038692 1292244 science optional spass_2.1-4_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iD8DBQFIqFB7caH/YBv43g8RAkX7AJ92z5pSj7V8NorpbzicrMYJiL9MZgCeJlP8
RapWNswvmPMo2G0dSdCAGV4=
=+WC0
-----END PGP SIGNATURE-----
--- End Message ---
