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