» Ubuntu » Paketit » xenial (16.04LTS) » math » hol88-library
xenial  ] [  bionic  ] [  cosmic  ] [  disco  ] [  eoan  ]
[ Source: hol88  ]

Paketti: hol88-library (2.02.19940316-31) [universe]

Links for hol88-library



Imuroi lähdekoodipaketti hol88:


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, binary library modules

Imuroi hol88-library

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
amd64 2,965.0 kt26,987.0 kt [tiedostoluettelo]
arm64 2,994.2 kt27,602.0 kt [tiedostoluettelo]
armhf 2,775.4 kt14,083.0 kt [tiedostoluettelo]
i386 2,761.2 kt15,397.0 kt [tiedostoluettelo]
powerpc 2,825.0 kt19,503.0 kt [tiedostoluettelo]
ppc64el 3,026.8 kt30,780.0 kt [tiedostoluettelo]