Back to minisat2 PTS page

Accepted minisat2 1:2.2.1-2 (source amd64)

To: debian-devel-changes@lists.debian.org
Subject: Accepted minisat2 1:2.2.1-2 (source amd64)
From: Michael Tautschnig <mt@debian.org>
Date: Mon, 13 Jun 2011 13:32:38 +0000
Mail-followup-to: debian-devel@lists.debian.org
Message-id: <E1QW7Fu-0007K9-O3@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: Mon, 13 Jun 2011 15:13:41 +0200
Source: minisat2
Binary: minisat minisat2
Architecture: source amd64
Version: 1:2.2.1-2
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-2) unstable; urgency=low
 .
   * Include headers from simp/ directory in package
   * Bumped standards version to 3.9.2 (no changes)
Checksums-Sha1: 
 5456ad23c48e5ea549f0ae108d77135bcc079ca0 1135 minisat2_2.2.1-2.dsc
 385a00c4a2b3185ef32a31444333e0cf27a7e193 8381 minisat2_2.2.1-2.debian.tar.gz
 ebca761cb503e0dce1acfe65b7c798b5964b8ce5 130164 minisat_2.2.1-2_amd64.deb
 21d400117cd84fe77b37ee429544ec82fb143404 4998 minisat2_2.2.1-2_amd64.deb
Checksums-Sha256: 
 63a2b85a59dd12f8ba7706c1f6a6f4c6eb653cd73fa551f2e3dfb984081a4524 1135 minisat2_2.2.1-2.dsc
 970143c1692a0ed348cee26fc64bdd764d77f2761d63f58ab2887ad7639c174f 8381 minisat2_2.2.1-2.debian.tar.gz
 73a062ada91179e0d669aa1c4b820f6c4acf17ef21617fb251b7ab54363af179 130164 minisat_2.2.1-2_amd64.deb
 61ae08d76da5e0edfe105fe0a34abfae140e6084d652e653833472ad20aaac1b 4998 minisat2_2.2.1-2_amd64.deb
Files: 
 cd869b4b0a95c84c2b0310bdecd9d508 1135 science extra minisat2_2.2.1-2.dsc
 2b9671c777995d166ca29b5084b401a7 8381 science extra minisat2_2.2.1-2.debian.tar.gz
 858e00dd2513fcacc34e91e4b3d3cc8b 130164 science extra minisat_2.2.1-2_amd64.deb
 15ff9b3abe55f3511cfeeab157c0af85 4998 science extra minisat2_2.2.1-2_amd64.deb

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

iEYEARECAAYFAk32DmAACgkQvx6dH3bVKsT7CACgxu55AlckrL4ihg3w9lJOFImX
DggAn1sLLoJNS4BDkE9RoIEV62xHH4Zk
=OetL
-----END PGP SIGNATURE-----


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