Bug#623601: marked as done (ITP: aspcud -- a solver for CUDF instances based on answer set programming)
Your message dated Sun, 24 Apr 2011 22:47:07 +0000
with message-id <E1QE855-0003V9-Hb@franck.debian.org>
and subject line Bug#623601: fixed in aspcud 2011.03.17.dfsg-1
has caused the Debian Bug report #623601,
regarding ITP: aspcud -- a solver for CUDF instances based on answer set programming
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 owner@bugs.debian.org
immediately.)
--
623601: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=623601
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Ralf Treinen <treinen@debian.org>
* Package name : aspcud
Version : 2011.03.17
Upstream Author : Roland Kaminski <kaminski@cs.uni-potsdam.de>
* URL : http://www.cs.uni-potsdam.de/wv/aspcud/
* License : GPL3+
Programming Lang: C++
Description : a CUDF solver based on answer set programming
Aspcud is a solver for package dependencies. A package universe and a
request to install, remove or upgrade packages have to be encoded in
CUDF, a distribution-independent format for expressing inter-package
relationships. Aspcud returns a solution in the same format.
--- End Message ---
--- Begin Message ---
Source: aspcud
Source-Version: 2011.03.17.dfsg-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:
aspcud_2011.03.17.dfsg-1.debian.tar.gz
to main/a/aspcud/aspcud_2011.03.17.dfsg-1.debian.tar.gz
aspcud_2011.03.17.dfsg-1.dsc
to main/a/aspcud/aspcud_2011.03.17.dfsg-1.dsc
aspcud_2011.03.17.dfsg-1_amd64.deb
to main/a/aspcud/aspcud_2011.03.17.dfsg-1_amd64.deb
aspcud_2011.03.17.dfsg.orig.tar.gz
to main/a/aspcud/aspcud_2011.03.17.dfsg.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 623601@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ralf Treinen <treinen@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 ftpmaster@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 24 Apr 2011 17:28:26 +0200
Source: aspcud
Binary: aspcud
Architecture: source amd64
Version: 2011.03.17.dfsg-1
Distribution: unstable
Urgency: low
Maintainer: Ralf Treinen <treinen@debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
aspcud - CUDF solver based on Answer Set Programming
Closes: 623601
Changes:
aspcud (2011.03.17.dfsg-1) unstable; urgency=low
.
* Intial upload (closes: #623601)
Checksums-Sha1:
fe033aaedfc518bc0b789d1ecbe3dcf24d4bf260 1311 aspcud_2011.03.17.dfsg-1.dsc
8b8d4bed97d2713ebc33b4887d8469857dae8e6c 88016 aspcud_2011.03.17.dfsg.orig.tar.gz
fa5e05c4834cf50ec498d8188c4702774e27c7ab 3738 aspcud_2011.03.17.dfsg-1.debian.tar.gz
cb968a03d2a0955edb37a0132a6a324c79bc1a5e 127040 aspcud_2011.03.17.dfsg-1_amd64.deb
Checksums-Sha256:
c69abc1f84a6da99afddbfa709150b6719653e0b102be2c3e2cb5499847da4ba 1311 aspcud_2011.03.17.dfsg-1.dsc
f33f3c364af8fcd040756007342313af572eb59371600b0c426ebe560eeb540d 88016 aspcud_2011.03.17.dfsg.orig.tar.gz
076803d31462f84682d1ab2e1ef5c194b96c92920ea332d6c021ec2a5cb0611e 3738 aspcud_2011.03.17.dfsg-1.debian.tar.gz
bc8a3ed2452f22c748306e53d0a29436f2ccc61b856243693bfd9694cd0b1f60 127040 aspcud_2011.03.17.dfsg-1_amd64.deb
Files:
ed787ceb69ae9d3e69999b65ebd4205c 1311 admin extra aspcud_2011.03.17.dfsg-1.dsc
b8d0572587ad2537e7bfec540510ad10 88016 admin extra aspcud_2011.03.17.dfsg.orig.tar.gz
15113f3fa763f6e4a07ce7df3b852e04 3738 admin extra aspcud_2011.03.17.dfsg-1.debian.tar.gz
9bafc7bed4befe9d23a26a1dafaca3a5 127040 admin extra aspcud_2011.03.17.dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk20REUACgkQtzWmSeC6BMH0PwCePtUQQKwNWoyfg9Z+a3hCNyDM
A6sAoJL4DsbfFhwIG4blI6ndDx4plDPH
=djo1
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: