Accepted clasp 2.0.4-1 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 29 Nov 2011 18:29:33 +0100
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 2.0.4-1
Distribution: unstable
Urgency: low
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Description:
clasp - conflict-driven nogood learning answer set solver
Changes:
clasp (2.0.4-1) unstable; urgency=low
.
* New upstream release.
* debian/rules: Override all standard targets.
* debian/patches/clasp-makefile.patch: Remove.
Checksums-Sha1:
086fc17da195a9e5b808f00d36cd89f4d9a690cb 1996 clasp_2.0.4-1.dsc
0018f2b2af0dd9614d7124e732f832895858185c 372088 clasp_2.0.4.orig.tar.gz
8bd7a789854d9d8c3bc737f1e3fec6e4b0cada1c 6054 clasp_2.0.4-1.debian.tar.gz
f757b97db0ddb49cf3dbedbfda3cce00e4daf681 373710 clasp_2.0.4-1_amd64.deb
Checksums-Sha256:
e52f043d3662e638988b64fa81d611ac4a5c26ba719dd8d614ee1026690a3ac9 1996 clasp_2.0.4-1.dsc
ae91263f6bb8a9e79e0dd33184d0307fb0aeda9341bddcbef57ac46d277768aa 372088 clasp_2.0.4.orig.tar.gz
c867ec4588c3cdf2d641a240af6d3ed7c2f3d771b2f73790f7324af76e61ed66 6054 clasp_2.0.4-1.debian.tar.gz
6a6e1c6b78e062e9192437db77bb882c599afd806094caccbc2c5d79f9fa5b6d 373710 clasp_2.0.4-1_amd64.deb
Files:
b4172d4b5d21ae8644d1be2cfeb289da 1996 interpreters extra clasp_2.0.4-1.dsc
25c42289636159e1261ae487e6bb8be9 372088 interpreters extra clasp_2.0.4.orig.tar.gz
20eba636b8e1403fba50d5c8e162c5d9 6054 interpreters extra clasp_2.0.4-1.debian.tar.gz
687efaf30cf949027ed3067a757384fa 373710 interpreters extra clasp_2.0.4-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCAAGBQJO1SJWAAoJECeX33SmZpqps7AP/A1ruyVkAaPUu2biCvEmfF79
/RxI6c8qp+FHK2hk1KJZarjI60RPLxr2BM6jCmc5WFcKpVxFKP2hFDSkB7xd5C9q
x5pAphAwVB1ArolPws4ZBg/sI2H0awTsp6yyn7AcXaoh11pl2yRiQzj4rCE4kskp
udlvhWxm77J6SeppD/FJbPvEMPGK76gP4770asyDSuMRsBCA2OUV6x505FlWVP+d
8wk5Bvi6EjslQxUl/GAE/RLdR3iZEAuOA4fRxGncjVSXjL0QAw5PW7djCWa72ZKa
0pr4gaSOJ+YtaJ2o7v3mToRdJ2weOl2eTE82tiirNxkA2s+rj8z3QxVfr0VZceWd
gNBuKymrxF8vO9zKnld9hJIclEe/0AO0jHSBaJbhSFlm1tW/x0z4FMGj++8XTmiK
K1TUY8mM9R8X65eXOdepzFuS338oLR9PziYllwa33W5sydQLsHBsaZSONLw4YLJG
1Ui3sIlr6t9CwCbM/EvwbepwmUTzgD90nyL5E9RcMxZwsb1v8fvVT/xa3mSBvBaA
/WJsGuH4SbUdmOHV1KKjV8L0zRRJenLNYEmb+TqihWQKR8LWV2w/DGWvRrU6hFZD
cUbaGzIiS+nm61K6/oPVgTEO2WtMebjtnQ0om9pfM68tyy+c1o1odCq06/IuaBl8
4rjH/Tl/5DgPvaW0nfcs
=LpQc
-----END PGP SIGNATURE-----
Accepted:
clasp_2.0.4-1.debian.tar.gz
to main/c/clasp/clasp_2.0.4-1.debian.tar.gz
clasp_2.0.4-1.dsc
to main/c/clasp/clasp_2.0.4-1.dsc
clasp_2.0.4-1_amd64.deb
to main/c/clasp/clasp_2.0.4-1_amd64.deb
clasp_2.0.4.orig.tar.gz
to main/c/clasp/clasp_2.0.4.orig.tar.gz
Reply to: