On 15 Aug 2012, at 12:40, Yozo TODA <[email protected]> wrote: > -----BEGIN PGP SIGNED MESSAGE----- > Hash: SHA512 > >> math/coq also can work with camlp4. I have a working port of it at >> https://github.com/jasperla/openbsd-wip/tree/master/math/coq > > good news! > I'll try Chris port later. > anyway, I expect math/coq getting un-broken soon.
I'm running a full build of Christopher's very comprehensive OCaml updates on sparc64 at the moment, and will import them when that completes without errors. Coq 8.4 has just been released, so it would be good if we could update to that directly (although older versions are also useful for backwards-compatibility, but that's a lower priority). -anil
