Search in specific suite: [dapper] [dapper-updates] [dapper-backports] [hardy] [hardy-updates] [hardy-backports] [intrepid] [intrepid-updates] [intrepid-backports] [jaunty] [jaunty-updates] [jaunty-backports] [karmic] [karmic-updates] [karmic-backports] [lucid]
Limit search to a specific architecture: [i386] [amd64] [powerpc]
You have searched for packages that names contain hol88-contrib-help in all suites, all sections, and all architectures. Found 1 matching packages.
Exact hits
Package hol88-contrib-help
- hardy (math):
Higher Order Logic, user contributed online help files [universe]
2.02.19940316-7: all - intrepid (math):
Higher Order Logic, user contributed online help files [universe]
2.02.19940316-7: all - jaunty (math):
Higher Order Logic, user contributed online help files [universe]
2.02.19940316-8: all - karmic (math):
Higher Order Logic, user contributed online help files [universe]
2.02.19940316-8: all - lucid (math):
Higher Order Logic, user contributed online help files [universe]
2.02.19940316-8: all