libghc-simple-smt-prof 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, compiled
for profiling. 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:
- libghc-base-prof-4.9.1.0-4081d
- libghc-process-prof-1.4.3.0-996f5
- libghc-simple-smt-dev (= 0.6.0-3build1)
- Provides:
- libghc-simple-smt-prof-0.6.0-53604