Package: coq Version: 8.2~beta4+dfsg-1 Severity: serious Hi,
your package failed to build from source. | Automatic build of coq_8.2~beta4+dfsg-1 on lofn by sbuild/hppa 98-farm | Build started at 20080815-0318 | ****************************************************************************** | Checking available source versions... | Fetching source files... | Reading package lists... | Building dependency tree... | Need to get 3157kB of source archives. | Get:1 http://sinclair.farm.ftbfs.de experimental/main coq 8.2~beta4+dfsg-1 (dsc) [1555B] | Get:2 http://sinclair.farm.ftbfs.de experimental/main coq 8.2~beta4+dfsg-1 (tar) [3142kB] | Get:3 http://sinclair.farm.ftbfs.de experimental/main coq 8.2~beta4+dfsg-1 (diff) [13.8kB] | Fetched 3157kB in 3s (1041kB/s) | Download complete and in download only mode | ** Using build dependencies supplied by package: | Build-Depends: debhelper (>= 4.0.0), dpkg-dev (>= 1.13.19), dpatch, ocaml-nox (>= 3.10), ocaml-best-compilers, camlp5, liblablgtk2-ocaml-dev (>= 2.4.0), texlive-latex-extra, hevea | Checking for already installed source dependencies... [...] | OCAMLC4 parsing/g_constr.ml4 | Testing parsing/grammar.cma | /bin/sh: ocamlopt: command not found | make[2]: *** [parsing/grammar.cma] Error 127 | make[2]: Leaving directory `/build/buildd/coq-8.2~beta4+dfsg' | make[1]: *** [stage1] Error 2 | make[1]: Leaving directory `/build/buildd/coq-8.2~beta4+dfsg' | make: *** [build-stamp] Error 2 | dpkg-buildpackage: failure: debian/rules build gave error exit status 2 | ****************************************************************************** | Build finished at 20080815-0331 | FAILED [dpkg-buildpackage died] Full build log(s): http://experimental.ftbfs.de/build.php?&ver=8.2~beta4+dfsg-1&pkg=coq&arch=hppa Gruesse, -- Frank Lichtenheld <[EMAIL PROTECTED]> www: http://www.djpig.de/ -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
