Back to ladr PTS page

Accepted ladr 0.0.200902a-2 (source amd64)



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Sun, 03 May 2009 18:07:07 +0100
Source: ladr
Binary: libladr-dev libladr4 prover9 ladr4-apps
Architecture: source amd64
Version: 0.0.200902a-2
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
Closes: 526541
Changes: 
 ladr (0.0.200902a-2) unstable; urgency=low
 .
   * Merged from Ubuntu, fixes FTBFS (closes: #526541)
     - Drop -shared from the libtool command to make libladr.la in
       debian/patches/01-libtoolise.dpatch so that both the shared and
       static libraries are built. The .install file tries to install both,
       and if -shared is passed the .a isn't built and the package fails
       to build. This appears to be a change in libtool behaviour.
Checksums-Sha1: 
 cc6c298404cae53e2f38fea74890bd14d1d7a9b9 1161 ladr_0.0.200902a-2.dsc
 01e970c80e5fb96763a0150901701cb6f4effa7b 17239 ladr_0.0.200902a-2.diff.gz
 3ddacab511c802b9911ea8cf9100893525b61475 400942 libladr-dev_0.0.200902a-2_amd64.deb
 4a35a41f7a14996d29af99ba6a0c6dc01d20bee8 238708 libladr4_0.0.200902a-2_amd64.deb
 ac76600af1e433d74c7c5f0c2b65343384b10928 127580 prover9_0.0.200902a-2_amd64.deb
 1af5cc9739c3697682294c0f6f1862429ee0c14f 369898 ladr4-apps_0.0.200902a-2_amd64.deb
Checksums-Sha256: 
 07dc2d22ad6db40c2b9288377419853575e62cb47eba5fd0cf04d95a2faf6034 1161 ladr_0.0.200902a-2.dsc
 db7426412cb21e718e8f46fe46d47c2ded747dac4a6da51183a4477a212ebc0a 17239 ladr_0.0.200902a-2.diff.gz
 61c0c98716a90074aca7b1b76bdfaef131e2a9062a71cd9af1433aab88e2cf19 400942 libladr-dev_0.0.200902a-2_amd64.deb
 1a27b3dbb36e8614e6ba8a0baa84c08e19bb5641f4eb184e0ca62f659e38cd0a 238708 libladr4_0.0.200902a-2_amd64.deb
 ebccca6c947dd7f8e0b8f4a661b8e3394c1fc690c823dc089416174711a730e4 127580 prover9_0.0.200902a-2_amd64.deb
 e4edda87abafc8c69793e36bcdeb4dd7a33f1fffa0f928811ffaeb7687cb1364 369898 ladr4-apps_0.0.200902a-2_amd64.deb
Files: 
 2df00e8e081c7d55e692a1cf1780aa64 1161 math optional ladr_0.0.200902a-2.dsc
 5a780276344a55e8396a799a56b8fe93 17239 math optional ladr_0.0.200902a-2.diff.gz
 a48a9369ee79f6927f52ffa5742a5026 400942 libdevel optional libladr-dev_0.0.200902a-2_amd64.deb
 bec5eea774ea42de40e38b89fc47b256 238708 libs optional libladr4_0.0.200902a-2_amd64.deb
 f826f2d4a956f406c95fc22d04756fcd 127580 math optional prover9_0.0.200902a-2_amd64.deb
 f73d87432e9e7977d673cffbc18b36e8 369898 math optional ladr4-apps_0.0.200902a-2_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iEYEARECAAYFAkn91BYACgkQXDqn6DSH7HGaLQCgiCsJ0nfFN8C2u4m/W4aGrpGW
FYkAnjhztY3YY9uYXzSTpzrWWODXY+1R
=Npk1
-----END PGP SIGNATURE-----


Accepted:
ladr4-apps_0.0.200902a-2_amd64.deb
  to pool/main/l/ladr/ladr4-apps_0.0.200902a-2_amd64.deb
ladr_0.0.200902a-2.diff.gz
  to pool/main/l/ladr/ladr_0.0.200902a-2.diff.gz
ladr_0.0.200902a-2.dsc
  to pool/main/l/ladr/ladr_0.0.200902a-2.dsc
libladr-dev_0.0.200902a-2_amd64.deb
  to pool/main/l/ladr/libladr-dev_0.0.200902a-2_amd64.deb
libladr4_0.0.200902a-2_amd64.deb
  to pool/main/l/ladr/libladr4_0.0.200902a-2_amd64.deb
prover9_0.0.200902a-2_amd64.deb
  to pool/main/l/ladr/prover9_0.0.200902a-2_amd64.deb