<div dir="ltr">Sure.<div><br></div><div>I suggest that we take coordination correspondence off-list. Please contact me if you would like to be cc'ed.<br></div><div><br></div><div>Regards,</div><div>Eran.</div><div><br></div><div><br></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Sep 16, 2015 at 6:20 PM, Adam Chlipala <span dir="ltr"><<a href="mailto:adamc@csail.mit.edu" target="_blank">adamc@csail.mit.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  
    
  
  <div text="#000000" bgcolor="#FFFFFF">
    OK, so I've been sitting back and waiting for OS X packaging experts
    to come out of the woodwork.  I will assume that that process is
    largely done now, but please do let me know, on-list or off-list, if
    you would also like to be involved in such a process.<br>
    <br>
    The highly scientific method of this thread tells us that Homebrew
    seems to be the right package manager for Ur/Web, probably based on
    assumptions about how technically sophisticated successful Ur/Web
    programmers will be, when it comes to their OS environments.<br>
    <br>
    Thanks, Chris and Eran, for volunteering to produce an official
    package.  It is probably ideal to have associated code in a public
    GitHub repo.  (I still plan to move Ur/Web to GitHub soon-ish, at
    which point it would be natural to have a repo under the urweb
    organization.)<br>
    <br>
    It sounds like Eran has created a first cut at packaging Ur/Web, but
    there are still some issues to iron out.  Eran, would you be
    comfortable leading the process of solving remaining problems, with
    help from Chris and others, based on what you ask them to help with?<span class=""><br><div><br></div></span></div></blockquote></div><br></div></div>