urweb-doc - Ur/Web reference manual

Property Value
Distribution Debian Sid
Repository Debian Main amd64
Package name urweb-doc
Package version 20170720+dfsg
Package release 2
Package architecture all
Package type deb
Installed size 453 B
Download size 438.31 KB
Official Mirror ftp.br.debian.org
Description -


Package Version Architecture Repository
urweb-doc_20170720+dfsg-2_all.deb 20170720+dfsg all Debian Main
urweb-doc - - -


Type URL
Binary Package urweb-doc_20170720+dfsg-2_all.deb
Source Package urweb

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install urweb-doc deb package:
    # sudo apt-get install urweb-doc




See urweb_20170720+dfsg-2_amd64.deb changelog.

See Also

Package Description
urweb-mode_20170720+dfsg-2_all.deb Emacs mode for editing Ur/Web programs
urweb_20170720+dfsg-2_amd64.deb purely functional language for web programming
usb-modeswitch-data_20170806-2_all.deb mode switching data for usb-modeswitch
usb-modeswitch_2.5.2+repack0-2_amd64.deb mode switching tool for controlling "flip flop" USB devices
usbauth-notifier_1.0~git20180226-1_amd64.deb Notifier for USB Firewall to use with desktop environments
usbauth_1.0~git20180214-1_amd64.deb USB firewall against BadUSB attacks
usbguard-applet-qt_0.7.2+ds-2+b1_amd64.deb USB device authorization policy framework - qt applet
usbguard_0.7.2+ds-2+b1_amd64.deb USB device authorization policy framework
usbip_2.0+4.18.10-2+b1_amd64.deb USB device sharing system over IP network
usbmount_0.0.22_all.deb automatically mount and unmount USB mass storage devices
usbmuxd_1.1.1~git20181007.f838cf6-1_amd64.deb USB multiplexor daemon for iPhone and iPod Touch devices
usbprog-gui_0.2.0-2.2+b2_amd64.deb GUI firmware programming tool for the USBprog hardware
usbprog_0.2.0-2.2+b2_amd64.deb Firmware programming tool for the USBprog hardware
usbredirserver_0.8.0-1_amd64.deb Simple USB host TCP server
usbrelay_0.4-1_amd64.deb USB HID relay driver