Public bug reported: Binary package hint: eprover
eprover 1.0.004-1 fails to build in almost all architecture ( all except i386 ) this can be seen for example in: http://launchpadlibrarian.net/27001093/buildlog_ubuntu-karmic-amd64.eprover_1.0.004-1_FAILEDTOBUILD.txt.gz the problem is that the rules try to make stuff that depends from packages specified in build-depend-indep, that indeed are not installed in any other archs apart i386. ** Affects: eprover (Ubuntu) Importance: Undecided Status: New -- [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
