package names descriptions source package names package contents all options

>> Debian >> Packages >> Package Search Results

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

Exact hits

Package hol88

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

Other hits

Package hol88-contrib-help

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

Package hol88-contrib-source

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

Package hol88-doc

• etch (oldstable) (math): Documentation for hol88
  2.02.19940316-1: all
• etch-m68k (math): Documentation for hol88
  2.02.19940316-1: all
• lenny (stable) (math): Documentation for hol88
  2.02.19940316-8: all
• squeeze (testing) (doc): Documentation for hol88
  2.02.19940316-8: all
• sid (unstable) (doc): Documentation for hol88
  2.02.19940316-8: all

Package hol88-help

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

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

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

Package hol88-source

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