[ftbfs] matita0.5.7-2 fails to build for i386 in karmic
Bug #384758 reported by
Andrea Gasparini
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
matita (Debian) |
Fix Released
|
Unknown
|
|||
matita (Ubuntu) |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
Binary package hint: matita
Matita fails to build in karmic, as you can see here:
http://
'cause it attempts to download a file from docbook site while building.
Related branches
Changed in matita (Ubuntu): | |
assignee: | nobody → Andrea Gasparini (gaspa) |
status: | New → In Progress |
Changed in matita (Debian): | |
status: | Unknown → New |
Changed in matita (Debian): | |
status: | New → Fix Committed |
Changed in matita (Debian): | |
status: | Fix Committed → New |
Changed in matita (Debian): | |
status: | New → Fix Released |
To post a comment you must log in.
Attaching a debdiff that should fix the ftbfs.
Here's a builg log in karmic environment: /edge.launchpad .net/~gaspa/ +archive/ ppa/+build/ 1067361/ +files/ buildlog_ ubuntu- karmic- i386.matita_ 0.5.7-2~ ppa6_FULLYBUILT .txt.gz
https:/