-----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. -- yozo. -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.19 (OpenBSD) iQEcBAEBCgAGBQJQK/rZAAoJEP/N++OXMoyDDAMH/3JP9twU1n13Jkb/n4aB7tp2 fVYz3Xk/kVRUPmLEB6Qu34dx15L6ibGraLcZMk4GnfBNzTqzp9zt3twMgFXJgJgW Vo8PFOFhpePGPBvrUEd0Af4c0EknkSGZ4vjyekkMVGV/o6zVB3BM9GEtvWXh2i+q O+TStf0QAmo1nJCI0mo8Yxoqa2nYfccKcFTUowtp+CD2cNi64QiXuBIh42PQYlEa X3kpYhWgn0mJq738tjJjQ8zkni5bV4sNGLhvS1TSW0LMq/VwMmzMWho8QPfKjHVS LtZqw860LtmQwjx36EWXraB7NevrRi5yysjM0/rbP3DYi2yS72BhFZ0QNkuiHi8= =TFXz -----END PGP SIGNATURE-----