Publishing details
Changelog
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
Builds
Built packages
-
hol88
Higher Order Logic, system image
-
hol88-contrib-help
Higher Order Logic, user contributed online help files
-
hol88-contrib-source
Higher Order Logic, user contributed source
-
hol88-doc
Documentation for hol88
-
hol88-help
Higher Order Logic, online help files
-
hol88-library
Higher Order Logic, binary library modules
-
hol88-library-help
Higher Order Logic, library online help files
-
hol88-library-source
Higher Order Logic, library source files
-
hol88-source
Higher Order Logic, source files
Package files