packages Skip to content

» Ubuntu » Packages » Package Search Results

You have searched for packages that names contain hol88 in all suites, all sections, and all architectures. Found 9 matching packages.

Exact hits

Package hol88

• jammy (22.04LTS) (math): Higher Order Logic, system image [universe]
  2.02.19940316-35.1: amd64 arm64 armhf ppc64el s390x
• noble (24.04LTS) (math): Higher Order Logic, system image [universe]
  2.02.19940316dfsg-5build3: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (math): Higher Order Logic, system image [universe]
  2.02.19940316dfsg-8: amd64 arm64 armhf ppc64el riscv64 s390x
• resolute (26.04LTS) (math): Higher Order Logic, system image [universe]
  2.02.19940316dfsg-8build1: amd64 arm64 armhf ppc64el riscv64 s390x
• stonking (math): Higher Order Logic, system image [universe]
  2.02.19940316dfsg-9: amd64 arm64 armhf ppc64el riscv64 s390x

Other hits

Package hol88-contrib-help

• jammy (22.04LTS) (math): Higher Order Logic, user contributed online help files [universe]
  2.02.19940316-35.1: all
• noble (24.04LTS) (math): Higher Order Logic, user contributed online help files [universe]
  2.02.19940316dfsg-5build3: all
• questing (25.10) (math): Higher Order Logic, user contributed online help files [universe]
  2.02.19940316dfsg-8: all
• resolute (26.04LTS) (math): Higher Order Logic, user contributed online help files [universe]
  2.02.19940316dfsg-8build1: all
• stonking (math): Higher Order Logic, user contributed online help files [universe]
  2.02.19940316dfsg-9: all

Package hol88-contrib-source

• jammy (22.04LTS) (math): Higher Order Logic, user contributed source [universe]
  2.02.19940316-35.1: all
• noble (24.04LTS) (math): Higher Order Logic, user contributed source [universe]
  2.02.19940316dfsg-5build3: all
• questing (25.10) (math): Higher Order Logic, user contributed source [universe]
  2.02.19940316dfsg-8: all
• resolute (26.04LTS) (math): Higher Order Logic, user contributed source [universe]
  2.02.19940316dfsg-8build1: all
• stonking (math): Higher Order Logic, user contributed source [universe]
  2.02.19940316dfsg-9: all

Package hol88-doc

• jammy (22.04LTS) (math): Documentation for hol88 [universe]
  2.02.19940316-35.1: all
• noble (24.04LTS) (math): Documentation for hol88 [universe]
  2.02.19940316dfsg-5build3: all
• questing (25.10) (math): Documentation for hol88 [universe]
  2.02.19940316dfsg-8: all
• resolute (26.04LTS) (math): Documentation for hol88 [universe]
  2.02.19940316dfsg-8build1: all
• stonking (math): Documentation for hol88 [universe]
  2.02.19940316dfsg-9: all

Package hol88-help

• jammy (22.04LTS) (math): Higher Order Logic, online help files [universe]
  2.02.19940316-35.1: all
• noble (24.04LTS) (math): Higher Order Logic, online help files [universe]
  2.02.19940316dfsg-5build3: all
• questing (25.10) (math): Higher Order Logic, online help files [universe]
  2.02.19940316dfsg-8: all
• resolute (26.04LTS) (math): Higher Order Logic, online help files [universe]
  2.02.19940316dfsg-8build1: all
• stonking (math): Higher Order Logic, online help files [universe]
  2.02.19940316dfsg-9: all

Package hol88-library

• jammy (22.04LTS) (math): Higher Order Logic, binary library modules [universe]
  2.02.19940316-35.1: amd64 arm64 armhf ppc64el s390x
• noble (24.04LTS) (math): Higher Order Logic, binary library modules [universe]
  2.02.19940316dfsg-5build3: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (math): Higher Order Logic, binary library modules [universe]
  2.02.19940316dfsg-8: amd64 arm64 armhf ppc64el riscv64 s390x
• resolute (26.04LTS) (math): Higher Order Logic, binary library modules [universe]
  2.02.19940316dfsg-8build1: amd64 arm64 armhf ppc64el riscv64 s390x
• stonking (math): Higher Order Logic, binary library modules [universe]
  2.02.19940316dfsg-9: amd64 arm64 armhf ppc64el riscv64 s390x

Package hol88-library-help

• jammy (22.04LTS) (math): Higher Order Logic, library online help files [universe]
  2.02.19940316-35.1: all
• noble (24.04LTS) (math): Higher Order Logic, library online help files [universe]
  2.02.19940316dfsg-5build3: all
• questing (25.10) (math): Higher Order Logic, library online help files [universe]
  2.02.19940316dfsg-8: all
• resolute (26.04LTS) (math): Higher Order Logic, library online help files [universe]
  2.02.19940316dfsg-8build1: all
• stonking (math): Higher Order Logic, library online help files [universe]
  2.02.19940316dfsg-9: all

Package hol88-library-source

• jammy (22.04LTS) (math): Higher Order Logic, library source files [universe]
  2.02.19940316-35.1: all
• noble (24.04LTS) (math): Higher Order Logic, library source files [universe]
  2.02.19940316dfsg-5build3: all
• questing (25.10) (math): Higher Order Logic, library source files [universe]
  2.02.19940316dfsg-8: all
• resolute (26.04LTS) (math): Higher Order Logic, library source files [universe]
  2.02.19940316dfsg-8build1: all
• stonking (math): Higher Order Logic, library source files [universe]
  2.02.19940316dfsg-9: all

Package hol88-source

• jammy (22.04LTS) (math): Higher Order Logic, source files [universe]
  2.02.19940316-35.1: all
• noble (24.04LTS) (math): Higher Order Logic, source files [universe]
  2.02.19940316dfsg-5build3: all
• questing (25.10) (math): Higher Order Logic, source files [universe]
  2.02.19940316dfsg-8: all
• resolute (26.04LTS) (math): Higher Order Logic, source files [universe]
  2.02.19940316dfsg-8build1: all
• stonking (math): Higher Order Logic, source files [universe]
  2.02.19940316dfsg-9: all