Your message dated Sun, 02 Nov 2008 12:47:06 +0000
with message-id <[EMAIL PROTECTED]>
and subject line Bug#503796: fixed in sat4j 2.0.4-1
has caused the Debian Bug report #503796,
regarding sat4j: java bytecode / java runtime version mismatch
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.)
--
503796: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=503796
Debian Bug Tracking System
Contact [EMAIL PROTECTED] with problems
--- Begin Message ---
Package: sat4j
Version: 2.0.2-1
Severity: serious
User: [EMAIL PROTECTED]
Usertags: jbc-mismatch
This package builds with openjdk-6 or cacao-oj6, which is not the
default jvm in testing/unstable. The openjdk-6 and cacao-oj6 javac
creates java bytecode for version 50, which cannot be used by older
jvms. Binary packages explicitely built with openjdk-6 or cacao-oj6
must not depend on java-runtime{,1,2,5}{,-headless}, but only on
java-runtime6{,-headless} or any of the non-virtual packages providing
a java6 runtime.
It is preferred to build the bytecode so that it runs on older jvms.
This is done passing '-source 1.[45]' to javac (or for cdbs ant tasks
setting ANT_OPTS to -Dant.build.javac.source=1.[45].
You usually can check for the java byte code with file(1), currently
broken in testing/unstable, or use javap -verbose (a script checking
the command line args (check-class-version) can be found at
http://people.debian.org/~doko/tmp/. Both .class and .jar files found
in the binary packages need to be checked.
Note: this report may be a false positive, if all bytecode files have
version 49 or less.
--- End Message ---
--- Begin Message ---
Source: sat4j
Source-Version: 2.0.4-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.4-1.diff.gz
to pool/main/s/sat4j/sat4j_2.0.4-1.diff.gz
sat4j_2.0.4-1.dsc
to pool/main/s/sat4j/sat4j_2.0.4-1.dsc
sat4j_2.0.4-1_all.deb
to pool/main/s/sat4j/sat4j_2.0.4-1_all.deb
sat4j_2.0.4.orig.tar.gz
to pool/main/s/sat4j/sat4j_2.0.4.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, 01 Nov 2008 16:38:35 +0000
Source: sat4j
Binary: sat4j
Architecture: source all
Version: 2.0.4-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: 494944 503796
Changes:
sat4j (2.0.4-1) unstable; urgency=low
.
* New upstream version (closes: #494944)
* Depend on proper java6 runtime (closes: #503796)
Checksums-Sha1:
145d64404190e5e849513abdfe911f2d20377a39 1121 sat4j_2.0.4-1.dsc
da8009ff348e09d156ceca2934438531a933c36a 13200366 sat4j_2.0.4.orig.tar.gz
046d7c64c8a80552a6fcefed8dd39e48dc56310d 10211 sat4j_2.0.4-1.diff.gz
6bdc37b392d9c0e9547efc26d844006b180217c3 258180 sat4j_2.0.4-1_all.deb
Checksums-Sha256:
2bd3d5df6201ae54736200f68c89a511821380e7596731e3cf620f846a1fe298 1121
sat4j_2.0.4-1.dsc
40f32b20d65cf56c5af461fcf90830c33d9b84c47aa7d855cae78f08304fa840 13200366
sat4j_2.0.4.orig.tar.gz
9982491b085bb8da7b95d0cc84dc5403fef4de897c2cb2fef365bc398e0b0ba7 10211
sat4j_2.0.4-1.diff.gz
9becb1cb7c244148d225e7f3c31c19a0db30feae42eef7efb4e43f03ea245c62 258180
sat4j_2.0.4-1_all.deb
Files:
6d752f4e74f1eed747bd1fc967169a6c 1121 science extra sat4j_2.0.4-1.dsc
c1d005ff4ab5d13458bcffa1e9889f98 13200366 science extra sat4j_2.0.4.orig.tar.gz
a8ae14ee015af2dce47d21cd34a96001 10211 science extra sat4j_2.0.4-1.diff.gz
8869eb9b56d0f65b976fac2af648ba43 258180 science extra sat4j_2.0.4-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkkNnscACgkQvx6dH3bVKsTuAgCdFUPkvGZ8YZG5UpPMeSirImYl
l6cAnAqkOX61hnmWu98+IEo0UjVGV5Py
=yojB
-----END PGP SIGNATURE-----
--- End Message ---
