Accepted ladr 0.0.200811a-1 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Tue, 17 Feb 2009 01:48:06 +0000
Source: ladr
Binary: libladr-dev libladr4 prover9 ladr4-apps
Architecture: source amd64
Version: 0.0.200811a-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.200811a-1) unstable; urgency=low
.
* New upstream release.
* debian/interpformat.1: documented option "wrap"
* debian/patches/01-libtoolise.dpatch: updated from common
* debian/libladr4.symbols: updated
* debian/control: updated for new prover9-doc
* debian/control: Vcs-Bzr uses nosmart+http protocol
* debian/clausefilter.1, debian/clausetester.1, debian/control,
debian/copyright, debian/interpfilter.1, debian/interpformat.1,
debian/isofilter.1, debian/ladr4-apps.1,
debian/ladr4-apps.README.Debian, debian/mace4.1,
debian/prooftrans.1, debian/prover9.1, debian/rewriter.1: changed
maintainer email address (again)
* debian/ladr4-apps.install, debian/ladr4-apps.links: new application
rewriter2
* debian/control: do not duplicate "Section" field for binary packages
* debian/copyright: changed year to 2009, corrected expression of
copyright, refer to GPL-2 explicitly
Checksums-Sha1:
efe0157993b38ec8ac448eb6c52997c351d58fae 1161 ladr_0.0.200811a-1.dsc
48d5ca2f220f6357e1201c1e91bb1307f06f24f8 1750831 ladr_0.0.200811a.orig.tar.gz
0292b9cd42074a04d345436d5b51f20bcb3be060 16811 ladr_0.0.200811a-1.diff.gz
bf622949f74deab89935345d50035304fcfd8e96 394362 libladr-dev_0.0.200811a-1_amd64.deb
9303f2b28c0578506fe02b3ac89c6adea8d443e8 233744 libladr4_0.0.200811a-1_amd64.deb
0717e656bcc25c78a6d24db7bf7ed9c9956ec1e5 125852 prover9_0.0.200811a-1_amd64.deb
ffdc427469889f1a77bbc3a3e4d00b706bf4634d 365934 ladr4-apps_0.0.200811a-1_amd64.deb
Checksums-Sha256:
e0e86e1c068418b3b1606dfd1f4ec1fac17bb00507b1d1af108804d70c2a9410 1161 ladr_0.0.200811a-1.dsc
9c2a3b60d37c29dad924c24ab23d9220c6028234a3a91e1370c0464b691bd745 1750831 ladr_0.0.200811a.orig.tar.gz
19a462cf46f209908e395111f52c2cc53fc64b540a87cf6213b3a288d6e0c4b2 16811 ladr_0.0.200811a-1.diff.gz
85957266ba118b009bfcf6edb05fb6a4fbec1325e3692876fad332bc3ae00c61 394362 libladr-dev_0.0.200811a-1_amd64.deb
db293e0757e7d6ac0a558d7b0857308c314c75293c30dffb114a8cbe6dfc5dc6 233744 libladr4_0.0.200811a-1_amd64.deb
45c351f7dd7c6f1418b3224fe994fa323ba238b6c224ed671ab3aec7ae1011e9 125852 prover9_0.0.200811a-1_amd64.deb
4462240ee872197c2f96a15a724ad6fc31c967fa17b4399333b7ea0bff4144c7 365934 ladr4-apps_0.0.200811a-1_amd64.deb
Files:
6693b0222fb51920e22954c4466fc77e 1161 math optional ladr_0.0.200811a-1.dsc
10dade1f81da69bc82676f532ad112fa 1750831 math optional ladr_0.0.200811a.orig.tar.gz
315ba189c324ea922aa47f1d10727233 16811 math optional ladr_0.0.200811a-1.diff.gz
bebe519a7ff82b6c08cbf2f44a903e8b 394362 libdevel optional libladr-dev_0.0.200811a-1_amd64.deb
b7de8598ee5348666ebb71b671361233 233744 libs optional libladr4_0.0.200811a-1_amd64.deb
9b0a55182b9818bbc27a73f53b91a3d0 125852 math optional prover9_0.0.200811a-1_amd64.deb
a0892819525c944fa92aff87ad0ef89e 365934 math optional ladr4-apps_0.0.200811a-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkmaKioACgkQXDqn6DSH7HEGlACgt/tv92lwHkF+X6vXblUPb50M
sIEAnjWCTDitTg3HMBNuNSBHd4ZqhqsL
=+lbp
-----END PGP SIGNATURE-----
Accepted:
ladr4-apps_0.0.200811a-1_amd64.deb
to pool/main/l/ladr/ladr4-apps_0.0.200811a-1_amd64.deb
ladr_0.0.200811a-1.diff.gz
to pool/main/l/ladr/ladr_0.0.200811a-1.diff.gz
ladr_0.0.200811a-1.dsc
to pool/main/l/ladr/ladr_0.0.200811a-1.dsc
ladr_0.0.200811a.orig.tar.gz
to pool/main/l/ladr/ladr_0.0.200811a.orig.tar.gz
libladr-dev_0.0.200811a-1_amd64.deb
to pool/main/l/ladr/libladr-dev_0.0.200811a-1_amd64.deb
libladr4_0.0.200811a-1_amd64.deb
to pool/main/l/ladr/libladr4_0.0.200811a-1_amd64.deb
prover9_0.0.200811a-1_amd64.deb
to pool/main/l/ladr/prover9_0.0.200811a-1_amd64.deb
Reply to: