On Fri, 17 Jun 2016 08:41:39 -0400 Adam Chlipala <[email protected]> wrote:
> OK. Should I wait until then to add a link from the Ur project front > page? If you think it will be pretty quick, then that seems like the > easiest path. Certainly [1] could be mentioned in the meantime, that is an up to date repository with Ur/Web and MLton ports which are known to work. Both ports have been used for commercial development with several last releases of OpenBSD and also OpenBSD-current. [1]: https://github.com/extensibl/ports/ I would be really happy for someone to help with testing and review of the ports. That might also make it easier to get them included into the main OpenBSD ports repository. _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
