-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sun, 8 Jun 2008 13:08:48 +0200 Source: picosat Binary: picosat Architecture: source i386 Version: 632-1 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: 485117 Changes: picosat (632-1) unstable; urgency=low . * Initial release (Closes: #485117) Checksums-Sha1: c9b6a4d8a7040075b85634aa526840215a126255 922 picosat_632-1.dsc 29291363141cdf019361499042975e4ec5999aaa 30714 picosat_632.orig.tar.gz 206118342a87375b8047c03a04b99a3242e42dd8 3016 picosat_632-1.diff.gz 9135d003a88db72616925087328249ddc3ae02d0 24812 picosat_632-1_i386.deb Checksums-Sha256: 30d8b31a4ed9972c282858887fc437c6a437587c94fe92ff10553ce435b4039f 922 picosat_632-1.dsc c1b341f7ad0a6aea9117de5b228e964c485e7370d1e7e0f8416c3ed88be0c910 30714 picosat_632.orig.tar.gz 0d0ff8ee17d6e15255782a9d0f36a4707bdac9aea6426a980c23fdd222b900ef 3016 picosat_632-1.diff.gz 1821f685cd9c3de7207b5ad07dbd0897cc70dbe157a9051018be9cf40c6c68df 24812 picosat_632-1_i386.deb Files: cc35c6fee8f95471d88664c9840047dd 922 science extra picosat_632-1.dsc 8265c63c543de18dc30614b8bf3484d7 30714 science extra picosat_632.orig.tar.gz 13639ff272fab8412fb262db54166da7 3016 science extra picosat_632-1.diff.gz 10dd14041d88a4988323cfe4042490b7 24812 science extra picosat_632-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (Darwin) iEYEARECAAYFAkhLxNQACgkQvx6dH3bVKsQifwCgxWhq3sGXIX04RKow7v2F4snb 7+wAnia4lAEPdIC3678v1+GiRMKk4Pjw =+vR9 -----END PGP SIGNATURE----- Accepted: picosat_632-1.diff.gz to pool/main/p/picosat/picosat_632-1.diff.gz picosat_632-1.dsc to pool/main/p/picosat/picosat_632-1.dsc picosat_632-1_i386.deb to pool/main/p/picosat/picosat_632-1_i386.deb picosat_632.orig.tar.gz to pool/main/p/picosat/picosat_632.orig.tar.gz
