libghc-sbv-dev 7.13-ok1 (amd64 binary) in openkylin yangtze
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://
Details
- Package version:
- 7.13-ok1
- Status:
- Deleted
- Component:
- main
- Priority:
- Optional
Downloadable files
amd64 build of haskell-sbv 7.13-ok1 in openkylin yangtze PROPOSED produced
these files:
- libghc-sbv-dev_7.13-ok1_amd64.deb (4.2 MiB)
Package relationships
- Depends on:
- libatomic1 (>= 4.8)
- libc6 (>= 2.29)
- libghc-array-dev-0.5.3.0-ea273
- libghc-async-dev-2.2.2-1bf81
- libghc-base-dev-4.12.0.0-a86a1
- libghc-containers-dev-0.6.0.1-b7319
- libghc-cracknum-dev-2.3-9af54
- libghc-deepseq-dev-1.4.4.0-b5530
- libghc-directory-dev-1.3.3.0-40647
- libghc-filepath-dev-1.4.2.1-774a0
- libghc-generic-deriving-dev-1.12.4-87395
- libghc-ghc-dev-8.6.5-ea8b3
- libghc-mtl-dev-2.2.2-07ff1
- libghc-pretty-dev-1.1.3.6-4f0eb
- libghc-process-dev-1.6.5.0-e8028
- libghc-quickcheck-dev-2.12.6.1-acdeb
- libghc-random-dev-1.1-63bce
- libghc-syb-dev-0.7.1-6c519
- libghc-template-haskell-dev-2.14.0.0-47084
- libghc-time-dev-1.8.0.2-76e12
- libgmp10
- libtinfo6 (>= 6)
- Provides:
- libghc-sbv-dev-7.13-7e0aa
- Suggests:
