» 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 кБ	[списък на файловете]