-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sat, 14 Mar 2009 23:55:22 +0000
Source: ladr
Binary: libladr-dev libladr4 prover9 ladr4-apps
Architecture: source amd64
Version: 0.0.200902a-1
Distribution: unstable
Urgency: low
Maintainer: Peter Collingbourne <peter@pcc.me.uk>
Changed-By: Peter Collingbourne <peter@pcc.me.uk>
Description:
ladr4-apps - the LADR deduction library, miscellaneous applications
libladr-dev - the LADR deduction library, development files
libladr4 - the LADR deduction library
prover9 - theorem prover and countermodel generator
Changes:
ladr (0.0.200902a-1) unstable; urgency=low
.
* New upstream release.
* debian/control: updated for new prover9-doc
* debian/ladr4-apps.install, debian/ladr4-apps.links: new application
complex, removed application rewriter2
* debian/libladr4.symbols: updated
* debian/control: new Standards-Version
Checksums-Sha1:
787dc7db66cc9aeaff21f14bbee62bdafc5ea46e 1161 ladr_0.0.200902a-1.dsc
2ce0122f363ff3355bd9a359ec3d183923c2fd41 1970966 ladr_0.0.200902a.orig.tar.gz
48caaaaf904a27a2ae0d80e5c542b933ad0d7f9e 17042 ladr_0.0.200902a-1.diff.gz
38af1ce111840848b6c8a3005feb707e6620371a 400736 libladr-dev_0.0.200902a-1_amd64.deb
802e59f13bbfe9f6feeabaa33a99311dba919565 238522 libladr4_0.0.200902a-1_amd64.deb
3019fed71cdfe49c277c31207d14a063238ed4f8 127390 prover9_0.0.200902a-1_amd64.deb
1f6c19321831704da9e645c862e997d0b96e5187 369696 ladr4-apps_0.0.200902a-1_amd64.deb
Checksums-Sha256:
3db15dce68217a738167402348574983a919b1b6e68cfcb41d7bb315f26129f6 1161 ladr_0.0.200902a-1.dsc
3043a93f8339928bf4d839b92c7dc204011cc3d9e7adc719a23da8262c2bb95a 1970966 ladr_0.0.200902a.orig.tar.gz
84f4663cd3daa14570c7075256a6a0e5b09cdbfa5af68de52a27e67751ca5f7c 17042 ladr_0.0.200902a-1.diff.gz
9fcb5f013418036f937001f4e82afbe5348ae780935d0b1e2b176c2ffca7c146 400736 libladr-dev_0.0.200902a-1_amd64.deb
df05420da0496e64d0dea47fb35fc5fb2c86b9ede82c284a0c25bbc00c5e080f 238522 libladr4_0.0.200902a-1_amd64.deb
b923598729a4fe4cbb59052fdaa740ed1b49cff8c2232e70edf529c8b558ab4d 127390 prover9_0.0.200902a-1_amd64.deb
1584325e5ec5ec1a2fcfe86a3c9a629a96502d1e12790dce8bc0637a1922f787 369696 ladr4-apps_0.0.200902a-1_amd64.deb
Files:
d2f07f2f04a17ae4947134539d5b6018 1161 math optional ladr_0.0.200902a-1.dsc
f37a5304737ea2b14caf90d0a784964e 1970966 math optional ladr_0.0.200902a.orig.tar.gz
1350532c9f27022765e58b0e82ff362f 17042 math optional ladr_0.0.200902a-1.diff.gz
11835fc6648ca8d4a55dbee5dab4a08a 400736 libdevel optional libladr-dev_0.0.200902a-1_amd64.deb
f34530b787a5cba7421c451fa8ed28a6 238522 libs optional libladr4_0.0.200902a-1_amd64.deb
dffdbf442c65a03ed71201f870bd2707 127390 math optional prover9_0.0.200902a-1_amd64.deb
26a60528f971f3dbc6a942c5516c5d8b 369696 math optional ladr4-apps_0.0.200902a-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkm8V5AACgkQXDqn6DSH7HHPVQCgnCih3AKQUSYIQ/nlQOls/osN
08wAnRmpeu1y2G60CCTvnral1ri3u8jA
=vrGo
-----END PGP SIGNATURE-----
Accepted:
ladr4-apps_0.0.200902a-1_amd64.deb
to pool/main/l/ladr/ladr4-apps_0.0.200902a-1_amd64.deb
ladr_0.0.200902a-1.diff.gz
to pool/main/l/ladr/ladr_0.0.200902a-1.diff.gz
ladr_0.0.200902a-1.dsc
to pool/main/l/ladr/ladr_0.0.200902a-1.dsc
ladr_0.0.200902a.orig.tar.gz
to pool/main/l/ladr/ladr_0.0.200902a.orig.tar.gz
libladr-dev_0.0.200902a-1_amd64.deb
to pool/main/l/ladr/libladr-dev_0.0.200902a-1_amd64.deb
libladr4_0.0.200902a-1_amd64.deb
to pool/main/l/ladr/libladr4_0.0.200902a-1_amd64.deb
prover9_0.0.200902a-1_amd64.deb
to pool/main/l/ladr/prover9_0.0.200902a-1_amd64.deb
