UbuntuUpdates.org

Package "hol88-help"

Name: hol88-help

Description:

Higher Order Logic, online help files

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

Links


Download "hol88-help"


Other versions of "hol88-help" in Focal

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

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