-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: picosat
Binary: picosat
Architecture: any
Version: 960-1build1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 9f9005ca85b80a1daef30e0761e351e5ed7cc3d3 6260 picosat_960-1build1.debian.tar.xz
Checksums-Sha256:
 edb3184a04766933b092713d0ae5782e4a3da31498629f8bb2b31234a563e817 63269 picosat_960.orig.tar.gz
 14fba2d845ad2d63f7608a1e806287adf5e22489930cb6bee5e4dd928a6dd434 6260 picosat_960-1build1.debian.tar.xz
Files:
 bee515cd9fd12ffaffab10b3587aa833 63269 picosat_960.orig.tar.gz
 0aeca124a794e38f8e3b7a3397c15eea 6260 picosat_960-1build1.debian.tar.xz
Original-Maintainer: Michael Tautschnig <mt@debian.org>

-----BEGIN PGP SIGNATURE-----

iQJHBAEBCgAxFiEEOXpIEO6xMwaMLot69mTSVrRpGn0FAlrDw58THHJiYWxpbnRA
dWJ1bnR1LmNvbQAKCRD2ZNJWtGkafcodEADLLFNe533qlqkUHkr58dCYPl0qzn52
wjFuUzTBLbcqaRW0tHt6fR/TbXcg31S8Ycs0IQJg4zz2qAlSPgcD+yJ9GwGqeTKM
Q4NooUFGQ+mK3wIXM3GtYcdZbzABaZ7sIITDrPDQposvfUDooZ5VSyCfFeOtcHTV
K25BV/wn/4CnZZeQxY1eAp8B2HlzpYIcGigXMgKowUEC9vwPDcZ5vwSfEfg5Bd2v
EnjDJ4Qnzx7i5eVt97LnK3fiT2h55EmYIw2Bu78b5t0n75qnuVfHjTQYzpNatV8f
8ahn2yTS8m/sc/dE6/IrvCrEMmBEIxJ5+U+D8bmFCjUKcFGyMtwDkXLUBpgvB8wS
mfSRjuuJQO7tr1/rnBNNFHbg0FXoC0s7ZGp1/6cyhsCm/OOlTnvnhBqpHKVz06CJ
23ozGn6qTKF2YS4QtA9hs7zDVTdmfWMiJhDRXoU1ir6TDI4ej7iaRlvK3wzBQGZx
7VvVMci1oFWSjW6zt1rF81+oWzBrHHUBTgiIe4r/m2IwG/b8DjkY8EfqmiUuI8dt
iM6Svnm+SUQ16BGwTTgcmaCGUx76oD04TCSIWilKlzF7cLsXeqVg/BIBMJiv6D1e
VG/MQxTmyy02yWgR9+CNyHhnE+o+aNIbd9xtKTRJ0YmdAWDq+d1e7uZz1YPqq6PL
F6dSKAHxpXVrlg==
=D0Am
-----END PGP SIGNATURE-----