Your message dated Tue, 13 Apr 2010 18:06:54 +0000
with message-id <[email protected]>
and subject line Bug#577479: fixed in sat4j 2.1.1-3
has caused the Debian Bug report #577479,
regarding sat4j depends on the specific default-jre-headless rather than a
virtual package
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.)
--
577479: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=577479
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: sat4j
Version: 2.1.1-2
sat4j depends specifically on the default-jre-headless, and
build-depends specifically on default-jdk. It should really use virtual
packages, since people should be able to use whichever jdk/jre they
want.
I propose depending on java6-runtime-headless, a virtual package
provided by default-jre-headless, openjdk-6-jre-headless, and
sun-java6-jre, and build-depending on java6-sdk, a virtual package
provided by default-jdk, openjdk-6-jdk, and sun-java6-jdk.
This bug was originally reported in Ubuntu, see launchpad at
https://bugs.launchpad.net/ubuntu/+source/sat4j/+bug/511303 where there
is also a proposed patch, which may have issues.
Ubuntu release team member Benjamin Drung believes that a package should
not build-depend on a virtual package, but wants to see what the Debian
maintainer thinks.
--- End Message ---
--- Begin Message ---
Source: sat4j
Source-Version: 2.1.1-3
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.1.1-3.debian.tar.gz
to main/s/sat4j/sat4j_2.1.1-3.debian.tar.gz
sat4j_2.1.1-3.dsc
to main/s/sat4j/sat4j_2.1.1-3.dsc
sat4j_2.1.1-3_all.deb
to main/s/sat4j/sat4j_2.1.1-3_all.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.
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: Tue, 13 Apr 2010 16:51:40 +0200
Source: sat4j
Binary: sat4j
Architecture: source all
Version: 2.1.1-3
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: 577479
Changes:
sat4j (2.1.1-3) unstable; urgency=low
.
* Bumped standards version to 3.8.4 (no changes)
* Use ${java:Depends} and javahelper to get proper dependencies (closes:
#577479)
Checksums-Sha1:
e27220ae2ca15dbbf8cfa077cc3c8f0d5b49b17e 1140 sat4j_2.1.1-3.dsc
e58abc44b7cbd2e1d3f2588e94672c33beaba13d 10488 sat4j_2.1.1-3.debian.tar.gz
364702f303a46979d6d1159ba53bd12c1c4871ca 246912 sat4j_2.1.1-3_all.deb
Checksums-Sha256:
151380d60016e08fdb148df8a741609e0851ee9a8d10023e6a3a7beaa280d3c8 1140
sat4j_2.1.1-3.dsc
ca808285d6e903000400a47bfe04b2649d865282ce57d605df9212934b4c7bca 10488
sat4j_2.1.1-3.debian.tar.gz
030f1ad117dabf0409d136602fe1c5c62e78f6eb8ef5027a611c07884546164c 246912
sat4j_2.1.1-3_all.deb
Files:
b1d305d785e5b4096276d3a1843145b2 1140 science optional sat4j_2.1.1-3.dsc
d3da69504a256eddb0cb2fccf5dea6d0 10488 science optional
sat4j_2.1.1-3.debian.tar.gz
15f1f5da00e1a4d56088481d73bc7758 246912 science optional sat4j_2.1.1-3_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkvErWUACgkQvx6dH3bVKsS5/ACgtoiFcONE5OWBK1R3dPpWP8Yb
j0sAniVHxD4/oDLQbTPRHzeU1WEHBd6/
=oWq7
-----END PGP SIGNATURE-----
--- End Message ---
