-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 10 May 2013 22:46:41 +0200 Source: aspcud Binary: aspcud Architecture: source amd64 Version: 2012.10.24-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 Changes: aspcud (2012.10.24-2) unstable; urgency=low . * upload to experimental Checksums-Sha1: a1e2dc273064f2f0d720024b6ab2b84441cc38b3 1318 aspcud_2012.10.24-2.dsc 2d773421ebf3873a1c0843da90680ea553aa66ee 4626 aspcud_2012.10.24-2.debian.tar.gz a9bf4a0e64a45f525a9968f76df04f511c6bf6d5 195140 aspcud_2012.10.24-2_amd64.deb Checksums-Sha256: a841a2fe03b22172898b02bee96d5282d5564c8b92984b3cfee666d9fdacd363 1318 aspcud_2012.10.24-2.dsc 41bd955bd0cbc4db38f7e16c9bc3049e6aabdb77d20b9e148ff43ff1d7052f9a 4626 aspcud_2012.10.24-2.debian.tar.gz fc25f9a5cc2de16232cea8273f827ee6a1fb21e88348a0019d170e864413d4d8 195140 aspcud_2012.10.24-2_amd64.deb Files: 10495e301b94d07c628a699883c425ee 1318 admin extra aspcud_2012.10.24-2.dsc 8e20f94476211962cff39c4b652b24a0 4626 admin extra aspcud_2012.10.24-2.debian.tar.gz f37e8048f28517b46855a6a0913733b9 195140 admin extra aspcud_2012.10.24-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAlGNYDMACgkQtzWmSeC6BMHC/gCgsdTjWavpV/j6BHFa/ExyoejU 6t8An3vP6aR7iXJ+8rSKPoz8ybSil2aQ =yNS3 -----END PGP SIGNATURE-----
