Ubuntu
eprover package

Branches for Quantal

Name Status Last Modified Last Commit
lp:ubuntu/quantal/eprover 2 Mature 2012-04-26 19:23:21 UTC
4. * EXTERNAL/Makefile: PROVER/Makefil...

Author: Daniel T Chen
Revision Date: 2011-09-16 17:49:10 UTC

* EXTERNAL/Makefile:
  PROVER/Makefile:
  - Make sure to link against libm properly. Fixes FTBFS. (LP: #770977)
1 → 1 of 1 result First • Previous • Next • Last