Ubuntu
eprover package

Branches for Saucy

Name Status Last Modified Last Commit
lp:ubuntu/saucy/eprover 2 Mature 2013-04-27 09:18:48 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