» Ubuntu » Paketit » disco (19.04) » math » hol88
xenial  ] [  bionic  ] [  cosmic  ] [  disco  ] [  eoan  ]
[ Source: hol88  ]

Paketti: hol88 (2.02.19940316-35build1) [ports] [universe]

Links for hol88

Screenshot

Ubuntu-palvelut:

Imuroi lähdekoodipaketti hol88:

Ylläpitäjä:

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.

Samankaltaisia paketteja:

Higher Order Logic, system image

Muut pakettiin hol88 liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances
  • dep: libc6 (>= 2.28)
    GNU C Library: Shared libraries
    myös näennäispaketti, jonka toteuttaa libc6-udeb
  • dep: libgmp10
    Multiprecision arithmetic library
  • dep: libreadline8 (>= 6.0)
    GNU readline and history libraries, run-time libraries
  • dep: libx11-6
    X11 client-side library

Imuroi hol88

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
armhf 5,279.6 kt41,352.0 kt [tiedostoluettelo]