UbuntuUpdates.org

Package "why3"

Name: why3

Description:

Software verification platform

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

Links


Download "why3"


Other versions of "why3" 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