UbuntuUpdates.org

Package "hol88"

Name: hol88

Description:

Higher Order Logic, system image

Latest version: 2.02.19940316dfsg-5build3
Release: oracular (24.10)
Level: base
Repository: universe

Links


Download "hol88"


Other versions of "hol88" in Oracular

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

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates