Ubuntu
eprover package

Branches for Wily

Name Status Last Modified Last Commit
lp:ubuntu/wily/eprover 1 Development 2015-05-07 01:40:19 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