UbuntuUpdates.org

Package "hol88"

Name: hol88

Description:

Higher Order Logic, system image

Latest version: 2.02.19940316-35build2
Release: focal (20.04)
Level: base
Repository: universe

Links


Download "hol88"


Other versions of "hol88" in Focal

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

Packages in group

Deleted packages are displayed in grey.


Changelog

Version: 2.02.19940316-35build2 2020-04-28 21:52:25 UTC

  hol88 (2.02.19940316-35build2) focal; urgency=medium

  * No-change rebuild for libgcc-s1 package name change.

 -- Matthias Klose <email address hidden> Mon, 23 Mar 2020 07:16:10 +0100




About   -   Send Feedback to @ubuntu_updates