Your message dated Mon, 16 Aug 2010 11:17:12 +0000
with message-id <e1okxgm-00022y...@franck.debian.org>
and subject line Bug#592181: fixed in sat4j 2.2.0-3
has caused the Debian Bug report #592181,
regarding sat4j: Possibly breaks eclipse-platform without declaring it
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 ow...@bugs.debian.org
immediately.)
--
592181: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=592181
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: sat4j
Version: 2.2.0-2
Severity: serious
Hi Michael Tautschnig, Release people and Java people.
In light of #587657, I have decided to file an RC bug against sat4j to prevent
it from migrating to testing and quite possibly breaking eclipse-platform in
testing.
I strongly suspect that eclipse is quite frankly unable to deal with OSGi
bundles
(jar files with OSGi metadata in their manifests) changing their
"Bundle-Version"
entry if they are listed in the bundles.info file that eclipse uses to register
some of these bundles (sat4j being one of them).
#587657 started out being a problem with jetty (that bumped its version in a
recent upload) for some users; after jetty migrated to testing it was silent
for a short while. Shortly after the sat4j upload we got a new report of
eclipse acting up and sat4j appears to have changed its Bundle-Version in the
2.2.0-2 version currently available in unstable.
I am currently having the person test if reverting sat4j to the 2.2.0-1 in
testing (and correcting the bundles.info which gets messed up) solves the
issue. I will get back to you when I have more information on that.
If my speculation turns out to be true, then we have a general issue with
eclipse
that needs to be solved. It is simply too error-prone to rely on maintainers to
remember to bump their "Breaks: eclipse-$part ($version)" every time they update
their package and have us to a Source upload to bump (Build-)Depends.
"Luckily" most of the Java Team maintained packages have the OSGi metadata
hard-cored and will have to be updated manually, so at the current time these
packages should not break eclipse (provided people just leave it alone for
now).
I suspect we can solve this by using file-triggers and a script to manually
update
bundles.info, but it is not something I can promise to get done and have well
testing
for Squeeze, so I would much rather just do one more upload of eclipse 3.5.2,
bumping
the (Build-)Depends for Squeeze and then work on this script for Squeeze + 1.
Obviously I would need a freeze exception for eclipse and I will file that
separated when we have verified the issue and prepared the issue.
I would like to apologize in advance if my assertions turn out to be incorrect
and
the issue turn out to be unrelated to sat4j and eclipse. I decided to take the
"rather
safe than sorry" approach to possibly breaking eclipse in testing. As I am
returning
from DebConf10 tomorrow, I may be slow to reply in the next few days.
~Niels
-- System Information:
Debian Release: squeeze/sid
APT prefers testing
APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: i386 (i686)
Kernel: Linux 2.6.32-trunk-686 (SMP w/2 CPU cores)
Locale: LANG=en_DK.UTF-8, LC_CTYPE=en_DK.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages sat4j depends on:
ii default-jre [java6-runtime] 1.6-38 Standard Java or Java compatible R
ii jarwrapper 0.31 Run executable Java .jar files
ii openjdk-6-jre [java6-runtim 6b18-1.8.1-1 OpenJDK Java runtime, using Hotspo
ii sun-java6-jre [java6-runtim 6.20-dlj-4 Sun Java(TM) Runtime Environment (
sat4j recommends no packages.
sat4j suggests no packages.
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: sat4j
Source-Version: 2.2.0-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.2.0-3.debian.tar.gz
to main/s/sat4j/sat4j_2.2.0-3.debian.tar.gz
sat4j_2.2.0-3.dsc
to main/s/sat4j/sat4j_2.2.0-3.dsc
sat4j_2.2.0-3_all.deb
to main/s/sat4j/sat4j_2.2.0-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 592...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Michael Tautschnig <m...@debian.org> (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 ftpmas...@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Mon, 16 Aug 2010 12:43:47 +0200
Source: sat4j
Binary: sat4j
Architecture: source all
Version: 2.2.0-3
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <m...@debian.org>
Changed-By: Michael Tautschnig <m...@debian.org>
Description:
sat4j - Efficient library of SAT solvers in Java
Closes: 592181
Changes:
sat4j (2.2.0-3) unstable; urgency=low
.
* Replace BUILD_DATE property by fixed string "SQUEEZE" to make eclipse
happy, changed Breaks to eclipse (<= 3.5.2-5) (closes: #592181)
Checksums-Sha1:
7c7f95463c167f4a353895ad4f3d4964d5906e75 1140 sat4j_2.2.0-3.dsc
64a245c3f9e46a06e2ba5c2baec5719322a806ff 11189 sat4j_2.2.0-3.debian.tar.gz
dd5709281553ad74fc58ab675023b82b8bd99470 522792 sat4j_2.2.0-3_all.deb
Checksums-Sha256:
f546113467cbce135cbf7ffffba6084bc79323c3cce7dcbeb05cf43fb1b7cfe6 1140
sat4j_2.2.0-3.dsc
cc9cd8789f5356aca54fa0c53b0769708f7907ce6856ec10e9fabcfaf59462ef 11189
sat4j_2.2.0-3.debian.tar.gz
6099884508d70dc9d7727678bcf192666157fb6a30ecd620a06837e6010651d6 522792
sat4j_2.2.0-3_all.deb
Files:
74948e65299114d9dd8ca640343795ed 1140 science optional sat4j_2.2.0-3.dsc
2221faf19bf9415936a83ddb8bf75878 11189 science optional
sat4j_2.2.0-3.debian.tar.gz
366f9f4481d4d7a005f3a7fc73dce9b7 522792 science optional sat4j_2.2.0-3_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkxpHKgACgkQvx6dH3bVKsTYJwCgsV+j8v5B7x+c9CBA8TSnfMUt
waQAn0kqtPIfESCal5cUwWX33jzLjEwK
=iYF4
-----END PGP SIGNATURE-----
--- End Message ---
