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

Format: 3.0 (quilt)
Source: minisat2
Binary: minisat, minisat2
Architecture: any
Version: 1:2.2.1-5build1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Homepage: http://minisat.se/
Standards-Version: 3.9.5
Vcs-Browser: http://github.com/niklasso/minisat
Vcs-Git: git://gitorious.org/minisat-debian/minisat2.git
Build-Depends: debhelper (>= 9), libz-dev
Package-List:
 minisat deb science extra arch=any
 minisat2 deb oldlibs extra arch=any
Checksums-Sha1:
 38fc59a6a400127ae51e8fc7eb9cfd27e1b85d20 44229 minisat2_2.2.1.orig.tar.gz
 aa4bc2ff0aff1606e427482e664a78f2e27cda92 9480 minisat2_2.2.1-5build1.debian.tar.xz
Checksums-Sha256:
 e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40 44229 minisat2_2.2.1.orig.tar.gz
 cb08c870f6b72f6f541bc069132182317312785295a74c8b55c13827a4b9ed8a 9480 minisat2_2.2.1-5build1.debian.tar.xz
Files:
 27faa19ee0508660bd6fb7f894646d42 44229 minisat2_2.2.1.orig.tar.gz
 4a4d8b0bdb0bbb5c2719022ebc5ace3e 9480 minisat2_2.2.1-5build1.debian.tar.xz
Original-Maintainer: Michael Tautschnig <mt@debian.org>

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

iQJHBAEBCgAxFiEEOXpIEO6xMwaMLot69mTSVrRpGn0FAlrDv/QTHHJiYWxpbnRA
dWJ1bnR1LmNvbQAKCRD2ZNJWtGkafYeyD/9OTL/Zs8Xl6nUFHT5YuK/Jc3gQUp71
QQH/1T4CZtCQQ/m4hSkFID2ZmpndGoK1pxBExiWgOMjrqnE5GzahdFEzeh0pPVow
8gOdB/S9gPqmH6kxkELaB4XwJTMRQDNKcs3HciZpUZmu7NoOpDUxO/jX3NIMjebH
DR4SCAHgwGYRlyn/y67nEIbtZ2fldkZ8IoAGtKXpQJ8tOrbw8TjEKyMvP6sO0EWq
Ub2VTdBjKMgXmfFkqPdkQ8aqPoei4Bz2lNn31mwxcJlUE0Rce4d+AjXFE7pTFx2a
s6mz/93ythkonRuH1be6gXXkIbcyk1AEGiE3adcWNyPWQoldUcE79JzUH1+ByEEz
kG3xDGAgFS4XJj1IkBfWoEJ+dBW4HMVntPXdfGuJ8xm68sF6Nzf38jb4d4KXDvFD
pYUxVk8eKsPNKg1jtitt9MGdtE/4BNHIZ3cjn0Mw/R9/gmDPzJdTPXJxBpufJRUR
cdZCfCN4gyh4yFucHB3RQc0wBdZKWeOxjYZUirQNJJy4PiuYV46SKjoR3C8v0T31
IvnrvlYavAiaQEFsWBELgv8XC/Bww0tUGx+gr4f8oTu1PTrS2cJfENxdGUI2nAsG
vBsR7wMqamlzsxGm/jx/sXIpE7ALyllmeogu4P1wpQal+idoUmziJZHt20hpos9S
deIgOBVuBuEM3g==
=ZdnW
-----END PGP SIGNATURE-----