libghc-sbv-dev - 7.12-2+b2
main
Express properties about Haskell programs and automatically prove them
using SMT (Satisfiability Modulo Theories) solvers.
.
This package provides a library for the Haskell programming language.
See http://www.haskell.org/ for more information on Haskell.
Priority: extra
Section: haskell
Suites: amber byzantium crimson dawn landing
Maintainer: Debian Haskell Group <pkg-haskell-maintainers [꩜] lists.alioth.debian.org>
Homepage
Source Package
Dependencies
- libghc-quickcheck-dev-2.11.3-74058
- libghc-array-dev-0.5.2.0-03a64
- libghc-async-dev-2.2.1-34a97
- libghc-base-dev-4.11.1.0-7db1a
- libghc-containers-dev-0.5.11.0-1b029
- libghc-cracknum-dev-2.2-ea2a3
- libghc-deepseq-dev-1.4.3.0-b30f4
- libghc-directory-dev-1.3.1.5-043d2
- libghc-filepath-dev-1.4.2-c0b20
- libghc-generic-deriving-dev-1.12.2-f92f7
- libghc-ghc-dev-8.4.4-d5d1b
- libghc-mtl-dev-2.2.2-28a8b
- libghc-pretty-dev-1.1.3.6-1c145
- libghc-process-dev-1.6.3.0-5105e
- libghc-random-dev-1.1-98be1
- libghc-reinterpret-cast-dev-0.1.0-cb0af
- libghc-syb-dev-0.7-eee7c
- libghc-template-haskell-dev-2.13.0.0-50e9c
- libghc-time-dev-1.8.0.2-9c1c7
- libatomic1 (>= 4.8)
- libc6 (>= 2.27)
- libgmp10
- libtinfo6 (>= 6)
Installed Size: 55.0 MB
Architectures: amd64 arm64
Versions
7.12-2+b2 arm64
7.12-2+b2 amd64