Back to ladr PTS page

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