libghc-simple-smt-dev 0.9.7-2 (riscv64 binary) in ubuntu noble
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.9.7-2
- Status:
- Published
- Component:
- universe
- Priority:
- Extra
Downloadable files
riscv64 build of haskell-simple-smt 0.9.7-2 in ubuntu noble PROPOSED produced
these files:
- libghc-simple-smt-dev_0.9.7-2_riscv64.deb (180.7 KiB)
Package relationships
- Depends on:
- libc6 (>= 2.27)
- libghc-base-dev-4.17.2.0-9c962
- libghc-process-dev-1.6.17.0-5a7c9
- libgmp10 (>= 2:6.3.0+dfsg)
- Provides:
- libghc-simple-smt-dev-0.9.7-00072