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

Format: 1.0
Source: ladr
Binary: libladr-dev, libladr4, prover9, ladr4-apps
Architecture: any
Version: 0.0.200902a-2.1
Maintainer: Peter Collingbourne <peter@pcc.me.uk>
Dm-Upload-Allowed: yes
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Standards-Version: 3.8.1
Vcs-Bzr: nosmart+http://bzr.debian.org/collab-maint/ladr/unstable/
Build-Depends: debhelper (>= 5), libtool, dpatch
Package-List: 
 ladr4-apps deb math optional
 libladr-dev deb libdevel optional
 libladr4 deb libs optional
 prover9 deb math optional
Checksums-Sha1: 
 2ce0122f363ff3355bd9a359ec3d183923c2fd41 1970966 ladr_0.0.200902a.orig.tar.gz
 5bc089d5c95c706a097ba6722c74691387045abe 18079 ladr_0.0.200902a-2.1.diff.gz
Checksums-Sha256: 
 3043a93f8339928bf4d839b92c7dc204011cc3d9e7adc719a23da8262c2bb95a 1970966 ladr_0.0.200902a.orig.tar.gz
 ff3c2a9382f836c206f19e226e795cf65d5ddfe413a9f9c8da937aac1f966d38 18079 ladr_0.0.200902a-2.1.diff.gz
Files: 
 f37a5304737ea2b14caf90d0a784964e 1970966 ladr_0.0.200902a.orig.tar.gz
 41d4744a4ef936a23d563adecf1dcf42 18079 ladr_0.0.200902a-2.1.diff.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQIcBAEBCgAGBQJPCO5sAAoJEF0yjQgqqrFA4x4P/2Su24znpmZTpTQb7XSwCXsd
6fpBbMsb3JzRi0mKnZn1rS740IofibbilqWGoT2iph16QZTLw4rwyaQue7SKzKgh
2iXpicM/vG5ACNZ1138Izs8RUIWzY0DiRK6OY0ZyusEZFhSvK3Ul02kMyi8f5V/b
gcCOSewyGGc49z4KQ1RS06EZPZzNw3NWzsaUPDI7LJRdIpOZPZW1ms3Jvl3sMVMl
tTIfwH5JuZjmiXdqjGhHvX55tjnomMJIUU77n+A8dEhSeJkUp3bFFWoyQs760x17
5MU9bxcDR5/eUYhO8Nu/NzVNVSxNhsTCbCe5ghDqNfgFiyhvksOursX2RAEuKnGr
8WzSJu8TBC47hy/Pl5h2xdOttK963Z4s9vRa5A2aTowSjirS6MezdzVJF3F2pyOa
KeJPWP/Vf3y9y2s6IFg9SVCbV4W/0hjPCx9cERMXQcODDZOPuVmjePftOiDSG32A
du6SyX64XwdzVa/GmsBuz9Ty8DVSS3SSDAIE1ksQ7VJJ26PhXAt9A5lZnYEQa4+q
N9XKz1XCdqgxAUxQkrY7kjRAzsSbp8g2TPWKhWFCrSfCT789HWMUVJEiKFl0NWKa
g5cGplEG0VAVzMfFOEVf6yyrSOisWsxQHsAS8HUjvt5Rj3B1L06E84ocHDxRFGBi
KmW0x1l75e9ZAgZzUOeX
=aoLu
-----END PGP SIGNATURE-----