Ubuntu
matita package

Bug #384758
Comment #1

Comment 1 for bug 384758

Revision history for this message

Andrea Gasparini (gaspa) wrote on 2009-06-09:

#1

matita_0.5.7-2ubuntu1.debdiff Edit (3.0 KiB, text/plain)

Attaching a debdiff that should fix the ftbfs.

Here's a builg log in karmic environment:
https://edge.launchpad.net/~gaspa/+archive/ppa/+build/1067361/+files/buildlog_ubuntu-karmic-i386.matita_0.5.7-2~ppa6_FULLYBUILT.txt.gz