Limit to suite: [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
Search in all suites
Limit to a architecture: [alpha] [amd64] [arm] [arm64] [armel] [armhf] [avr32] [hppa] [hurd-i386] [i386] [ia64] [kfreebsd-amd64] [kfreebsd-i386] [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 suite(s) trixie, kaikki osastot, and architecture(s) x32. Found 7 matching packages.
Paketti hol88-contrib-help
- trixie (testing) (math):
Higher Order Logic, user contributed online help files
2.02.19940316dfsg-5: all
Paketti hol88-contrib-source
- trixie (testing) (math):
Higher Order Logic, user contributed source
2.02.19940316dfsg-5: all
Paketti hol88-doc
- trixie (testing) (doc):
Documentation for hol88
2.02.19940316dfsg-5: all
Paketti hol88-help
- trixie (testing) (math):
Higher Order Logic, online help files
2.02.19940316dfsg-5: all
Paketti hol88-library-help
- trixie (testing) (math):
Higher Order Logic, library online help files
2.02.19940316dfsg-5: all
Paketti hol88-library-source
- trixie (testing) (math):
Higher Order Logic, library source files
2.02.19940316dfsg-5: all
Paketti hol88-source
- trixie (testing) (math):
Higher Order Logic, source files
2.02.19940316dfsg-5: all