Search in specific suite: [aramo] [aramo-updates] [aramo-security] [aramo-backports] [nabia] [nabia-updates] [nabia-security] [nabia-backports] [etiona] [etiona-updates] [etiona-security] [etiona-backports]
Limit search to a specific architecture: [i386] [amd64] [armhf] [arm64] [ppc64el]
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) amd64. Found 9 matching packages.
Exact hits
Package hol88
- aramo (math):
Higher Order Logic, system image
2.02.19940316-35.1: amd64 - nabia (math):
Higher Order Logic, system image
2.02.19940316-35build2: amd64 - etiona (math):
Higher Order Logic, system image
2.02.19940316-35: amd64
Other hits
Package hol88-contrib-help
- aramo (math):
Higher Order Logic, user contributed online help files
2.02.19940316-35.1: all - nabia (math):
Higher Order Logic, user contributed online help files
2.02.19940316-35build2: all - etiona (math):
Higher Order Logic, user contributed online help files
2.02.19940316-35: all
Package hol88-contrib-source
- aramo (math):
Higher Order Logic, user contributed source
2.02.19940316-35.1: all - nabia (math):
Higher Order Logic, user contributed source
2.02.19940316-35build2: all - etiona (math):
Higher Order Logic, user contributed source
2.02.19940316-35: all
Package hol88-doc
- aramo (math):
Documentation for hol88
2.02.19940316-35.1: all - nabia (math):
Documentation for hol88
2.02.19940316-35build2: all - etiona (math):
Documentation for hol88
2.02.19940316-35: all
Package hol88-help
- aramo (math):
Higher Order Logic, online help files
2.02.19940316-35.1: all - nabia (math):
Higher Order Logic, online help files
2.02.19940316-35build2: all - etiona (math):
Higher Order Logic, online help files
2.02.19940316-35: all
Package hol88-library
- aramo (math):
Higher Order Logic, binary library modules
2.02.19940316-35.1: amd64 - nabia (math):
Higher Order Logic, binary library modules
2.02.19940316-35build2: amd64 - etiona (math):
Higher Order Logic, binary library modules
2.02.19940316-35: amd64
Package hol88-library-help
- aramo (math):
Higher Order Logic, library online help files
2.02.19940316-35.1: all - nabia (math):
Higher Order Logic, library online help files
2.02.19940316-35build2: all - etiona (math):
Higher Order Logic, library online help files
2.02.19940316-35: all
Package hol88-library-source
- aramo (math):
Higher Order Logic, library source files
2.02.19940316-35.1: all - nabia (math):
Higher Order Logic, library source files
2.02.19940316-35build2: all - etiona (math):
Higher Order Logic, library source files
2.02.19940316-35: all