openKylin

libghc-smtlib-dev 1.0.9-ok1 (amd64 binary) in openkylin yangtze

 .
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.

Details

Package version:
1.0.9-ok1
Source:
haskell-smtlib 1.0.9-ok1 source package in openKylin
Status:
Deleted
Component:
main
Priority:
Optional

Downloadable files

Package relationships

Depends on:
Provides:
  • libghc-smtlib-dev-1.0.9-fa07c