Package: proofgeneral Version: 3.5-4 Severity: serious There was an error while trying to autobuild your package:
> Automatic build of proofgeneral_3.5-4 on caballero by sbuild/ia64 98 > Build started at 20061218-0316 [...] > ** Using build dependencies supplied by package: > Build-Depends-Indep: debhelper (>= 4.1.16), mzscheme [...] > dh_clean: Compatibility levels before 4 are deprecated. > rm -f debian/*~ debian/#*# > rm -f minlog/*.o minlog/*.so > debian/rules build > dh_testdir > make scripts > make[1]: Entering directory `/build/buildd/proofgeneral-3.5' > make[1]: Leaving directory `/build/buildd/proofgeneral-3.5' > (cd minlog; make) > make[1]: Entering directory `/build/buildd/proofgeneral-3.5/minlog' > mzc --cc mzfork.c > make[1]: mzc: Command not found > make[1]: *** [mzfork.o] Error 127 > make[1]: Leaving directory `/build/buildd/proofgeneral-3.5/minlog' > make: *** [build-stamp] Error 2 A full build log can be found at: http://buildd.debian.org/build.php?arch=ia64&pkg=proofgeneral&ver=3.5-4 Build dependencies need to be specified in Build-Depends, unless all of the binaries delivered are Architecture: all (in which case the buildds won't try to build it.) lamont -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
