On Mon, Sep 19, 2016 at 8:17 PM, Yozo TODA <y...@v007.vaio.ne.jp> wrote: > -----BEGIN PGP SIGNED MESSAGE----- > Hash: SHA512 > > here is a patch to update math/coq (8.4pl6) to coq-8.5pl2. > works on amd64 now. > anyone please check this? (hello, didickman?) > > -- yozo. > > -----BEGIN PGP SIGNATURE-----
See https://coq.inria.fr/bugs/show_bug.cgi?id=5007 for at least one fix that's needed. Many other things look odd. for example, I don't think OpenBSD supports "find -delete". Also why is "-opt" being deleted? Sorry, I'd say this needs more work and preferably some comments/rationale on changes you're proposing.