-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Thu, 12 May 2011 22:13:24 +0200 Source: minisat+ Binary: minisat+ Architecture: source amd64 Version: 1.0-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers <debian-science-maintain...@lists.alioth.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: minisat+ - solver for pseudo-Boolean constraints Closes: 626410 Changes: minisat+ (1.0-1) unstable; urgency=low . * Initial package (closes: Bug#626410) Checksums-Sha1: 360fdb4cc3703d00f3f4db6916665b2250b4d195 1262 minisat+_1.0-1.dsc 64205f7144157469839994295b95ec9761466f85 79990 minisat+_1.0.orig.tar.gz a3fd8039175c4a67ec023ff5126974394bae923e 2998 minisat+_1.0-1.debian.tar.gz 92d256d720ebc52131c170bc6d06e228a0016abf 180292 minisat+_1.0-1_amd64.deb Checksums-Sha256: c10720c6bf3fe57bb44d2e5bfa76edfd9867dc7e5b4b3b07ecf3361db8f315a9 1262 minisat+_1.0-1.dsc f81e8dd76de9d2219e4b555f65354be2f8582f4575b5cc5b5bf34b71f1bd7f4b 79990 minisat+_1.0.orig.tar.gz 0be64c925e01870cc2a90bef5ea1c0bfd8ca15c30de0674a0c16d83cf53344a9 2998 minisat+_1.0-1.debian.tar.gz 9bf903adef6bc63e9bbe96c1059bdd93f1a8d8cbf5226cd1f01cf2860173089e 180292 minisat+_1.0-1_amd64.deb Files: 1b5fe835e050f76ad08bb934fe8fb2ec 1262 science extra minisat+_1.0-1.dsc a5910ef8bea269632eff74b54f07010d 79990 science extra minisat+_1.0.orig.tar.gz 700f037722fbbd9136b893e1cedc97b2 2998 science extra minisat+_1.0-1.debian.tar.gz 18a514df6679d15304e7c30431f32f93 180292 science extra minisat+_1.0-1_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAk3MQmEACgkQtzWmSeC6BMF5owCeLImxQtzMoiGPAUW+2uq5iViP X1QAn29Nb1kiqtM0Qapo25Jbu3UorgS5 =ifnM -----END PGP SIGNATURE----- Accepted: minisat+_1.0-1.debian.tar.gz to main/m/minisat+/minisat+_1.0-1.debian.tar.gz minisat+_1.0-1.dsc to main/m/minisat+/minisat+_1.0-1.dsc minisat+_1.0-1_amd64.deb to main/m/minisat+/minisat+_1.0-1_amd64.deb minisat+_1.0.orig.tar.gz to main/m/minisat+/minisat+_1.0.orig.tar.gz -- 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/e1qldyb-0003fe...@franck.debian.org