tags 242761 +patch thanks. On Thu, 2004-04-08 at 11:45, Martin Michlmayr wrote: > 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? Looks like it needs a ocaml-best-compilers build-dep and a better method for calling configure with/without -opt. Patch attached. -- Mike Furr <mfurr@debian.org> 1024D/124B26F3 5B9F 587F BC5C D823 50CE 4DB0 ED93 CA29 124B 26F3
Attachment:
signature.asc
Description: This is a digitally signed message part