On Wednesday 19 May 2004 18:15, Martin Ellis wrote: > - the CoqIDE, which would pull in some more build-depends, > (presumably liblablgtk-ocaml-dev, at least) but I haven't tried > to build this yet. Maybe this ought to go into a separate package. > It doesn't build at the moment as configure doesn't find library, > even if it's installed. ... or maybe because its looking for liblablgtk*2*-ocaml-dev. Sheesh. > Martin