Package: coq Version: 8.1~gamma-2 Severity: serious Hi,
your package failed to build from source because it couldn't find the ocamlopt command. I'm honestly not sure whether this is a bug in your build-depends or in ocaml-nox, which seems to have provided this command in the past, but doesn't do so anymore. | Automatic build of coq_8.1~gamma-2 on meitner by sbuild/hppa 79 | Build started at 20061126-1620 | ****************************************************************************** | coq_8.1~gamma-2.dsc exists in cwd | ** Using build dependencies supplied by package: | Build-Depends: debhelper (>= 4.0.0), dpkg-dev (>= 1.13.19), dpatch, ocaml-nox (>= 3.09.0), ocaml-best-compilers, liblablgtk2-ocaml-dev (>= 2.4.0), tetex-extra, hevea | ** Filtered missing central deps that are dependencies of or provide build-deps: | libncurses5-dev (>= 5.3.20030510-1) [...] | make[1]: Leaving directory `/build/buildd/coq-8.1~gamma' | NATIVE CODE COMPILATION FAILED | Coq was built in bytecode instead | /usr/bin/make glob.dump | make[1]: Entering directory `/build/buildd/coq-8.1~gamma' | rm -f glob.dump | rm -f theories/*/*.vo | /usr/bin/make GLOB="-dump-glob glob.dump" world | make[2]: Entering directory `/build/buildd/coq-8.1~gamma' | OCAMLOPT config/coq_config.ml | /bin/sh: ocamlopt: command not found | make[2]: *** [config/coq_config.cmx] Error 127 | make[2]: Leaving directory `/build/buildd/coq-8.1~gamma' | make[1]: *** [glob.dump] Error 2 | make[1]: Leaving directory `/build/buildd/coq-8.1~gamma' | make: *** [build-stamp] Error 2 | ****************************************************************************** | Build finished at 20061126-1809 | FAILED [dpkg-buildpackage died] Full build log(s): http://experimental.ftbfs.de/build.php?&ver=8.1~gamma-2&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]