[  etiona  ] [  nabia  ] [  aramo  ]

Odnośniki dla hol88

Zasoby systemu Trisquel:

• Raporty o błędach
• Changelog
• Informacje nt. praw autorskich

Opiekun:

• Camm Maguire

Original Maintainer:

• Camm Maguire

Z tego pakietu źródłowego zbudowano następujące pakiety binarne:

hol88

Higher Order Logic, system image

hol88-contrib-help

Higher Order Logic, user contributed online help files

hol88-contrib-source

Higher Order Logic, user contributed source

hol88-doc

Documentation for hol88

hol88-help

Higher Order Logic, online help files

hol88-library

Higher Order Logic, binary library modules

hol88-library-help

Higher Order Logic, library online help files

hol88-library-source

Higher Order Logic, library source files

hol88-source

Higher Order Logic, source files

Inne pakiety związane z hol88

build-depends

build-depends-indep

• adep: debhelper (>= 9)

  helper programs for debian/rules

• adep: gcl (>= 2.6.12-57)

  GNU Common Lisp compiler

• adep: texlive-latex-base

  TeX Live: LaTeX fundamental packages

• adep: libgmp3-dev

  Multiprecision arithmetic library developers tools

• adep: libreadline-dev

  GNU readline and history libraries, development files

• adep: libxmu-dev

  X11 miscellaneous utility library (development headers)

• adep: libxaw7-dev

  X11 Athena Widget library (development headers)

Download hol88

Plik	Rozmiar (w KiB)	Suma kontrolna MD5
hol88_2.02.19940316-35.1.dsc	2,2 KiB	09a903d73e948e568353050da323e73b
hol88_2.02.19940316.orig.tar.gz	10 001,0 KiB	9cfba3cb495e7261e438f6a9324208e1
hol88_2.02.19940316-35.1.debian.tar.xz	128,3 KiB	8f47987f4971172c0eb42e74ad3deee8