Accepted minisat+ 1.0-1 (source amd64)
-----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-maintainers@lists.alioth.debian.org>
Changed-By: Ralf Treinen <treinen@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