-----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