Ubuntu
eprover package

Branches for Vivid

Name Status Last Modified Last Commit
lp:ubuntu/vivid/eprover 2 Mature 2014-10-26 23:05:59 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