Hello, I recently moved from a Debian system to a Arch system and am struggling to get UrWeb on this new system
I downloaded and extracted the tar from the website: http://www.impredicative.com/ur/urweb-20160306.tgz However I'm not sure how to go from here. Should I be able to use as is, or do I need to compile from source? If so how would I do that? Regards, yc
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
