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

Zdrojový balík: haskell-smtlib (1.1-3) [universe]

Odkazy pre haskell-smtlib

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

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

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:

libghc-smtlib-dev: A library for working with the SMTLIB format.
libghc-smtlib-doc: A library for working with the SMTLIB format.; documentation
libghc-smtlib-prof: A library for working with the SMTLIB format.; profiling libraries

adep: cdbs

common build system for Debian packages
adep: debhelper (>= 10)

helper programs for debian/rules
adep: ghc (>= 8)

The Glasgow Haskell Compilation system
adep: ghc-prof

Profiling libraries for the Glasgow Haskell Compilation system
adep: haskell-devscripts (>= 0.13)

Debian tools to build Haskell packages (with hscolour)

Úložisko zdrojových balíkov Debianu (VCS: Git): https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-smtlib]
Úložisko zdrojových balíkov Debianu (možno prezerať): https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-smtlib