[Ur] Anyone want to produce OS X binary packages for Ur/Web?

[Chris Wilson]

I have some experience with the Homebrew package manager (written in Ruby). And I could take this on. I'd also welcome any assistance.

Thanks. 



> On Sep 14, 2015, at 10:01, Adam Chlipala <adamc at csail.mit.edu> wrote:
> 
> We're in the official package systems of Debian and Ubuntu now (thanks to Benjamin Barenblat).  Mac OS X seems to be the other big platform popular among Ur/Web users.  Does anyone have experience producing easy-to-install binary packages for OS X?  I remember hearing that there are several competing packaging systems.
> 
> If someone wants to take on the task of producing and distributing official packages there, I'd be grateful.
> 
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur