-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: picosat
Binary: picosat
Architecture: any
Version: 960-1
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://fmv.jku.at/picosat/
Standards-Version: 3.9.5
Build-Depends: debhelper (>= 7.0.50~)
Package-List:
 picosat deb science extra arch=any
Checksums-Sha1:
 6ed37fa8ba4fb11808f7d638173cbe0adecf00b7 63269 picosat_960.orig.tar.gz
 f15c0e950f314bc9f200c255d0a18cfb75a26400 6128 picosat_960-1.debian.tar.xz
Checksums-Sha256:
 edb3184a04766933b092713d0ae5782e4a3da31498629f8bb2b31234a563e817 63269 picosat_960.orig.tar.gz
 ffc2018f7a0c084f1be2eae38d29cd14a6935fbfc4510265256d7d689b2df563 6128 picosat_960-1.debian.tar.xz
Files:
 bee515cd9fd12ffaffab10b3587aa833 63269 picosat_960.orig.tar.gz
 319a15a4277a2f91cca97d1e4b44e812 6128 picosat_960-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: GPGTools - http://gpgtools.org

iQIcBAEBCAAGBQJUXl48AAoJEKjvEonjOGdBQ9gP/1BTE0jjWR5ldfMsWtdGI6OR
oDzdChlZkxZIHT6u5GzKt04skmW9qGW6tbwTrCSOAMj+HhmsKLoCSQLa7NMs3Yvd
bxzB2+t+bpibelpq2f6IsRqt+kXpE+2gO0bbi8Pjnh9kmr82lLrd+1O2xpysQWOg
IGxsz7IRf+emh/DCf4WSFX+32qtb3QhuYLmkFh5N4Jg3yn4q5TnFQZqiCs2u/5Fi
7NUQUlrJofv1f9+An0v6xC/Ddj/LsoxJWdNAGccUesHLo0/l949BqD+QpRCfXgSm
k7To2ArYQdkHWfPuTf9F2yqywlyOSDfwLN2llIGO56RpHJFlhezeFFZeKKPbPM/S
+J8hwgP8XNXIndHe6nDtbHrsQpkh8c3hp22/KfF1nUusvda09MdBoooZ6yIHe+Rz
SIc9XUDb6ziEax3SzoCWSXzEUoHsThE4F76JXbj5EG9r4zrQDzPwIHW4OgAQ/0vb
un0+K4XTfdSnkbls9jB+jqpXSZV7JQqGeufY9FnpxiLOyj+aTeIoUXXnQh8sFgC6
CRTCwXoWTBgT0OZ6L1Kea/i8aZxaypTnuKCM1J41CNHbrArkmKJn7qsy7P6HiHCK
hMSdHNL44PLcSv2U0AVTYa53Or4ZBl0LO52Vg8JRyxzR5DDcJ4iSuFHU68qD1SIc
rIK1r23MojodkMZ3IW14
=fJIo
-----END PGP SIGNATURE-----