Your message dated Fri, 13 Jan 2012 01:48:17 +0000
with message-id <e1rlwfd-0007wy...@franck.debian.org>
and subject line Bug#555074: fixed in ladr 0.0.200902a-2.1
has caused the Debian Bug report #555074,
regarding FTBFS with binutils-gold
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.)
--
555074: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=555074
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: ladr
Version: 0.0.200902a-2
Severity: minor
User: peter.fritzs...@gmx.de
Usertags: no-add-needed
Tried to build your package and it fails to build with GNU binutils-gold. The
important difference is that --no-add-needed is the default behavior of of GNU
binutils-gold. Please provide all needed libraries to the linker when building
your executables.
More informations can be found at
http://wiki.debian.org/qa.debian.org/FTBFS#A2009-11-02Packagesfailingbecausebinutils-gold.2BAC8-indirectlinking
libtool --mode=link gcc -Wall -g -O2 -o prover9 prover9.o index_lits.o
forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o
white_black.o actions.o search.o utilities.o provers.o foffer.o
../ladr/libladr.la
libtool: link: gcc -Wall -g -O2 -o .libs/prover9 prover9.o index_lits.o
forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o
white_black.o actions.o search.o utilities.o provers.o foffer.o
../ladr/.libs/libladr.so
/usr/bin/ld: search.o: in function search:search.c:1865: error: undefined
reference to 'round'
collect2: ld returned 1 exit status
make[2]: *** [prover9] Error 1
--- End Message ---
--- Begin Message ---
Source: ladr
Source-Version: 0.0.200902a-2.1
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.1_amd64.deb
to main/l/ladr/ladr4-apps_0.0.200902a-2.1_amd64.deb
ladr_0.0.200902a-2.1.diff.gz
to main/l/ladr/ladr_0.0.200902a-2.1.diff.gz
ladr_0.0.200902a-2.1.dsc
to main/l/ladr/ladr_0.0.200902a-2.1.dsc
libladr-dev_0.0.200902a-2.1_amd64.deb
to main/l/ladr/libladr-dev_0.0.200902a-2.1_amd64.deb
libladr4_0.0.200902a-2.1_amd64.deb
to main/l/ladr/libladr4_0.0.200902a-2.1_amd64.deb
prover9_0.0.200902a-2.1_amd64.deb
to main/l/ladr/prover9_0.0.200902a-2.1_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 555...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Hideki Yamane <henr...@debian.org> (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: SHA512
Format: 1.8
Date: Sun, 08 Jan 2012 10:10:29 +0900
Source: ladr
Binary: libladr-dev libladr4 prover9 ladr4-apps
Architecture: source amd64
Version: 0.0.200902a-2.1
Distribution: unstable
Urgency: low
Maintainer: Peter Collingbourne <pe...@pcc.me.uk>
Changed-By: Hideki Yamane <henr...@debian.org>
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: 555074
Changes:
ladr (0.0.200902a-2.1) unstable; urgency=low
.
* Non-maintainer upload.
* debian/patches/01-libtoolise.dpatch
- it drops -lm but it is needed for binutils-gold (Closes: #555074)
Checksums-Sha1:
55089824ed1d97a1eff12ffe4a466671f24d230a 1945 ladr_0.0.200902a-2.1.dsc
5bc089d5c95c706a097ba6722c74691387045abe 18079 ladr_0.0.200902a-2.1.diff.gz
9e2c9dc0afad12ed41ae8fe69a68df6751dcb29d 407778
libladr-dev_0.0.200902a-2.1_amd64.deb
a4e6eafea2c30a275c3446dd86bcc15586876d80 245148
libladr4_0.0.200902a-2.1_amd64.deb
3288bb23b96dbcb2640deebf4f0e70751bd7784a 128490
prover9_0.0.200902a-2.1_amd64.deb
52e06eba976d1fdee11f868178d9d9eb5f531095 370720
ladr4-apps_0.0.200902a-2.1_amd64.deb
Checksums-Sha256:
a7f0e0575f47f7fc14a0471882da031f8f78c851aa08e4ae7ebee747ce920da4 1945
ladr_0.0.200902a-2.1.dsc
ff3c2a9382f836c206f19e226e795cf65d5ddfe413a9f9c8da937aac1f966d38 18079
ladr_0.0.200902a-2.1.diff.gz
70d906eeed8bacc175f737ac05a027d70c2fac6042ea458b47b53d8510b83105 407778
libladr-dev_0.0.200902a-2.1_amd64.deb
3225df9f9b7cf2454c08aa74ab72dbad31b546801ddbf05b086c14900a9bb468 245148
libladr4_0.0.200902a-2.1_amd64.deb
cbc9476b431a04655f8dd4d882dec8ed6c79b86a12c8ac4c1f0e909e3807557b 128490
prover9_0.0.200902a-2.1_amd64.deb
b25149b90cf9200ddf0670325199b7468f0d6a41296a5275db4017b5e9b6308d 370720
ladr4-apps_0.0.200902a-2.1_amd64.deb
Files:
e8951dc61e16d5c795744079b8b7aa64 1945 math optional ladr_0.0.200902a-2.1.dsc
41d4744a4ef936a23d563adecf1dcf42 18079 math optional
ladr_0.0.200902a-2.1.diff.gz
6e05b32817631c5063ab11aad6cb7bac 407778 libdevel optional
libladr-dev_0.0.200902a-2.1_amd64.deb
d1e926df96e84966312e2c2d1c7c17ba 245148 libs optional
libladr4_0.0.200902a-2.1_amd64.deb
84b7a3242903cbbd19ec26f15255c008 128490 math optional
prover9_0.0.200902a-2.1_amd64.deb
d9a2337999c2e7089677d6d1f775eb18 370720 math optional
ladr4-apps_0.0.200902a-2.1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCgAGBQJPCO5sAAoJEF0yjQgqqrFAETQP/jpoilpRuV8m/fJtiIZ0jFTy
yXbnq1fqE9Eov5Oljgt2QUwtxY9UDYjwVtaILtpBEftgFW+9AhzE1Joa7/Lk4BKN
927WLugv3uQCrhVNvGcuNiE9W5S1FLfXy2Uuu/bybI66dNXCr1cHbBF3aIOc8LXS
sZZDfszLZSYlLmXSm+T4zh9uBOYJH3IvbXSOE56kDoF0L1IXbFsbND9Rwt/neFw3
60VWO7Yp2Zlvc0KXkmPJvFw+IFy/My3e5LNvXG61uJp7dgSY6sdi/EFUmIQlPMD0
8BOrIwlW/ysrDhjxINGEX7Nvi+aYEeVf833DK7477SpbgqjKwWSKQ1NPymGWxUl6
KO0ybQ+xsmdK7Al7Us79F94JRDToFktrmiMAJ6mFYiAxbd7EDFCdkv0+U8auJcW7
fBNTXli3P1iixSLvgWblet74iWH2JLtMPzvLy0QfNsfY53+szUaBGT3mzIeBSMi6
CCBjDBA3i61pR6MDaWZcTw+OEeqEul8OGy/MoQllW91bdOtqcIW2la1/KA4C8SgV
ucdKA3cWR8yopg2xKqVrsE9FB5+mKwuam7BnXNDCVxmoQ8waxvAycskv4bWmLp17
vEet5UAPcyvoDoJ3sxdCAJmEZepxHqMGqcSTgWO2i7eJCv1Ye+GTGrdg/DuMkSVy
vjjZRWz/n9tfpxbxMjZ+
=2lKW
-----END PGP SIGNATURE-----
--- End Message ---
