» Ubuntu » Packages » resolute (26.04LTS) » doc » libghc-smtlib-doc

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

[ Source: haskell-smtlib ]

Пакунок: libghc-smtlib-doc (1.1-5) [universe]

Links for libghc-smtlib-doc

Ubuntu Resources:

Download Source Package haskell-smtlib:

Maintainer:

Ubuntu MOTU Developers (Mail Archive)

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

Original Maintainers (usually from Debian):

Debian Haskell Group (Mail Archive)
Ilias Tsitsimpis

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

Similar packages:

A library for working with the SMTLIB format.; documentation

Інші пакунки пов'язані з libghc-smtlib-doc

depends

recommends

suggests

enhances

dep: haddock-interface-44

virtual package provided by 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 kB	1,920.0 kB	[список файлів]