[Ur] Installing urweb via apt-get

Adam Chlipala adamc at csail.mit.edu
Mon Feb 8 18:03:29 EST 2016


Ur/Web is only in Debian testing at the moment.  If you want to install 
in stable, I believe you can download the .deb's from testing and 
install them with "dpkg -i blah.deb".

On 02/08/2016 05:58 PM, Yves Cloutier wrote:
> Hello,
>
> I'd like to know how to install urweb on a debian system using apt-get?
>
> I tried sudo apt-get install urweb but it says it couldn't find any 
> package by that name.
>
> Any help is appreciated!
>
> regards,
>
> yves



More information about the Ur mailing list