Ubuntu
eprover package

  1. Bug #381092
  2. Comment #4

Comment 4 for bug 381092

Revision history for this message
Launchpad Janitor (janitor) wrote :

This bug was fixed in the package eprover - 1.0.004-1ubuntu1

---------------
eprover (1.0.004-1ubuntu1) karmic; urgency=low

  * debian/rules: fix FTBFS in all archs except i386. (LP: #381092)
    changed "build:" target as it makes build documentation for all archs.

 -- Andrea Gasparini <email address hidden> Wed, 27 May 2009 22:48:37 +0200