openKylin haskell-smtlib package

haskell-smtlib package in openKylin

There is no current release for this source package in openKylin.