Accepted minisat2 1:2.2.1-1 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Tue, 29 Mar 2011 13:31:53 +0200
Source: minisat2
Binary: minisat minisat2
Architecture: source amd64
Version: 1:2.2.1-1
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description:
minisat - Fast and lightweight SAT solver
minisat2 - Transitional package for minisat
Changes:
minisat2 (1:2.2.1-1) unstable; urgency=low
.
* Upload of package with revamped build system to unstable.
* Rename main binary package to minisat, added transitional package.
* Use debhelper 7.
Checksums-Sha1:
0309a636797c215622a0b23e252c0ff3344fb466 1135 minisat2_2.2.1-1.dsc
38fc59a6a400127ae51e8fc7eb9cfd27e1b85d20 44229 minisat2_2.2.1.orig.tar.gz
bc63d0e8939ea3baee2d73d1f0f5cf84b648fa37 8315 minisat2_2.2.1-1.debian.tar.gz
6824eb82969c1af404795d33145ded3258f245fb 134840 minisat_2.2.1-1_amd64.deb
c34a32110e200369167d0cedcdd23e22d9d7b356 4948 minisat2_2.2.1-1_amd64.deb
Checksums-Sha256:
e8bc7d1d3316ee71f8d7d31accad42f0c6f52b694bc7228afc33f19b19fe90a9 1135 minisat2_2.2.1-1.dsc
e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40 44229 minisat2_2.2.1.orig.tar.gz
9bb792a01c2cf32209c0016649bb038df2775075cdd8f648e492382056141c59 8315 minisat2_2.2.1-1.debian.tar.gz
8d30670162e64db9f94814458cebb85471179c315549ad87585e2a9d9c9ec9e3 134840 minisat_2.2.1-1_amd64.deb
281d83a45d3dc354a82f286f77aa45b1088ed70dbbfdb7ae9d71ac11920b8485 4948 minisat2_2.2.1-1_amd64.deb
Files:
d7997ea4856002286a3a89e85cc66217 1135 science extra minisat2_2.2.1-1.dsc
27faa19ee0508660bd6fb7f894646d42 44229 science extra minisat2_2.2.1.orig.tar.gz
e2248af3efa01b98a3ec1663ebc9dfaa 8315 science extra minisat2_2.2.1-1.debian.tar.gz
190b2167f0530afaeaaa374463d71e49 134840 science extra minisat_2.2.1-1_amd64.deb
4aec9cc89242b8e956e76ca0c89dbf0b 4948 science extra minisat2_2.2.1-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk2Rya0ACgkQvx6dH3bVKsSJVgCgof0j195+0hksl4GF77/k6Q6E
0wAAmwecyhcMxlk608A/NMNls4e+j39r
=DPA5
-----END PGP SIGNATURE-----
Accepted:
minisat2_2.2.1-1.debian.tar.gz
to main/m/minisat2/minisat2_2.2.1-1.debian.tar.gz
minisat2_2.2.1-1.dsc
to main/m/minisat2/minisat2_2.2.1-1.dsc
minisat2_2.2.1-1_amd64.deb
to main/m/minisat2/minisat2_2.2.1-1_amd64.deb
minisat2_2.2.1.orig.tar.gz
to main/m/minisat2/minisat2_2.2.1.orig.tar.gz
minisat_2.2.1-1_amd64.deb
to main/m/minisat2/minisat_2.2.1-1_amd64.deb