Your message dated Sat, 31 Jan 2009 15:32:08 +0000
with message-id <[email protected]>
and subject line Bug#512007: fixed in sat4j 2.0.5-1
has caused the Debian Bug report #512007,
regarding sat4j: build invokes Ant through /usr/bin/ant
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.)
--
512007: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=512007
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: sat4j
Version: 2.0.4-2
Severity: important
debian/rules invokes the "ant" command, which means it will use the
JDK that happens to be configured through the alternatives system, not
the one specified by the control file. This will lead to FTBFS.
The pkg-java web site [1] has information about this, and you can
check some other packages [2] for examples.
[1] http://pkg-java.alioth.debian.org/building.html
[2]
http://svn.debian.org/wsvn/pkg-java/trunk/libjdom1-java/debian/rules?op=file&rev=0&sc=0
-- System Information:
Debian Release: 5.0
APT prefers testing
APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.28-melech (SMP w/2 CPU cores; PREEMPT)
Locale: LANG=sv_SE.UTF-8, LC_CTYPE=sv_SE.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash
Versions of packages sat4j depends on:
ii openjdk-6-jre-headless [java 6b14-1~exp1 OpenJDK Java runtime, using Hotspo
sat4j recommends no packages.
sat4j suggests no packages.
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: sat4j
Source-Version: 2.0.5-1
We believe that the bug you reported is fixed in the latest version of
sat4j, which is due to be installed in the Debian FTP archive:
sat4j_2.0.5-1.diff.gz
to pool/main/s/sat4j/sat4j_2.0.5-1.diff.gz
sat4j_2.0.5-1.dsc
to pool/main/s/sat4j/sat4j_2.0.5-1.dsc
sat4j_2.0.5-1_all.deb
to pool/main/s/sat4j/sat4j_2.0.5-1_all.deb
sat4j_2.0.5.orig.tar.gz
to pool/main/s/sat4j/sat4j_2.0.5.orig.tar.gz
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.
Michael Tautschnig <[email protected]> (supplier of updated sat4j 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: Sat, 31 Jan 2009 12:30:40 +0000
Source: sat4j
Binary: sat4j
Architecture: source all
Version: 2.0.5-1
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <[email protected]>
Changed-By: Michael Tautschnig <[email protected]>
Description:
sat4j - Efficient library of SAT solvers in Java
Closes: 512007
Changes:
sat4j (2.0.5-1) unstable; urgency=low
.
* New upstream release
* Replace use of /usr/bin/ant by proper java use (closes: #512007)
* Fixed minor bug in shipped build.xml instead of using home-grown build.xml
Checksums-Sha1:
784cbf414ffd9e1234dc6acc69a1a5254aff6ff6 1132 sat4j_2.0.5-1.dsc
65d3a770f34c8718f6176611d9010d72d283ba99 13217481 sat4j_2.0.5.orig.tar.gz
82c485984fe27c81e77af05e8930909f55488c70 8961 sat4j_2.0.5-1.diff.gz
f8e8bf81730a56e571e814187d54a14e73413cb7 226176 sat4j_2.0.5-1_all.deb
Checksums-Sha256:
a95d421bec8e7c0414544bd5b363ade61c9494c98fc46aed054e97751407dfff 1132
sat4j_2.0.5-1.dsc
33037171e87d06f618966a593be0fda3c23c2d096e00ea83778f17cb15033d8e 13217481
sat4j_2.0.5.orig.tar.gz
1b72927cd2f4fa5d6da93eb8e7d2d20e046650e8d89c3266fc04d81e43527eb9 8961
sat4j_2.0.5-1.diff.gz
98e1b07acb376e689c21bab00a9cab3acbfd34d55335820075748ab043b3bef2 226176
sat4j_2.0.5-1_all.deb
Files:
34a44db6cffa1182a265e981e8dc068f 1132 science extra sat4j_2.0.5-1.dsc
276f43df26479a3a3eacf673b53bfeea 13217481 science extra sat4j_2.0.5.orig.tar.gz
620c9d30edefb4542c3613be2f3aaa5c 8961 science extra sat4j_2.0.5-1.diff.gz
c563700bee13422bad6e8944eea6f6fa 226176 science extra sat4j_2.0.5-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkmEbR4ACgkQvx6dH3bVKsR/PgCfb6/oB/SYNk5dxdMpNnvCdO7x
fx4An0EVK/DrVz55WKg0ZUJvd70Ieckk
=5pAX
-----END PGP SIGNATURE-----
--- End Message ---
