libghc-simple-smt-dev 0.6.0-3build1 (arm64 binary) in ubuntu zesty
This package provides a simple way to interact with an SMT solver process,
using the SmtLib-2 format.
.
This package provides a library for the Haskell programming language.
See http://
Details
- Package version:
- 0.6.0-3build1
- Status:
- Obsolete
- Component:
- universe
- Priority:
- Extra
Downloadable files
arm64 build of haskell-simple-smt 0.6.0-3build1 in ubuntu zesty PROPOSED produced
these files:
Package relationships
- Depends on:
- libc6 (>= 2.17)
- libghc-base-dev-4.9.1.0-4081d
- libghc-process-dev-1.4.3.0-996f5
- libgmp10
- Provides:
- libghc-simple-smt-dev-0.6.0-53604
- Suggests: