Ubuntu
eprover package

Branches for Natty

Name Status Last Modified Last Commit
lp:ubuntu/natty/eprover 2 Mature 2010-10-13 06:10:29 UTC
3. debian/rules: fix FTBFS in all archs ...

Author: Andrea Gasparini
Revision Date: 2009-05-27 22:48:37 UTC

debian/rules: fix FTBFS in all archs except i386. (LP: #381092)
changed "build:" target as it makes build documentation for all archs.
1 → 1 of 1 result First • Previous • Next • Last