%FILENAME%
haskell-simple-smt-0.9.8-2-x86_64.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%
87717

%ISIZE%
396784

%SHA256SUM%
45b597656603a80bbbacdaec342bdd16659f5a98a025347208c1ae5771232d88

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn30MACgkQrx0hme8KPM+maBAA46idI8B3Ww4Hl1imVZbmYD74hw+VnVsbWkwlFGpYbdBfifEl+epEIgxCS0W0trPQzJt+iYxkRiFnB0Y7HtqkXAfAf86EKUQj5ulST2NzJf3H+kN/l6+H7JH+AILh+KgdVveVcy874vSC1qyKMt1F9c4XBnrB8N4qJU8crH+H5hQGxpxp8ylnrAwfNFGy7KkdLkcdvE1CoIw+FRf31x2oWAOjXSGw4vSVis/0BdrQzt4s5kba9kNUm5jrsXGnSOjqpNkqzdzXDLpN3SvYgR9RRB7qpI8gfLqC/9Q2IZnBtrU7X2c3iUosyxoAJUwkcJTLtwv0Vn1ATctmcE7yQGw5U3HDOZKc9PmX02bSGLIHgr1SAc0W+eAVItEwedyOOtGao8VFb6X1R90DfE4e5renwVPbNgwUW/ETvA/Mn/eL5zmOIRZvXZCyQpXLNAXGk532M+CUsYcvcseV68C73GWceyZDeIACTczwGy6lKRweNDtR0XC5roucf85A+Y3XtQIJqI1nHFZEyWba7un73xcSvipZbo4RhEl9rfwk4070/BYkIFB+JQfiPK7ufIPVbFN8TgiRfALNU173AvTeZ6u1htr4677lhUOBLKVK6vP3CQih5Nde8qXESYTMkH2z3VP3fPn1Hc14rq+cc5Pfi55ueo7yppHsE4eDR8BLWhL1ke4=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1760309086

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

