Package: matita Version: 0.4.97-1 Severity: serious There was an error while trying to autobuild your package:
> Automatic build of matita_0.4.97-1 on debian-31.osdl.marist.edu by > sbuild/s390 98 [...] > OCAMLC utf8MacroTable.ml > OCAMLC utf8Macro.mli > OCAMLC utf8Macro.ml > OCAMLC -a utf8_macros.cma > OCAMLC pa_unicode_macro.ml > File "pa_unicode_macro.ml", line 54, characters 8-203: > This expression has type (MLast.expr, 'a) Pa_extend.symbol > but is here used with type (MLast.expr, MLast.patt) Pa_extend.a_symbol > make[4]: *** [pa_unicode_macro.cmo] Error 2 > make[4]: Leaving directory > `/build/buildd/matita-0.4.97/components/syntax_extensions' > make[3]: *** [syntax-extensions] Error 2 > make[3]: Leaving directory `/build/buildd/matita-0.4.97/components' > make[2]: *** [EMAIL PROTECTED]@components] Error 2 > make[2]: Leaving directory `/build/buildd/matita-0.4.97' > make[1]: *** [depend-stamp] Error 2 > make[1]: Leaving directory `/build/buildd/matita-0.4.97' > make: *** [debian/stamp-makefile-build] Error 2 > dpkg-buildpackage: failure: debian/rules build gave error exit status 2 > ****************************************************************************** > Build finished at 20071118-1300 > FAILED [dpkg-buildpackage died] -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
