package names descriptions source package names package contents all options

>> Debian >> Packages >> Package Search Results

Some results have not been displayed due to the search parameters.

You have searched for packages that names contain hol88-library in all suites, all sections, and architecture(s) mips. Found 3 matching packages.

Exact hits

Package hol88-library

• lenny (stable) (math): Higher Order Logic, binary library modules
  2.02.19940316-8: mips
• squeeze (testing) (math): Higher Order Logic, binary library modules
  2.02.19940316-8: mips
• sid (unstable) (math): Higher Order Logic, binary library modules
  2.02.19940316-8: mips

Other hits

Package hol88-library-help

• etch (oldstable) (math): Higher Order Logic, library online help files
  2.02.19940316-1: all
• etch-m68k (math): Higher Order Logic, library online help files
  2.02.19940316-1: all
• lenny (stable) (math): Higher Order Logic, library online help files
  2.02.19940316-8: all
• squeeze (testing) (math): Higher Order Logic, library online help files
  2.02.19940316-8: all
• sid (unstable) (math): Higher Order Logic, library online help files
  2.02.19940316-8: all

Package hol88-library-source

• etch (oldstable) (math): Higher Order Logic, library source files
  2.02.19940316-1: all
• etch-m68k (math): Higher Order Logic, library source files
  2.02.19940316-1: all
• lenny (stable) (math): Higher Order Logic, library source files
  2.02.19940316-8: all
• squeeze (testing) (math): Higher Order Logic, library source files
  2.02.19940316-8: all
• sid (unstable) (math): Higher Order Logic, library source files
  2.02.19940316-8: all