packages Skip to content

» Ubuntu » Packages » Package Search Results

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

Exact hits

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
• oracular (24.10) (math): Higher Order Logic, binary library modules [universe]
  2.02.19940316dfsg-5build3: amd64 arm64 armhf ppc64el riscv64 s390x
• plucky (25.04) (math): Higher Order Logic, binary library modules [universe]
  2.02.19940316dfsg-5build3: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (math): Higher Order Logic, binary library modules [universe]
  2.02.19940316dfsg-8: amd64 arm64 armhf ppc64el riscv64 s390x

Other hits

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
• oracular (24.10) (math): Higher Order Logic, library online help files [universe]
  2.02.19940316dfsg-5build3: all
• plucky (25.04) (math): Higher Order Logic, library online help files [universe]
  2.02.19940316dfsg-5build3: all
• questing (math): Higher Order Logic, library online help files [universe]
  2.02.19940316dfsg-8: 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
• oracular (24.10) (math): Higher Order Logic, library source files [universe]
  2.02.19940316dfsg-5build3: all
• plucky (25.04) (math): Higher Order Logic, library source files [universe]
  2.02.19940316dfsg-5build3: all
• questing (math): Higher Order Logic, library source files [universe]
  2.02.19940316dfsg-8: all