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 <[email protected]> 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 > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
