Ubuntu
eprover package

  1. Bug #770977
  2. Comment #1

Comment 1 for bug 770977

Revision history for this message
Launchpad Janitor (janitor) wrote :

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 address hidden> Fri, 16 Sep 2011 17:49:10 -0400