-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Tue, 08 Apr 2008 23:44:14 +0100
Source: ladr
Binary: libladr-dev libladr4 prover9 ladr4-apps
Architecture: source amd64
Version: 0.0.200804a-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.200804a-1) unstable; urgency=low
.
* New upstream release.
* debian/patches/01-libtoolise.dpatch: updated for new Makefiles
* debian/patches/02-shebangs.dpatch: deleted, applied upstream
* debian/ladr4-apps.install, debian/ladr4-apps.links, debian/ladr4-apps.docs:
added new application directproof
* debian/watch: added support for new version numbering scheme
* debian/interpformat.1, debian/prover9.1: replaced hyphens with minus
signs
* debian/libladr4.symbols: updated
* debian/control: updated for new prover9-doc
* debian/copyright: give correct license information
Files:
81f508e876dec1fd56e0ed745d51f766 733 math optional ladr_0.0.200804a-1.dsc
fa68350bb331fcb85bba86a846ea4a9d 1879408 math optional ladr_0.0.200804a.orig.tar.gz
edc26c29b31338db90b22842fcbbec5c 20810 math optional ladr_0.0.200804a-1.diff.gz
790a4df044bf5edc8f983fa9d343cc23 375614 libdevel optional libladr-dev_0.0.200804a-1_amd64.deb
a9a80fe57966c4c0725a706d5ebe2dc0 218920 libs optional libladr4_0.0.200804a-1_amd64.deb
ac94dd92f9844f193e307cf7d2ef9307 116814 math optional prover9_0.0.200804a-1_amd64.deb
fb931cee1bf1c28b9cc7c912cbe71c86 353826 math optional ladr4-apps_0.0.200804a-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFH/SMHBnqtBMk7/3kRAp4eAJ4iS4cIhKwfZ1hDwHYJItD83uQn/QCfdWov
WP/0K3+TT9slp6zwXffxuCc=
=K4IL
-----END PGP SIGNATURE-----
Accepted:
ladr4-apps_0.0.200804a-1_amd64.deb
to pool/main/l/ladr/ladr4-apps_0.0.200804a-1_amd64.deb
ladr_0.0.200804a-1.diff.gz
to pool/main/l/ladr/ladr_0.0.200804a-1.diff.gz
ladr_0.0.200804a-1.dsc
to pool/main/l/ladr/ladr_0.0.200804a-1.dsc
ladr_0.0.200804a.orig.tar.gz
to pool/main/l/ladr/ladr_0.0.200804a.orig.tar.gz
libladr-dev_0.0.200804a-1_amd64.deb
to pool/main/l/ladr/libladr-dev_0.0.200804a-1_amd64.deb
libladr4_0.0.200804a-1_amd64.deb
to pool/main/l/ladr/libladr4_0.0.200804a-1_amd64.deb
prover9_0.0.200804a-1_amd64.deb
to pool/main/l/ladr/prover9_0.0.200804a-1_amd64.deb
