this diff should fix the bug. ** Bug watch added: Debian Bug tracker #521918 http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=521918
** Also affects: eprover (Debian) via http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=521918 Importance: Unknown Status: Unknown ** Attachment added: "eprover_1.0.004-1ubuntu1.debdiff" http://launchpadlibrarian.net/27218082/eprover_1.0.004-1ubuntu1.debdiff -- [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
