-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 16 Feb 2014 11:19:35 +0100 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.0.0-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers <debian-science-maintain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (3.0.0-1) unstable; urgency=low . * New upstream release. * debian/rules: Call configure.sh without --with-claspre. Checksums-Sha1: 4ab3de70d363fc5c805b02d2296f21b16664c0c2 1975 clasp_3.0.0-1.dsc a45a1ca97e3274eed8228d9d38782b20ffc736c4 467475 clasp_3.0.0.orig.tar.gz 21670893a2b0ff8893f9740bfbf5068fb14d65fc 6128 clasp_3.0.0-1.debian.tar.xz 17590159bdc903e6a0a43de30c5bdd6a7518fe64 418268 clasp_3.0.0-1_amd64.deb Checksums-Sha256: b899959d6d5b9fdd6bf69a8a80947bcece6a9c2e76a1ebcb53c0f4013e965b47 1975 clasp_3.0.0-1.dsc d55eb71b39f7972855559c7c273ae93f22dd50df356669936e2cd5bdb0ea543a 467475 clasp_3.0.0.orig.tar.gz a9bfc410b8ef6ae19d88f228ee3593656409aead865a3d3aa6d3dbea8d992c7a 6128 clasp_3.0.0-1.debian.tar.xz f1232223665e0ae42927f1f0876c5806e7e396f7d56a7e20587b0218ab7329de 418268 clasp_3.0.0-1_amd64.deb Files: 03669067b61fd36a88bd224ec6f28722 1975 interpreters extra clasp_3.0.0-1.dsc ddfcb818b6f200c2218cac73e0860f7c 467475 interpreters extra clasp_3.0.0.orig.tar.gz 4dd1995ad4980c73518928a984d205cb 6128 interpreters extra clasp_3.0.0-1.debian.tar.xz 2de9237e073932656b85b0f3aef3b07c 418268 interpreters extra clasp_3.0.0-1_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJTAJEvAAoJECeX33SmZpqpA9IP/04n1LI1xzDhw9T2UQCSLFAA wOmXX+sutSfH263nz/qzzWtjrraS/UebmruG6g3kyxsjfLoGcXhg6HWoIdcYRELZ r1UazBULSTjO4TQSFKWgQyQcxFEqPExfZxLbG2XcFPgVWnb1aPn+8xUvu7PADnYk ea8jDOReeGKgCxQVW2qwXxTaWPNuE0AYsqA7xR+cYbxo39v+o2w9znSUjToNWEc/ G4zo1qJTscLG+AoMqyb7LSUlXU3wm6qsOo/wf1iFlVzGvwZVv9g03xV2y0IF9/ob SUDzi1ji53U/vnmg0I8W7kECSaDsAXFk9DEjSLcyLYJptU/lqCMbgTulgbW9Cdlt 66pXmsWRUfRxm6vQfNmPDMXB58+7qb62kwVNzgA0FgdLZq01JLhFHslM0Qvw4sJT IVq8KJNXeqGjzFAbdmoRehgj6m2GMTD9ZNpuEE/sdNSRWGC6kTmtnQ2hUoUhe1X9 HNeHAJnNb92y027ZRe+r+V6O2EUZ7Cigelhh+4qohwd+cXJRQp1qpHWQJAgAnXI4 kffnb204vqOpQAqz0tLoALDPgQPsWvu5R/PIurGvbNNY68xZv9FWHYIM/v7WByT1 dltDx1+FHcvMV0PepLvhpsikFI/y3INlljLXZ/YqUeuAFSn6UPMLUZHc+ZwnWQ9F ffHZshpkqq0XBK4cGur4 =s60V -----END PGP SIGNATURE----- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1wez2q-0002kv...@franck.debian.org