UbuntuUpdates.org

Package "why3-doc-html"

Name: why3-doc-html

Description:

HTML Documentation of the why3 verification platform

Latest version: 0.88.3-1ubuntu4
Release: bionic (18.04)
Level: base
Repository: universe
Homepage: http://why3.lri.fr/

Links


Download "why3-doc-html"


Other versions of "why3-doc-html" in Bionic

No other version of this package is available in the Bionic release.

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates