-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 I sent commit requests, but no one touched them yet. please get them to the 5.1 ports tree?
- new port camlp5, for coq update - math/coq update to 8.3pl3, which is now marked broken > you can see my post on camlp5 sent August 2011 on some archive sites, e.g., > > - http://marc.info/?l=openbsd-ports&m=131341309812265&w=2 > - http://www.mail-archive.com/ports@openbsd.org/msg36270.html > > please anyone check and commit camlp5 and coq? -- yozo. -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.18 (OpenBSD) iQEcBAEBCgAGBQJPJNO3AAoJEP/N++OXMoyD7AsH/A6IiuXISWER1/Why/RKWAJy NDiPZgmAJ6iagXBGNoSBUa0zLNzGfi2its3s/BUREHJv6l+Qshbm2M3SV658xTnB via7akkBPmwxVwI40yquUhtxEo6plHCnYDsHhORVDZU2n6DocduMbu46SWnjjOIx gHqldDt53eJLCQzq4WbXMiWDey70ykxyZltJ3yLdKEi+GMevhObQv6Jbgg+eIEbf PUz7ddV6ccA2daTlqtUrYK5aXpuSFsLuhsPr5wRZH+8DIomKjkGIKU/CvFnymu2M NdjxntjmkUOkV410zy/bx3Cq8mQKMPSluRX0p0xfB3II+gPd2JgqwS65298QSFI= =377U -----END PGP SIGNATURE-----