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

Quellcode-Paket: haskell-sbv (10.2-2)

Links für haskell-sbv

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:

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

Gemeinsames Build-System für Debian-Pakete
adep: debhelper (>= 10)

Hilfsprogramme für debian/rules
adep: ghc (>= 9.4)

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-Bibliothek für automatische Tests für 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

Quellcode-Depot des Debian-Pakets (VCS: Git): https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-sbv]
Quellcode-Depot des Debian-Pakets (browsable): https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-sbv