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 paketit that names contain hol88 in kaikki jakelut, kaikki osastot, and architecture(s) mipsel. Found 9 matching packages.
Tarkat hakutulokset
Paketti hol88
- bullseye (oldstable) (math):
Higher Order Logic, system image
2.02.19940316-35.1: mipsel - bookworm (stable) (math):
Higher Order Logic, system image
2.02.19940316dfsg-5: mipsel
Muut hakutulokset
Paketti 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
Paketti 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
Paketti 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
Paketti 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
Paketti hol88-library
- bullseye (oldstable) (math):
Higher Order Logic, binary library modules
2.02.19940316-35.1: mipsel - bookworm (stable) (math):
Higher Order Logic, binary library modules
2.02.19940316dfsg-5: mipsel
Paketti 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
Paketti 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
Paketti 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