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

Format: 3.0 (quilt)
Source: picosat
Binary: picosat
Architecture: any
Version: 965-2
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Michael Tautschnig <mt@debian.org>, Nilesh Patra <npatra974@gmail.com>
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
 7ea597d88db9581b98561b33b6e0205edc5e4ea5 6328 picosat_965-2.debian.tar.xz
Checksums-Sha256:
 15169b4f28ba8f628f353f6f75a100845cdef4a2244f101a02b6e5a26e46a754 64386 picosat_965.orig.tar.gz
 ba73741659fa30e97fcf54e720b70179cd82d22b8001ee4970cf6eda9fa27c7a 6328 picosat_965-2.debian.tar.xz
Files:
 d37c236d5c60b03d888d137c2fa4285f 64386 picosat_965.orig.tar.gz
 32b6d30566f2e455794f6355b0e8540a 6328 picosat_965-2.debian.tar.xz

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

iQJIBAEBCgAyFiEEPpmlJvXcwMu/HO6mALrnSzQzafEFAmAyAuEUHG5wYXRyYTk3
NEBnbWFpbC5jb20ACgkQALrnSzQzafGuqhAAtXeIHId8biGsmXhfhRTtzmUr4f3v
34z4YwcfIQJFZE/Vk9xENYl/jaWRm2PhxUChe58C09E5sz+9aPso4sOZatJWq28t
UkDphKTvG0vhRcGEQQAfKhIkzhCo5ScM1cIVlRgfen5lqweK0luHrL5ztQwg6yl4
sdWHkwykWxlr13pwTCiOo/7RNrqqJ/uIVur7IxyW6njRA3fLgTIrlr01tRypshP8
60eMOx45JaJgrcrHcD5Yw2MESg/3Dqd+zWxkdSQT9xlaJT3DIildmjQ2deqs5pad
DXsL/uTZ+4ZrVdI9X3wKjUi2sTaGlrixs0OhhthGL6a7uH2E8pjHn93Hlu4HkRQZ
0pgAtulOrB6HjqBXsYuFm+/WLoe316Ry2nBS9LIwYQttBoPCYpHG+KxkqPy5ZYcM
zW8ysPT2FRBOzGgyo1QSw38dUJyDJE5A0609Lc7EHIQiZ/P7Millcu8kRkBzuTEX
TgERTMfEDA6aazdYg6eMXOZ2x9Ki4N2bGGiVY8y5NmsdXwOoQsY7H8SmysTA2ZOh
XkLS8G7Lw8H6UwDBOooGPZ4B+rSET0nIDl9Z83WemQAnbcWo3nt5m3KcKMalRSqi
xsUpcgNINDxC+qpPV5Ua92GXgn09El7R7LBY/lG+zEDKDJu6Qr1W5sdJYHQMw10X
7bIccE/WfDwzTVM=
=Kztx
-----END PGP SIGNATURE-----