[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

Source Package: haskell-sbv (8.17-1)

Links for haskell-sbv

Наступні двійкові пакунки побудовано з цього джерельного пакунка:

libghc-sbv-dev: symbolic Haskell theorem prover using SMT solving
libghc-sbv-doc: symbolic Haskell theorem prover using SMT solving; documentation
libghc-sbv-prof: symbolic Haskell theorem prover using SMT solving; profiling libraries

adep: cdbs

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

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

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)
adep: libghc-quickcheck2-dev

Haskell automatic testing library for GHC
adep: libghc-quickcheck2-prof

Haskell automatic testing library for GHC; profiling libraries
adep: libghc-async-dev

run IO operations asynchronously and wait for their results
adep: libghc-async-prof

run IO operations asynchronously and wait for their results; profiling libs
adep: libghc-libbf-dev

Binding to the libBF library
adep: libghc-libbf-prof

Binding to the libBF library; profiling libraries
adep: libghc-random-dev

random number generator for Haskell
adep: libghc-random-prof

random number generator for Haskell; profiling libraries
adep: libghc-syb-dev

Generic programming library for Haskell
adep: libghc-syb-prof

Generic programming library for Haskell; profiling libraries
adep: libghc-uniplate-dev

A Haskell library for uniform type generic traversals
adep: libghc-uniplate-prof

Profiling libraries for uniform type generic traversals; profiling libraries

idep: ghc-doc

Documentation for the Glasgow Haskell Compilation system
idep: libghc-quickcheck2-doc

Haskell automatic testing library for GHC; documentation
idep: libghc-async-doc

run IO operations asynchronously and wait for their results; documentation
idep: libghc-libbf-doc

Binding to the libBF library; documentation
idep: libghc-random-doc

random number generator for Haskell; documentation
idep: libghc-syb-doc

Generic programming library for Haskell; documentation
idep: libghc-uniplate-doc

Documentation for uniform type generic traversals; documentation

Debian Package Source Repository (VCS: Git): https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-sbv]
Debian Package Source Repository (Browsable): https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-sbv