** Changed in: matita (Debian)
Status: New => Fix Released
--
[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 Released
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.
_______________________________________________
Mailing list: https://launchpad.net/~ocaml-maint
Post to : [email protected]
Unsubscribe : https://launchpad.net/~ocaml-maint
More help : https://help.launchpad.net/ListHelp
