libghc-simple-smt-prof 0.9.7-2build1 (amd64 binary) in ubuntu oracular
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.9.7-2build1
- Status:
- Published
- Component:
- universe
- Priority:
- Extra
Downloadable files
amd64 build of haskell-simple-smt 0.9.7-2build1 in ubuntu oracular PROPOSED produced
these files:
Package relationships
- Depends on:
- libghc-base-prof-4.17.2.0-68dfe
- libghc-process-prof-1.6.17.0-29e15
- libghc-simple-smt-dev (= 0.9.7-2build1)
- Provides:
- libghc-simple-smt-prof-0.9.7-00072
