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

Format: 3.0 (quilt)
Source: picosat
Binary: picosat
Architecture: any
Version: 965-3
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.7.2
Vcs-Browser: https://salsa.debian.org/science-team/picosat
Vcs-Git: https://salsa.debian.org/science-team/picosat.git
Build-Depends: debhelper-compat (= 13), dh-exec
Package-List:
 picosat deb science optional arch=any
Checksums-Sha1:
 66869e4be43dcf6765b047d5bb20b7b1fa32eb16 64386 picosat_965.orig.tar.gz
 f1bb09cfe7c9f43a5bd3bc165f548a790a843f4c 6444 picosat_965-3.debian.tar.xz
Checksums-Sha256:
 15169b4f28ba8f628f353f6f75a100845cdef4a2244f101a02b6e5a26e46a754 64386 picosat_965.orig.tar.gz
 1bd784d069eb0e65d1b62f026eefb60ba7a374868c42e8bdce0fd9d0859b0d0a 6444 picosat_965-3.debian.tar.xz
Files:
 d37c236d5c60b03d888d137c2fa4285f 64386 picosat_965.orig.tar.gz
 8056b0b4faf24558bf224966c851c2e3 6444 picosat_965-3.debian.tar.xz

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

iIgEARYKADAWIQSglbZu4JAkvuai8HIqJ5BL1yQ+2gUCaQXX8BIcbmlsZXNoQGRl
Ymlhbi5vcmcACgkQKieQS9ckPtrfvwD/ZRnnDEMrJpTW+vc1ZGcjnhPIzoAqR6g/
bFsEsGD+/9cBAIilxbnYdCXmfRLy9VF3qOjeTS/X4TKZ899nDczBaUQD
=g7Zz
-----END PGP SIGNATURE-----