%FILENAME%
haskell-smtlib-1.1-17-loong64.pkg.tar.zst

%NAME%
haskell-smtlib

%BASE%
haskell-smtlib

%VERSION%
1.1-17

%DESC%
A library for working with the SMTLIB format

%CSIZE%
414375

%ISIZE%
2576501

%SHA256SUM%
0aedddef7c2ad655cb11b416055ee9db43800afb6dc329358deebf7bfea793c0

%PGPSIG%
iHUEABYKAB0WIQSmwC++cwzUWFm5RuFcdK4XC9oUMwUCaP4J7gAKCRBcdK4XC9oUM8BTAP0XK0/r6bv7EAeYWyq+CoYv9zeRp3JKp9oD8lUTaOvooQD+JmSd7xg9Wm9A8qxtfUlpWujx8vnLtpFIRIEwCn9k1go=

%URL%
https://github.com/yav/smtLib

%LICENSE%
BSD

%ARCH%
loong64

%BUILDDATE%
1761479113

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

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

