On Wed, Sep 10, 2014 at 1:22 PM, Christian Weisgerber <na...@mips.inka.de> wrote: > Failures during the amd64 bulk build started in 2014-09-08: > > devel/arm-elf/gcc ? (_bswapsi2.o) > devel/msp430/gcc gengtype internal error > math/coq "No Camlp4 installation found" > > The coq problem is new, obviously fallout from the recent ocaml > work.
Already fixed. Ciao! David
