Package: coq Version: 7.3.1-2 I tried building coq from source and it only hangs, waiting for input. I tried this with sbuild on i386 and mipsel, and by hand on i386. The package obvioulsed used to build but it seems it no longer does. Can you please check what's going on there?
> mv -f patch-stampT patch-stamp > dh_testdir > ./configure -opt --prefix /usr --mandir /usr/share/man --emacslib > /usr/share/emacs/site-lisp/coq || ./configure --prefix /usr --mandir /usr/share/man > --emacslib /usr/share/emacs/site-lisp/coq > ocamlc.opt is not present in your path ! > Give me manually the path to the ocamlc executable [/usr/local/bin by default]: -- Martin Michlmayr [EMAIL PROTECTED] -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
