Your message dated Wed, 17 Jun 2015 18:49:13 +0000
with message-id <[email protected]>
and subject line Bug#780899: fixed in aspcud 1:1.9.1-2
has caused the Debian Bug report #780899,
regarding aspcud should warn or fail if cudf field in optimization criterea
does not exist
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.)
--
780899: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=780899
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: aspcud
Version: 1:1.9.0-2
Severity: normal
Hi,
currently, if aspcud is given an optimization criteria like
"-sum(solution,blubber)" it will happily return a solution even if the
field "blubber" does not exist.
Instead, it should indicate that the optimization criteria is invalid.
Context: I only discovered after three years that I had a typo in an
optimization criteria in botch where I wrote "isource" instead of
"issource".
Thanks!
cheers, josch
--- End Message ---
--- Begin Message ---
Source: aspcud
Source-Version: 1:1.9.1-2
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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ralf Treinen <[email protected]> (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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 17 Jun 2015 20:27:04 +0200
Source: aspcud
Binary: aspcud
Architecture: source amd64
Version: 1:1.9.1-2
Distribution: unstable
Urgency: low
Maintainer: Ralf Treinen <[email protected]>
Changed-By: Ralf Treinen <[email protected]>
Description:
aspcud - CUDF solver based on Answer Set Programming
Closes: 780899
Changes:
aspcud (1:1.9.1-2) unstable; urgency=low
.
* Patch check-criteria: check whether field names used in optimisation
criteria are default fields, or declared in the preamble of the cudf
document. Thanks to Roland Kaminski for the patch! (closes: #780899)
Checksums-Sha1:
bc7a854e4c604098ad77eed35071eef64afb2f08 1890 aspcud_1.9.1-2.dsc
cdf19c11bcc606b50ba1179087023ce97e4883a4 5692 aspcud_1.9.1-2.debian.tar.xz
a462aad028aabec9485a316801e250cabed264df 147504 aspcud_1.9.1-2_amd64.deb
Checksums-Sha256:
2dfc89f697f7b9ed5de39953691b19f0d8ae072a730a14abc1b96ff0494e80e9 1890
aspcud_1.9.1-2.dsc
6bcd99b97a6a7a57f8d7eb4d11048abcd3a310e95cbf819c2d30bb31d29678de 5692
aspcud_1.9.1-2.debian.tar.xz
9c87e70c9b89ba137c70e378cf8f2ef67305f3446064b4b95893c6029950c936 147504
aspcud_1.9.1-2_amd64.deb
Files:
e84e01572dc1673df7efa3403c1d89f7 1890 admin extra aspcud_1.9.1-2.dsc
6a85f50c0299fa27c9c1d4c1e6992c37 5692 admin extra aspcud_1.9.1-2.debian.tar.xz
96defbe8cc12b2f1109b00cbfd91a33c 147504 admin extra aspcud_1.9.1-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJVgb+wAAoJEHRcR2bUys3/2FgP+QHjwzozGmu1uJmrXFQIRC23
J2y8KsEj0WzpJACj6T8WQ2TwhMHFIHIU/11qZiTmuwF4DXYyL3vq8UqIJaFTC0My
n7QtCRfs29B8bEUVm67FV/jkZ5rFZ3Qv79XmmjWhw8nzOIZ52AE5RNO+iU/hLVsE
0WrdPiTl25uEIUBb3KHpnI4pmevdPcgKyyvddk3TXhuq9KMQs0rEukvD+yEHePjM
3VqO0VDM20CfZLfhigSlA8F1DFSblZyAl253UNMRQFWRJgR7Ipy/leN8JbO4PCyV
gS28VHIqslHnR3sE+d82rcGfM477qj9vGwAQeJTouqL6QsOiifJB1ETLmHlCcL1G
JVK4PgMc15y0uJoOOp075hefH4dZiO4RIrJf/XVlDtSDAoKD6885y/E7CtXkh53H
1bRqpy8lATRQUaBI45nzADrsHF3ml6z279/qY/uIKNHZX/SKh3rfECGmdDIXS5vB
dHcDmSW26zcCE8fZr70RI28HabL1w1I5NxmCk8lC6N+mwycId8nRRi6Kuzf4IbFi
M1ppnC5iedcTTS5kGLLfOa/HyC3TrcaCvinb9AstEcvYcp6a01VLEbNklqHiyqlI
jUxwfqsnM1eSqz4BOXpfpwrlcGDqcLvEh2ExlUrXuxFftGsGy6AB/xafZfBDWDgy
zIZ/DOAUNj+SEbEQgTUP
=I6Yg
-----END PGP SIGNATURE-----
--- End Message ---
