Your message dated Sat, 11 Jan 2014 09:18:54 +0000
with message-id <e1w1uiu-0003cl...@franck.debian.org>
and subject line Bug#733494: fixed in aspcud 1:1.8.0-1
has caused the Debian Bug report #733494,
regarding aspcud: installable in testing but not in sid
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.)
--
733494: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=733494
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: apt-cudf
Version: 3.1.3-7
Severity: normal
Dear maintainer,
I have used apt-cudf happily for a while now, but recently it started to show
the following behaviour:
$ sudo apt-get --solver aspcud dist-upgrade
Reading package lists... Done
Building dependency tree
Reading state information... Done
Fatal error: exception OptParse.Opt.No_value
Execute external solver... Done
Done
Fatal error: exception OptParse.Opt.No_value
Execute external solver... Done
The following packages have been kept back:
aspcud automake cups-filters e2fslibs e2fsprogs fonts-inconsolata gringo
icedtea-6-jre-cacao icedtea-6-jre-jamvm libcomerr2 libcomerr2:i386
libestr0 libfontconfig1 libfontconfig1:i386 libfontconfig1-dev
libfreetype6-dev libpodofo0.9.0 librdf0 libss2 openjdk-6-jdk openjdk-6-jre
openjdk-6-jre-headless openjdk-6-jre-lib
0 upgraded, 0 newly installed, 0 to remove and 23 not upgraded.
In particular the OptParse.Opt.No_value exception seems to be problematic and
also seem to prevent aspcud from calculating a proper solution. I include some
additional information as the problem might be related to this:
$ cat /etc/apt/preferences
Explanation: Pinned by apt-listbugs at 2013-12-08 10:44:04 +0000
Explanation: #730361: fontconfig-config: unowned files after purge (policy
6.8, 10.8): /etc/fonts/conf.d/70-no-bitmaps.conf ->
/usr/share/fontconfig/conf.avail/70-no-bitmaps.conf
Package: fontconfig-config
Pin: version 2.11.0-1
Pin-Priority: 1000
Explanation: Pinned by apt-listbugs at 2013-12-08 10:44:04 +0000
Explanation: #711343: PILCompat is broken
Package: python-imaging
Pin: version 1.1.7-4
Pin-Priority: 1000
Explanation: Pinned by apt-listbugs at 2013-12-08 10:44:04 +0000
Explanation: #730742: Font rendering fuzzy (straight lines smeared across
subpixels) since upgrade to 2.5.1
Package: libfreetype6:i386
Pin: version 2.4.9-1.1
Pin-Priority: 1000
Explanation: Pinned by apt-listbugs at 2013-12-08 10:44:04 +0000
Explanation: #730742: Font rendering fuzzy (straight lines smeared across
subpixels) since upgrade to 2.5.1
Package: libfreetype6
Pin: version 2.4.9-1.1
Pin-Priority: 1000
Explanation: Pinned by apt-listbugs at 2013-12-08 10:44:04 +0000
Explanation: #730599: makeinfo -D 'var value' doesn't work
Package: texinfo
Pin: version 5.2.0.dfsg.1-1
Pin-Priority: 1000
Explanation: Pinned by apt-listbugs at 2013-12-08 10:44:04 +0000
Explanation: #728440: python-pil has circular Depends on python-pil.imagetk
Package: python-pil
Pin: version *
Pin-Priority: -30000
Explanation: Pinned by apt-listbugs at 2013-12-08 10:44:04 +0000
Explanation: #731040: python-nose fails to install on sid
Package: python-nose
Pin: version 1.3.0-2
Pin-Priority: 1000
$ aptitude search ~U -F'%v%p'
2012.10.24-5 aspcud
1:1.14.1-1 automake
1.0.34-3+b1 cups-filters
1.42.8-1 e2fslibs
1.42.8-1 e2fsprogs
001.010-4 fonts-inconsolata
4.2.1-2 gringo
6b27-1.12.7-2 icedtea-6-jre-cacao
6b27-1.12.7-2 icedtea-6-jre-jamvm
1.42.8-1 libcomerr2
1.42.8-1 libcomerr2:i386
0.1.5-2 libestr0
2.11.0-1 libfontconfig1
2.11.0-1 libfontconfig1:i386
2.11.0-1 libfontconfig1-dev
2.4.9-1.1 libfreetype6-dev
0.9.0-1.1+b1 libpodofo0.9.0
1.0.16-3 librdf0
1.42.8-1 libss2
6b27-1.12.7-2 openjdk-6-jdk
6b27-1.12.7-2 openjdk-6-jre
6b27-1.12.7-2 openjdk-6-jre-headless
6b27-1.12.7-2 openjdk-6-jre-lib
Please let me know if you require additional information or how I can debug
this problem further.
-- System Information:
Debian Release: jessie/sid
APT prefers unstable
APT policy: (500, 'unstable'), (500, 'testing'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 3.11-2-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_GB.utf-8, LC_CTYPE=en_GB.utf-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages apt-cudf depends on:
ii aspcud [cudf-solver] 2012.10.24-5
ii libbz2-1.0 1.0.6-5
ii libc6 2.17-97
ii libpcre3 1:8.31-2
ii perl 5.18.1-5
ii zlib1g 1:1.2.8.dfsg-1
apt-cudf recommends no packages.
apt-cudf suggests no packages.
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: aspcud
Source-Version: 1:1.8.0-1
We believe that the bug you reported is fixed in the latest version of
aspcud, which is due to be installed in the Debian FTP archive.
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 733...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ralf Treinen <trei...@debian.org> (supplier of updated aspcud 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...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sat, 11 Jan 2014 09:13:51 +0100
Source: aspcud
Binary: aspcud
Architecture: source amd64
Version: 1:1.8.0-1
Distribution: unstable
Urgency: low
Maintainer: Ralf Treinen <trei...@debian.org>
Changed-By: Ralf Treinen <trei...@debian.org>
Description:
aspcud - CUDF solver based on Answer Set Programming
Closes: 733494
Changes:
aspcud (1:1.8.0-1) unstable; urgency=low
.
* New upstream release. This version runs with gringo 4 (closes: #733494)
* debian/control: add XS-Testsuite.
* Adapt patches to new upstream: pathes, add-trendy-criterion.
* bump dependency on gringo to >= 4
* restrict dependency on clasp to << 3.
* put test cases from version 2012.10.24 into debian/tests/cudf and
modify debian/tests/upstream accordingly since this upstream release
does not contain any test cases.
Checksums-Sha1:
14fc1323a5b9dcc8a6ccd020caf6e63b19604a17 1887 aspcud_1.8.0-1.dsc
8e05dca2bcf3a388a985317b71f2fcd5586351f7 96121 aspcud_1.8.0.orig.tar.gz
927613756402b36f50fa9327cf8b248bac3c8deb 6215 aspcud_1.8.0-1.debian.tar.gz
b7d97e0bf754be26c2aa08eafda9a587d1f6761b 145304 aspcud_1.8.0-1_amd64.deb
Checksums-Sha256:
0726c7e1f26ef12c2fa6c2ce9ccec01c9fc8de552c83538d3599762947dce558 1887
aspcud_1.8.0-1.dsc
491c42a8e769c6d244f106021df4c61344b53c5e133837b0589b4d384bf9d17b 96121
aspcud_1.8.0.orig.tar.gz
098b2e98d31672e1e0fd8732e519a97f807d69e0c2e7bc8d7f82fe174c737fb6 6215
aspcud_1.8.0-1.debian.tar.gz
6bfe511da612cc547878dab42ed0c905b001974e126536428799db8ddfd0322a 145304
aspcud_1.8.0-1_amd64.deb
Files:
88b37c45ccd41d2fca33a42ccd77afff 1887 admin extra aspcud_1.8.0-1.dsc
010170681147006214cb777d76a5fc68 96121 admin extra aspcud_1.8.0.orig.tar.gz
ebf8e57e0a4c831a76ab5a440507eeb9 6215 admin extra aspcud_1.8.0-1.debian.tar.gz
9f324bf1a23523de00dc9cc60e790a96 145304 admin extra aspcud_1.8.0-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)
iQIcBAEBCAAGBQJS0QKYAAoJEHRcR2bUys3/XdIQAI0O9N0WwAqpr+uC33aW+pWy
+WtUH8pvLNUAJZ/8Hy9pMfd9hETmZj71kLcGMvatfR95/18NtdQlwFkmRq2sdiwj
2cCqR6nWXsRVO3vXi4R5STOzEP+grzSmUMrIIJwDlM73NXmAAK2eDEZZrwH1oRry
nKm7WVN1oN3In3g9vHIyWN1nvq67fKQhaCsYr8+u5iM7ap1n5VJu2thKjID+vm39
7YIjGhcH2FxG/9WSOquSu0e4psKdyabEkZ5X4KMsDHiF6xJEkohxCT6aHyflCULF
Ep8Dplk/twiRnnkeHGIK7eR/jNmuIGCcMkeC5ci1xs8znHZRBasVchJp5y9r1iB+
s505+SnZH1PGZbq+Qzq2QIQCXQwGGUZDIBuIbnUJyFMy3QBIalBzRGZgidXhrxnh
ONIOPzTR5lmm0V1wXrwPzEaIfQ1oHoxCRCiawGPz+EKeXQ2sVFX6YnNYVYDO1gA+
SmCKTP2tAl9tUAYRmgrkBLZDsceeLxIQ4efyIk3+uOskuJnDMrEseRXuv9ng6LGu
4Ot66zgULPASaucUappOfXwLZGdA2Q6CYC92nX/n3ymrWGRthgLIMOKSemOWqZ6z
hoOjnydYD5ViolM21vonMRUf+dpO+fzZETjBCG4fQnVcdLrNK46DDIEmId65O+rk
+JVeZzdghjkooNQQ2+z9
=tZoM
-----END PGP SIGNATURE-----
--- End Message ---
