This bug was fixed in the package eprover - 1.0.004-1ubuntu2
---------------
eprover (1.0.004-1ubuntu2) oneiric; urgency=low
* EXTERNAL/Makefile:
PROVER/Makefile:
- Make sure to link against libm properly. Fixes FTBFS. (LP: #770977)
-- Daniel T Chen <[email protected]> Fri, 16 Sep 2011 17:49:10 -0400
** Changed in: eprover (Ubuntu Oneiric)
Status: Confirmed => Fix Released
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/770977
Title:
eprover version 1.0.004-1ubuntu1 failed to build on amd64 with
GCC-4.6/oneiric
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/eprover/+bug/770977/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
