namen van pakketten omschrijvingen namen van bronpakketten inhoud van pakketten alle opties

[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

Verwijzigingen voor hol88

Ubuntu bronnen:

• Probleemrapporten
• Ubuntu Changelog
• Copyright-bestand

Beheerder:

• Ubuntu MOTU Developers (Mailarchief)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

• Camm Maguire

It should generally not be necessary for users to contact the original maintainer.

De volgende binaire pakketten worden van dit bronpakket gebouwd:

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

Andere aan hol88 gerelateerde pakketten

build-depends

build-depends-indep

• adep: debhelper-compat (= 13)

  Pakket niet beschikbaar

• adep: gcl27 (>= 2.7.1-6)

  GNU Common Lisp compiler

• adep: texlive-latex-base

  TeX Live: LaTeX fundamental packages

Download hol88

Bestand	Grootte (in kB)	MD5 checksum
hol88_2.02.19940316dfsg-8.dsc	2,2 kB	231258e68a81501e42536bd29e1223cf
hol88_2.02.19940316dfsg.orig.tar.gz	10.116,6 kB	d916adf41bc7c1f9eb2a7c07ff442b01
hol88_2.02.19940316dfsg-8.debian.tar.xz	129,0 kB	40592157fb32be7292e8ac1541f30d45