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

Format: 3.0 (quilt)
Source: picosat
Binary: picosat
Architecture: any
Version: 965-1
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Michael Tautschnig <mt@debian.org>
Homepage: http://fmv.jku.at/picosat/
Standards-Version: 4.4.0
Vcs-Browser: https://salsa.debian.org/science-team/picosat
Vcs-Git: https://salsa.debian.org/science-team/picosat.git
Build-Depends: debhelper-compat (= 12), dh-exec
Package-List:
 picosat deb science optional arch=any
Checksums-Sha1:
 66869e4be43dcf6765b047d5bb20b7b1fa32eb16 64386 picosat_965.orig.tar.gz
 84afb97aa75e07d2ee2878e2dc7783de0b893d80 5988 picosat_965-1.debian.tar.xz
Checksums-Sha256:
 15169b4f28ba8f628f353f6f75a100845cdef4a2244f101a02b6e5a26e46a754 64386 picosat_965.orig.tar.gz
 bf0bcc4942526cb390d495874b220c1d0ce9a07eb95e7d4b2133518ead35cc74 5988 picosat_965-1.debian.tar.xz
Files:
 d37c236d5c60b03d888d137c2fa4285f 64386 picosat_965.orig.tar.gz
 cf98cde8f10666f6e9c3ba73702c22d5 5988 picosat_965-1.debian.tar.xz

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

iQJFBAEBCAAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAl1bs2ERHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtHW6A/9FIDrIlZG2s90bAvzT+d35dVp6RAH8byM
eSP6O9S+qEjqx1QlWW7eS4xfXwZpvyGCa7R0SdHms6ax4wzbDcRvKsRjU3ppvNN1
3BsbsiOxTZ3ee959zug5PhQmcshLz2IfklXEaCx4eTWlDBeDRB+fjQpUpoymEhrv
VNyknqkS42nRVFl3bE9xKre/Xm35suicsJiaqJiPEj3fg2feO5u/BSHAeJsJ8kBL
569AX1+eOtI2gJQww3yl+8jNeoIUFXcPB2rKS1fXogm2Ay96JwkzuWny55bbnbaI
6XaZYIkjlaWRONSW4l0thhj2YpTlZ7gqcpj1F2kyp5j+ypxSFomzpju6Ki3DqdMT
1khYywTm4Z3Ls0vfsH1nKmIKZx8BcRE1DNBMhz7u3IzpXF5ev5mbRozqr/Xz3Y6H
ZinkE5AOgs0vSPyYAZlaYZkEHqmTTyh+HW8UDveFMNF76rhZc197XZ/Ulth7H8ug
PCJesq+XzgAs8eQtqBcsXUkYsjneVjLEM8qH2d7+bD+4DpU7xV8g11V8I5akQ9QI
XgljWXOhqFGtvkFlykWKdM9rk4Cny9/2wS8l28Tjo8Jj7cNFpnnyXvjbJ2MKlSE7
OEbmi0VWXYc42dQjqZKqSsQ491Y9PbnIQakvkwSBegiBZ4KXcO9ljTKquZucksoc
ePioobHY/m4=
=Bpir
-----END PGP SIGNATURE-----