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

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

[ Paquet source : haskell-smtlib ]

Paquet : libghc-smtlib-doc (1.1-5) [universe]

Liens pour libghc-smtlib-doc

Ressources Ubuntu :

Télécharger le paquet source haskell-smtlib :

Responsable :

Ubuntu MOTU Developers (Archive du courrier électronique)

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

Original Maintainers (usually from Debian):

Debian Haskell Group (Archive du courrier électronique)
Ilias Tsitsimpis

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

Paquets similaires :

A library for working with the SMTLIB format.; documentation

Autres paquets associés à libghc-smtlib-doc

dépendances

recommandations

suggestions

enhances

dep: haddock-interface-44

paquet virtuel fourni par 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

Télécharger libghc-smtlib-doc

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
all	81,1 ko	1 920,0 ko	[liste des fichiers]