» Ubuntu » Paketit » noble (24.04LTS) » math » hol88-library-source
jammy  ] [  noble  ] [  oracular  ] [  plucky  ] [  questing  ]
[ Source: hol88  ]

Paketti: hol88-library-source (2.02.19940316dfsg-5build3) [universe]

Links for hol88-library-source

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, library source files

Imuroi hol88-library-source

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
all 412.6 kt3,613.0 kt [tiedostoluettelo]