UbuntuUpdates.org

Package "hol88"

Name: hol88

Description:

Higher Order Logic, system image

Latest version: 2.02.19940316-31
Release: xenial (16.04)
Level: base
Repository: universe

Links


Download "hol88"


Other versions of "hol88" in Xenial

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

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates