» Ubuntu » Packages » jammy (22.04LTS) » doc » libghc-smtlib-doc

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

[ Source: haskell-smtlib ]

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

Links for libghc-smtlib-doc

Ubuntu Resources:

Download Source Package haskell-smtlib:

Maintainer:

Ubuntu 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)
Kristoffer H Rose

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-35

virtual package provided by ghc

rec: libjs-mathjax

JavaScript display engine for LaTeX and MathML

Завантажити libghc-smtlib-doc

Завантаження для всіх доступних архітектур
Архітектура	Розмір пакунка	Розмір після встановлення	Файли
all	80.7 kB	1,569.0 kB	[список файлів]