%FILENAME%
haskell-simple-smt-0.9.8-2-loong64.pkg.tar.zst

%NAME%
haskell-simple-smt

%BASE%
haskell-simple-smt

%VERSION%
0.9.8-2

%DESC%
A simple way to interact with an SMT solver process

%CSIZE%
111678

%ISIZE%
578831

%SHA256SUM%
99084934f8a5bab068ddb921b5bfe590e39cec90ddbe1e919724277ef60eea90

%PGPSIG%
iHUEABYKAB0WIQSmwC++cwzUWFm5RuFcdK4XC9oUMwUCaP4HgAAKCRBcdK4XC9oUM7fAAP48ll281o/4XaoSom8DC4bt+hKIcERr1U0Znuo/POtSqgD/ZHoDMoG1nJ8Rl5t3e2D3ZjNPa/qUo/Ixmf2NmtxrUQo=

%URL%
https://github.com/yav/simple-smt

%LICENSE%
BSD-3-Clause

%ARCH%
loong64

%BUILDDATE%
1761478502

%PACKAGER%
LCPU <lcpu@pku.edu.cn>

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

