urweb-doc_20170720+dfsg-2_all.deb


Advertisement

Description

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 -

Alternatives

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

Download

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

Files

Path
/usr/share/doc-base/urweb-manual
/usr/share/doc/urweb/manual.pdf.gz
/usr/share/doc/urweb-doc/changelog.Debian.gz
/usr/share/doc/urweb-doc/changelog.gz
/usr/share/doc/urweb-doc/copyright

Changelog

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_amd64.deb USB device authorization policy framework - qt applet
usbguard_0.7.2+ds-2_amd64.deb USB device authorization policy framework
usbip_2.0+4.17.17-1_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~git20180428.b95a0a0-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.7.1-1_amd64.deb Simple USB host TCP server
usbrelay_0.2-1+b1_amd64.deb USB HID relay driver
Advertisement
Advertisement