Package "urweb-doc"
| Name: | urweb-doc |
Description: |
Ur/Web reference manual |
| Latest version: | 20170720+dfsg-2build1 |
| Release: | focal (20.04) |
| Level: | base |
| Repository: | universe |
| Head package: | urweb |
| Homepage: | http://impredicative.com/ur/ |
Links
Download "urweb-doc"
Other versions of "urweb-doc" in Focal
No other version of this package is available in the Focal release.Changelog
| Version: 20170720+dfsg-2build1 | 2020-04-28 21:56:13 UTC |
|---|---|
|
urweb (20170720+dfsg-2build1) bionic; urgency=high * No change rebuild against openssl1.1. -- Dimitri John Ledkov <email address hidden> Mon, 05 Feb 2018 23:29:27 +0000 |
|
About
-
Send Feedback to @ubuntu_updates
