ocaml-maint team mailing list archive

Thread
Date

[Bug 384758] Re: [ftbfs] matita0.5.7-2 fails to build for i386 in karmic

To: ocaml-maint@xxxxxxxxxxxxxxxxxxx
From: Bug Watch Updater <bugwatch@xxxxxxxxxxxxxxxxxx>
Date: Wed, 07 Oct 2009 23:11:12 -0000
Reply-to: Bug 384758 <384758@xxxxxxxxxxxxxxxxxx>
Sender: bounces@xxxxxxxxxxxxx

** Changed in: matita (Debian)
       Status: New => Fix Committed

-- 
[ftbfs] matita0.5.7-2  fails to build for i386 in karmic
https://bugs.launchpad.net/bugs/384758
You received this bug notification because you are a member of Debian
OCaml Maintainers, which is subscribed to matita in ubuntu.

Status in “matita” package in Ubuntu: Fix Released
Status in “matita” package in Debian: Fix Committed

Bug description:
Binary package hint: matita

Matita fails to build in karmic, as you can see here:
http://launchpadlibrarian.net/27574114/buildlog_ubuntu-karmic-i386.matita_0.5.7-2~ppa1_FAILEDTOBUILD.txt.gz

'cause it attempts to download a file from docbook site while building.