[Ur] Any interest in bringing up a platform for virtual conferences?

[Adam Chlipala]

On 3/30/20 2:23 AM, Urs Wegmann wrote:
> I tried to install the demo and failed so far. Is there any advice on how to install libraries? Do I need to build them first or can I just download and copy to a certain directory?

I was inspired to add build instructions including all unusual 
dependencies, /and///I've moved the repo to the urweb organization, so 
see info here:

     https://github.com/urweb/upo

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20200330/0340ff88/attachment.html>