Ubuntu – Ergebnisse der Paketsuche -- hol88-library

» Ubuntu » Pakete » Ergebnisse der Paketsuche

Suchen in bestimmter Suite: [focal] [focal-updates] [focal-backports] [jammy] [jammy-updates] [jammy-backports] [mantic] [mantic-updates] [mantic-backports] [noble] [noble-updates] [noble-backports] [oracular]

Suchen in allen Suites

Limit search to a specific architecture: [i386] [amd64] [powerpc] [arm64] [armhf] [ppc64el] [riscv64] [s390x]

Einige Ergebnisse wurden aufgrund der Suchparameter nicht angezeigt.

Ihre Suche nach Paketen, deren Name hol88-library enthält, in Suite(s) jammy, allen Bereichen, und auf allen Architekturen: 3 Treffer.

Genaue Treffer

Paket hol88-library

jammy (22.04LTS) (math): Higher Order Logic, binary library modules [universe]
2.02.19940316-35.1: amd64 arm64 armhf ppc64el s390x

Andere Treffer

Paket hol88-library-help

jammy (22.04LTS) (math): Higher Order Logic, library online help files [universe]
2.02.19940316-35.1: all

Paket hol88-library-source

jammy (22.04LTS) (math): Higher Order Logic, library source files [universe]
2.02.19940316-35.1: all