» Ubuntu » Пакеты » resolute (26.04LTS) » doc » libghc-smtlib-doc

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

[ Источник: haskell-smtlib ]

Пакет: libghc-smtlib-doc (1.1-5) [universe]

Ссылки для libghc-smtlib-doc

Ресурсы Ubuntu:

Исходный код haskell-smtlib:

Сопровождающий:

Ubuntu MOTU Developers (Почтовый архив)

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

Original Maintainers (usually from Debian):

Debian Haskell Group (Почтовый архив)
Ilias Tsitsimpis

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

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

A library for working with the SMTLIB format.; documentation

Другие пакеты, относящиеся к libghc-smtlib-doc

зависимости

рекомендации

предложения

enhances

dep: haddock-interface-44

виртуальный пакет, предоставляемый ghc

rec: ghc-doc

Documentation for the Glasgow Haskell Compilation system
rec: libghc-smtlib-dev

A library for working with the SMTLIB format.
rec: libjs-mathjax

JavaScript display engine for LaTeX and MathML

sug: libghc-smtlib-prof

A library for working with the SMTLIB format.; profiling libraries

Загрузка libghc-smtlib-doc

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