[FTBFS] eprover 1.0.004-1 fails to build
Bug #381092 reported by
Andrea Gasparini
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| eprover (Debian) |
Fix Released
|
Unknown
|
|||
| eprover (Ubuntu) |
Fix Released
|
Medium
|
Unassigned | ||
Bug Description
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://
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.
Related branches
Revision history for this message
| Andrea Gasparini (gaspa) wrote | #1 |
| Changed in eprover (Debian): | |
| status: | Unknown → New |
Revision history for this message
| Andrea Gasparini (gaspa) wrote | #2 |
| Changed in eprover (Ubuntu): | |
| status: | New → Confirmed |
Revision history for this message
| Luca Falavigna (dktrkranz) wrote | #3 |
| Changed in eprover (Ubuntu): | |
| importance: | Undecided → Medium |
| status: | Confirmed → Fix Committed |
Revision history for this message
| Launchpad Janitor (janitor) wrote | #4 |
| Changed in eprover (Ubuntu): | |
| status: | Fix Committed → Fix Released |
| Changed in eprover (Debian): | |
| status: | New → Fix Released |
To post a comment you must log in.
this diff should fix the bug.