Accepted picosat 632-1 (source i386)
-----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