UbuntuUpdates.org

Package "maude"

Name: maude

Description:

high-performance logical framework

Latest version: 2.7-2build2
Release: focal (20.04)
Level: base
Repository: universe
Homepage: http://maude.cs.uiuc.edu

Links


Download "maude"


Other versions of "maude" in Focal

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

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates