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

Format: 3.0 (quilt)
Source: minisat+
Binary: minisat+
Architecture: any
Version: 1.0-5build1
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Ralf Treinen <treinen@debian.org>
Homepage: http://minisat.se/MiniSat+.html
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/science-team/minisatp
Vcs-Git: https://salsa.debian.org/science-team/minisatp.git
Testsuite: autopkgtest
Build-Depends: debhelper-compat (= 13), libgmp-dev, zlib1g-dev
Package-List:
 minisat+ deb science optional arch=any
Checksums-Sha1:
 64205f7144157469839994295b95ec9761466f85 79990 minisat+_1.0.orig.tar.gz
 3a1913e47c007636664d741b4babfa09d75d0926 4532 minisat+_1.0-5build1.debian.tar.xz
Checksums-Sha256:
 f81e8dd76de9d2219e4b555f65354be2f8582f4575b5cc5b5bf34b71f1bd7f4b 79990 minisat+_1.0.orig.tar.gz
 e5f3474855b7fcac1bfb23fae4ffbd829e32281fa85d5678bc90cd1133b1b908 4532 minisat+_1.0-5build1.debian.tar.xz
Files:
 a5910ef8bea269632eff74b54f07010d 79990 minisat+_1.0.orig.tar.gz
 96b659c41baba3c7286e4ad6765c086e 4532 minisat+_1.0-5build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEJeP/LX9Gnb59DU5Qr8/sjmac4cIFAml3vZkACgkQr8/sjmac
4cLhTA/8D1+JddUXFcqYZspb2vJ772IEQpU3XHryiYyI6YfEJ7hfNu9mVS+Ribr1
VgUc/5z3m9wAq88t/0GDXsKhxs1uNBrHkdeV9pcWe49L5sQQ+/3WQeM08xq2L5ds
0hfqAfhADtIufOsbDoAW95UKlAhVc6gD2HopVVMVyKh9VCeUYbONJLTyVGqDBCC1
EMmYh2EuARUsQUZy974Poa/hf2V88fkIQlQBpsRN85qFqk+F7zuiHoz1ckPp/tHZ
coCuNXj5n41RW2CxEtt0IzbmAUPqq5KSrZeCSmWk/+PxPdLfCya/7+jlkYuUCW4z
EegEcR1SazuCbyzWW2bBd7J7TrVpS8zSAQ711sLSeU+PBwMOzQ2gKF2fjO42vQ9d
Af7O9DrKxwhUCkilT7w67aPma3oa03rfgS/pPJCLbd/4Bai5ejsNJs3RaBSnMDuZ
irmgjjZaSWo2bCYA4GoV9R0GDiMyda7GDTaIBTMmS6O+cn+i1twgOrHhsqRG1t4H
ktMqGRcl/Cy13HijUTYydi/W9mtDgNuIY+6jvi/GmYvc4TkklxHI8A8pg9f09brj
Qk0HECaS9wVqOMIM3DmcyqfVvBYx8UJ/rOklVn2uqCr96kP+KeUeo897lZgyPHKm
9RvXeWjBEHvxmyaVe89T6dAOSc8XuQMePhrtwiaPXc4PCGwPtZg=
=f368
-----END PGP SIGNATURE-----