Back to minisat2 PTS page

Accepted minisat2 1:2.2.1-3 (source i386)

To: debian-devel-changes@lists.debian.org
Subject: Accepted minisat2 1:2.2.1-3 (source i386)
From: Michael Tautschnig <mt@debian.org>
Date: Sat, 03 Sep 2011 23:34:43 +0000
Mail-followup-to: debian-devel@lists.debian.org
Message-id: <E1QzzjX-00063X-Kh@franck.debian.org>
Reply-to: debian-devel@lists.debian.org
Sender: Archive Administrator <dak@franck.debian.org>

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

Format: 1.8
Date: Sat, 03 Sep 2011 21:03:43 +0100
Source: minisat2
Binary: minisat minisat2
Architecture: source i386
Version: 1:2.2.1-3
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
Closes: 638217
Changes: 
 minisat2 (1:2.2.1-3) unstable; urgency=low
 .
   * Updated man page (closes: #638217)
Checksums-Sha1: 
 e3f528659a059235b6adb17891db86ccfa87e50d 1135 minisat2_2.2.1-3.dsc
 519c62879dafc04a3ee3d5854fe4d1915be3fd88 8611 minisat2_2.2.1-3.debian.tar.gz
 ec75594dfd648f9e6018fa0c14078f81cbc6bfb2 129100 minisat_2.2.1-3_i386.deb
 ed390f8f9630374058c20e3958266509669072a9 5032 minisat2_2.2.1-3_i386.deb
Checksums-Sha256: 
 1c1ce26f42ccbd6cc7fbb6ac8c4748212b50cf94495afcbc1fc1f36dea623395 1135 minisat2_2.2.1-3.dsc
 14d9c7021fa364f03d20a13e03f03f248d769a04d421f7865c0090ea2a8594c7 8611 minisat2_2.2.1-3.debian.tar.gz
 a898e76297107e0f4b2ed1ad42d1c9904a5c9d31fa86129a1d8cda1df29cb498 129100 minisat_2.2.1-3_i386.deb
 b0aa7e1bab3178e43a62f189d608786c574a465df2d2a3493647f2019b70ccb9 5032 minisat2_2.2.1-3_i386.deb
Files: 
 4ed46d412e3be4cb87b3fe40e4ae55f6 1135 science extra minisat2_2.2.1-3.dsc
 7267ca50b9a4e2b628fcd2e702a259c6 8611 science extra minisat2_2.2.1-3.debian.tar.gz
 0c43b9bfae39d78cb10c0ee34eb5dfa6 129100 science extra minisat_2.2.1-3_i386.deb
 b6f0e89b47913ff810bf482421034508 5032 science extra minisat2_2.2.1-3_i386.deb

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

iEYEARECAAYFAk5iuEsACgkQvx6dH3bVKsTEbQCgyKrvQ1ifAcku3z+I8eudW2rZ
tKMAn0dSEcqjfhb2GNEmVEtcL+cKOiZB
=L9JJ
-----END PGP SIGNATURE-----


Accepted:
minisat2_2.2.1-3.debian.tar.gz
  to main/m/minisat2/minisat2_2.2.1-3.debian.tar.gz
minisat2_2.2.1-3.dsc
  to main/m/minisat2/minisat2_2.2.1-3.dsc
minisat2_2.2.1-3_i386.deb
  to main/m/minisat2/minisat2_2.2.1-3_i386.deb
minisat_2.2.1-3_i386.deb
  to main/m/minisat2/minisat_2.2.1-3_i386.deb