Accepted ladr 0.0.200806a-1 (source i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 29 Jun 2008 03:23:16 +0100
Source: ladr
Binary: libladr-dev libladr4 prover9 ladr4-apps
Architecture: source i386
Version: 0.0.200806a-1
Distribution: unstable
Urgency: low
Maintainer: Peter Collingbourne <pcc03@doc.ic.ac.uk>
Changed-By: Peter Collingbourne <pcc03@doc.ic.ac.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.200806a-1) unstable; urgency=low
.
* New upstream release.
* debian/patches/01-libtoolise.dpatch: new source file weight2.c
* debian/libladr4.symbols: updated
* debian/control: new Standards-Version, updated for new prover9-doc
* debian/prooftrans.1: documented new tagged format
Checksums-Sha1:
dec09bc883bddc8d00b55d136ad8a9a433fd5932 1148 ladr_0.0.200806a-1.dsc
816461550645c9e38db833fc08418fd06628eb83 1677889 ladr_0.0.200806a.orig.tar.gz
056c14cda0d009f1cdc787c23d04dee29b3a4a66 20710 ladr_0.0.200806a-1.diff.gz
c5a1690e7a2901ba5ab65f9c5da81aa1ef663388 342242 libladr-dev_0.0.200806a-1_i386.deb
e752e27bb504da02743eb0825b7b786fa6c94c08 209764 libladr4_0.0.200806a-1_i386.deb
fccc71fa7a7f0638d3b3ec4adb51b6e294926476 110968 prover9_0.0.200806a-1_i386.deb
8ce26553891f86201d643a279e1a614112a92794 330590 ladr4-apps_0.0.200806a-1_i386.deb
Checksums-Sha256:
621b8b09d4c3bf39711149ac747c9170b6580b85ffb08ead112851bcd3bf27fa 1148 ladr_0.0.200806a-1.dsc
ecec73862c1cf50dbde969d41dabf427535517db80dff8f99e0383f05355c0a7 1677889 ladr_0.0.200806a.orig.tar.gz
ed9768220de7a9067b5660d898b68af35e94d31bc0861b5a73332828e17ba1bf 20710 ladr_0.0.200806a-1.diff.gz
e0e0bf8e3072b2d97f03f1aa2b8c08039e1f5871caa6edc4878e4910e877d301 342242 libladr-dev_0.0.200806a-1_i386.deb
c57461b978e8b3c1e515015c9767130e351fc582c614f4f7149ad2b9b073eb95 209764 libladr4_0.0.200806a-1_i386.deb
853a168c374db9fab465a65ee7d2e108b0e760b36e27f342b99972e0b93de25b 110968 prover9_0.0.200806a-1_i386.deb
bf2b955fcf84f0b659408174550bcf24d8e637c26e33dbce068d6e4dc8d6e2ac 330590 ladr4-apps_0.0.200806a-1_i386.deb
Files:
df4b3b15d87040f051002340413f5ef2 1148 math optional ladr_0.0.200806a-1.dsc
1716243e9b89a6e19a152db25eca01a7 1677889 math optional ladr_0.0.200806a.orig.tar.gz
b05e9183041730be13e9968829232ac9 20710 math optional ladr_0.0.200806a-1.diff.gz
4abb868cc4bdd4e4297f0ad4ff6f4c1e 342242 libdevel optional libladr-dev_0.0.200806a-1_i386.deb
cfa94202ff43bbe4f7cdcacb230bf2a4 209764 libs optional libladr4_0.0.200806a-1_i386.deb
0720644a1c3756ab89c7b49b230b1b7b 110968 math optional prover9_0.0.200806a-1_i386.deb
0b13444022f9d925b1844c97ed68c480 330590 math optional ladr4-apps_0.0.200806a-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFIaAbHXDqn6DSH7HERAsdnAJ0cgzIdcQeWh3V++LC/FLQQmBdZAgCgun2p
53uHTBDoEehiSkYIJpT0AG4=
=qzTU
-----END PGP SIGNATURE-----
Accepted:
ladr4-apps_0.0.200806a-1_i386.deb
to pool/main/l/ladr/ladr4-apps_0.0.200806a-1_i386.deb
ladr_0.0.200806a-1.diff.gz
to pool/main/l/ladr/ladr_0.0.200806a-1.diff.gz
ladr_0.0.200806a-1.dsc
to pool/main/l/ladr/ladr_0.0.200806a-1.dsc
ladr_0.0.200806a.orig.tar.gz
to pool/main/l/ladr/ladr_0.0.200806a.orig.tar.gz
libladr-dev_0.0.200806a-1_i386.deb
to pool/main/l/ladr/libladr-dev_0.0.200806a-1_i386.deb
libladr4_0.0.200806a-1_i386.deb
to pool/main/l/ladr/libladr4_0.0.200806a-1_i386.deb
prover9_0.0.200806a-1_i386.deb
to pool/main/l/ladr/prover9_0.0.200806a-1_i386.deb