Back to minisat2 PTS page

Accepted minisat2 070721-4 (source s390)

To: debian-devel-changes@lists.debian.org
Subject: Accepted minisat2 070721-4 (source s390)
From: Michael Tautschnig <mt@debian.org>
Date: Sun, 07 Sep 2008 18:17:05 +0000
Message-id: <E1KcOor-00071n-Lk@ries.debian.org>
Sender: Archive Administrator <dak@ftp-master.debian.org>

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Sun, 07 Sep 2008 19:32:20 +0200
Source: minisat2
Binary: minisat2
Architecture: source s390
Version: 070721-4
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description: 
 minisat2   - Fast and lightweight SAT solver
Changes: 
 minisat2 (070721-4) unstable; urgency=low
 .
   * Added David A. Wheeler's nice intro to SAT solving
Checksums-Sha1: 
 56aa2c89c7dcb742eadb1e222e2bb069fde891ad 964 minisat2_070721-4.dsc
 149acf387ae311cdc09593a91b357d1fa366437f 7246 minisat2_070721-4.diff.gz
 f7fe77cc8e3e4ce4f0df5fdeed390d08d7049221 41978 minisat2_070721-4_s390.deb
Checksums-Sha256: 
 1c522143bfaba1e4c4cc8d0fca007a0771936bf90b881a29b392c6c980e02c08 964 minisat2_070721-4.dsc
 fda2852b92600886fa2dabfaab24e84f8422ee3310870882b622b94d2936abe7 7246 minisat2_070721-4.diff.gz
 a29749727fe58204029352381b43dfdf494f09162e9d8176758d73ca06212412 41978 minisat2_070721-4_s390.deb
Files: 
 073bdcaeab0ab72d7e44a880a2e8b80c 964 science extra minisat2_070721-4.dsc
 342c40f9cb2fabb373c49d4237d97f54 7246 science extra minisat2_070721-4.diff.gz
 2d285069ee3692fe4fcb1e62c0ba4bbc 41978 science extra minisat2_070721-4_s390.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iEYEARECAAYFAkjEF6kACgkQvx6dH3bVKsQkuACgq5ocxTkXXx3bM8FUPC9+/uY5
ZHgAn3MsKSbD7gxQtDLQE+fEjb4IQuh8
=C1kN
-----END PGP SIGNATURE-----


Accepted:
minisat2_070721-4.diff.gz
  to pool/main/m/minisat2/minisat2_070721-4.diff.gz
minisat2_070721-4.dsc
  to pool/main/m/minisat2/minisat2_070721-4.dsc
minisat2_070721-4_s390.deb
  to pool/main/m/minisat2/minisat2_070721-4_s390.deb