Your message dated Sun, 03 May 2009 17:47:05 +0000 with message-id <e1m0fml-0000ar...@ries.debian.org> and subject line Bug#526541: fixed in ladr 0.0.200902a-2 has caused the Debian Bug report #526541, regarding ladr: FTBFS: Cannot find debian/tmp/usr/lib/lib*.a to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 526541: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=526541 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Package: ladr Version: 0.0.200902a-1 Severity: serious From my pbuilder build log: ... dh_installdocs dh_installexamples find debian/*/usr/share/doc -size 0 -exec rm -f \{\} \; dh_install dh_install: libladr-dev missing files (debian/tmp/usr/lib/lib*.a), aborting make: *** [binary-arch] Error 1 dpkg-buildpackage: failure: fakeroot debian/rules binary gave error exit status 2 -- Daniel Schepler
--- End Message ---
--- Begin Message ---Source: ladr Source-Version: 0.0.200902a-2 We believe that the bug you reported is fixed in the latest version of ladr, which is due to be installed in the Debian FTP archive: 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 A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to 526...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Peter Collingbourne <pe...@pcc.me.uk> (supplier of updated ladr package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@debian.org) -----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 <pe...@pcc.me.uk> Changed-By: Peter Collingbourne <pe...@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-----
--- End Message ---
