Back to picosat PTS page

Accepted picosat 936-3 (source amd64)



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

Format: 1.8
Date: Wed, 10 Aug 2011 01:03:57 +0200
Source: picosat
Binary: picosat
Architecture: source amd64
Version: 936-3
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description: 
 picosat    - SAT solver with proof and core support
Closes: 635114
Changes: 
 picosat (936-3) unstable; urgency=low
 .
   * Ship picomus binary for computing minimal unsatisfiying cores
     (closes: #635114)
   * Bumped standards version to 3.9.2 (no changes)
Checksums-Sha1: 
 a2ff274a7db49b0469a8efeb396355aaf3f2d1f2 995 picosat_936-3.dsc
 02727edc2cb9dd9ecd3d3318b5b0d3bc77c09f1b 5459 picosat_936-3.debian.tar.gz
 1e7f7e63a53dddab7274795ab3cb901ccc634807 258532 picosat_936-3_amd64.deb
Checksums-Sha256: 
 cbc6a14a2449af5c6d4d4df04d745545215e7ac099e310d74eb7aaf24ce20f59 995 picosat_936-3.dsc
 6c6741fa768834e9480afbb9483340695d10cfd67b1fef2e2db44fbc54f642d1 5459 picosat_936-3.debian.tar.gz
 da357b527dad95494be29b550eeef13ace0ef09cda49d645b5f4806460889017 258532 picosat_936-3_amd64.deb
Files: 
 68a5db2e16a7071fcb02b43152c7cb04 995 science extra picosat_936-3.dsc
 d748fb3b95bf0f2af83c9dc6fec4b1ee 5459 science extra picosat_936-3.debian.tar.gz
 c543a2e6376106e725a94eb4c81b8cb4 258532 science extra picosat_936-3_amd64.deb

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

iEYEARECAAYFAk5Bv34ACgkQvx6dH3bVKsTIZQCg6vg64HHVs0lvktjQu6NcSRHP
kGMAn3qRPnRegiBZ5oxB86RUARQ2F7Tu
=fkDa
-----END PGP SIGNATURE-----


Accepted:
picosat_936-3.debian.tar.gz
  to main/p/picosat/picosat_936-3.debian.tar.gz
picosat_936-3.dsc
  to main/p/picosat/picosat_936-3.dsc
picosat_936-3_amd64.deb
  to main/p/picosat/picosat_936-3_amd64.deb