Package: coq-float Version: 2001-1 Severity: serious There was an error while trying to autobuild your package:
> Automatic build of coq-float_2001-1 on debian-31.osdl.marist.edu by > sbuild/s390 98 [...] > coq_makefile *.v > Makefile > /bin/sh: /usr/bin/coq_makefile: /usr/bin/ocamlrun: bad interpreter: No such > file or directory > make: *** [build-stamp] Error 126 > ****************************************************************************** > Build finished at 20070825-1153 > FAILED [dpkg-buildpackage died] -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
