I still get FTBFS on the patched package. The build fails with a very strange error:
matitac demo/power_derivative.ma OK 0m08.60s 0m04.79s 0m00.05s mv: cannot move `/dev/shm/matita.db.builder._build_mok-matita_0_5_7-2ubuntu1-amd64-j0N5Mn_matita-0_5_7-2ubuntu1_debian_tmp___usr_share_matita__matita.26767' to `/build/mok-matita_0.5.7-2ubuntu1-amd64-j0N5Mn/matita-0.5.7-2ubuntu1/debian/tmp///usr/share/matita/.matita/user.db': No such file or directory destroy Fatal error: out of memory. My rig has 6Gb of RAM. This is weird. -- [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 Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs