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

Format: 1.0
Source: picosat
Binary: picosat
Architecture: any
Version: 632-1
Maintainer: Michael Tautschnig <mt@debian.org>
Standards-Version: 3.8.0
Build-Depends: debhelper (>= 5)
Checksums-Sha1: 
 29291363141cdf019361499042975e4ec5999aaa 30714 picosat_632.orig.tar.gz
 206118342a87375b8047c03a04b99a3242e42dd8 3016 picosat_632-1.diff.gz
Checksums-Sha256: 
 c1b341f7ad0a6aea9117de5b228e964c485e7370d1e7e0f8416c3ed88be0c910 30714 picosat_632.orig.tar.gz
 0d0ff8ee17d6e15255782a9d0f36a4707bdac9aea6426a980c23fdd222b900ef 3016 picosat_632-1.diff.gz
Files: 
 8265c63c543de18dc30614b8bf3484d7 30714 picosat_632.orig.tar.gz
 13639ff272fab8412fb262db54166da7 3016 picosat_632-1.diff.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (Darwin)

iEYEARECAAYFAkhLxM8ACgkQvx6dH3bVKsRMVwCgyDs9zRLxqVQWV0ACoWOfYfiq
RS0AoNLlMuv5HRohHC+izQzPXOqoIuTF
=U5U3
-----END PGP SIGNATURE-----