» Ubuntu » Пакеты » questing (25.10) » math » hol88-library-source
jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]
[ Источник: hol88  ]

Пакет: hol88-library-source (2.02.19940316dfsg-8) [universe]

Ссылки для hol88-library-source

Screenshot

Ресурсы Ubuntu:

Исходный код 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.

Подобные пакеты:

Higher Order Logic, library source files

Загрузка hol88-library-source

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
all 412,8 Кб3 613,0 Кб [список файлов]