Limit to suite: [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
Limit to a architecture: [alpha] [amd64] [arm] [arm64] [armel] [armhf] [avr32] [hppa] [hurd-i386] [i386] [ia64] [kfreebsd-amd64] [kfreebsd-i386] [loong64] [m68k] [mips] [mips64el] [mipsel] [powerpc] [powerpcspe] [ppc64] [ppc64el] [riscv64] [s390] [s390x] [sh4] [sparc] [sparc64] [x32]
Search in all architectures
Some results have not been displayed due to the search parameters.
You have searched for packages that names contain hol88 in all suites, all sections, and architecture(s) ppc64. Found 9 matching packages.
Exact hits
Package hol88
- sid (unstable) (math):
Higher Order Logic, system image
2.02.19940316dfsg-6 [debports]: ppc64
Other hits
Package hol88-contrib-help
- buster (oldoldstable) (math):
Higher Order Logic, user contributed online help files
2.02.19940316-35: all - bullseye (oldstable) (math):
Higher Order Logic, user contributed online help files
2.02.19940316-35.1: all - bookworm (stable) (math):
Higher Order Logic, user contributed online help files
2.02.19940316dfsg-5: all - trixie (testing) (math):
Higher Order Logic, user contributed online help files
2.02.19940316dfsg-5: all - sid (unstable) (math):
Higher Order Logic, user contributed online help files
2.02.19940316dfsg-6: all
Package hol88-contrib-source
- buster (oldoldstable) (math):
Higher Order Logic, user contributed source
2.02.19940316-35: all - bullseye (oldstable) (math):
Higher Order Logic, user contributed source
2.02.19940316-35.1: all - bookworm (stable) (math):
Higher Order Logic, user contributed source
2.02.19940316dfsg-5: all - trixie (testing) (math):
Higher Order Logic, user contributed source
2.02.19940316dfsg-5: all - sid (unstable) (math):
Higher Order Logic, user contributed source
2.02.19940316dfsg-6: all
Package hol88-doc
- buster (oldoldstable) (doc):
Documentation for hol88
2.02.19940316-35: all - bullseye (oldstable) (doc):
Documentation for hol88
2.02.19940316-35.1: all - bookworm (stable) (doc):
Documentation for hol88
2.02.19940316dfsg-5: all - trixie (testing) (doc):
Documentation for hol88
2.02.19940316dfsg-5: all - sid (unstable) (doc):
Documentation for hol88
2.02.19940316dfsg-6: all
Package hol88-help
- buster (oldoldstable) (math):
Higher Order Logic, online help files
2.02.19940316-35: all - bullseye (oldstable) (math):
Higher Order Logic, online help files
2.02.19940316-35.1: all - bookworm (stable) (math):
Higher Order Logic, online help files
2.02.19940316dfsg-5: all - trixie (testing) (math):
Higher Order Logic, online help files
2.02.19940316dfsg-5: all - sid (unstable) (math):
Higher Order Logic, online help files
2.02.19940316dfsg-6: all
Package hol88-library
- sid (unstable) (math):
Higher Order Logic, binary library modules
2.02.19940316dfsg-6 [debports]: ppc64
Package hol88-library-help
- buster (oldoldstable) (math):
Higher Order Logic, library online help files
2.02.19940316-35: all - bullseye (oldstable) (math):
Higher Order Logic, library online help files
2.02.19940316-35.1: all - bookworm (stable) (math):
Higher Order Logic, library online help files
2.02.19940316dfsg-5: all - trixie (testing) (math):
Higher Order Logic, library online help files
2.02.19940316dfsg-5: all - sid (unstable) (math):
Higher Order Logic, library online help files
2.02.19940316dfsg-6: all
Package hol88-library-source
- buster (oldoldstable) (math):
Higher Order Logic, library source files
2.02.19940316-35: all - bullseye (oldstable) (math):
Higher Order Logic, library source files
2.02.19940316-35.1: all - bookworm (stable) (math):
Higher Order Logic, library source files
2.02.19940316dfsg-5: all - trixie (testing) (math):
Higher Order Logic, library source files
2.02.19940316dfsg-5: all - sid (unstable) (math):
Higher Order Logic, library source files
2.02.19940316dfsg-6: all
Package hol88-source
- buster (oldoldstable) (math):
Higher Order Logic, source files
2.02.19940316-35: all - bullseye (oldstable) (math):
Higher Order Logic, source files
2.02.19940316-35.1: all - bookworm (stable) (math):
Higher Order Logic, source files
2.02.19940316dfsg-5: all - trixie (testing) (math):
Higher Order Logic, source files
2.02.19940316dfsg-5: all - sid (unstable) (math):
Higher Order Logic, source files
2.02.19940316dfsg-6: all