package names descriptions source package names package contents all options

>> Debian >> Packages >> Package Search Results

You have searched for packages that names contain hol88-library in all suites, all sections, and all architectures. Found 3 matching packages.

Exact hits

Package hol88-library

• etch (oldstable) (math): Higher Order Logic, binary library modules
  2.02.19940316-1: arm i386 powerpc s390
• etch-m68k (math): Higher Order Logic, binary library modules
  2.02.19940316-1: m68k
• lenny (stable) (math): Higher Order Logic, binary library modules
  2.02.19940316-8: alpha amd64 arm armel hppa i386 ia64 mips mipsel powerpc s390 sparc
• squeeze (testing) (math): Higher Order Logic, binary library modules
  2.02.19940316-8: amd64 armel hppa i386 ia64 mips mipsel powerpc s390 sparc
• sid (unstable) (math): Higher Order Logic, binary library modules
  2.02.19940316-8: alpha amd64 armel hppa i386 ia64 m68k mips mipsel powerpc s390 sparc

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