[Ur] Installing urweb via apt-get

[Adam Chlipala]

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