Accepted aspcud 1:1.9.1-2 (source amd64) into unstable
-----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 <treinen@debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
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-----