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 protected]> Wed, 27 May 2009 22:48:37
+0200
** Changed in: eprover (Ubuntu)
Status: Fix Committed => Fix Released
--
[FTBFS] eprover 1.0.004-1 fails to build
https://bugs.launchpad.net/bugs/381092
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
