%FILENAME%
haskell-simple-smt-0.9.7-2-x86_64.pkg.tar.zst

%NAME%
haskell-simple-smt

%BASE%
haskell-simple-smt

%VERSION%
0.9.7-2

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

%CSIZE%
94128

%ISIZE%
426387

%MD5SUM%
9010349322a38f543cbef5bc3b19af01

%SHA256SUM%
71ed4bd03002289c4bd31cac47c085ce123f7d948fe5b04bf3bf7b4432d94958

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEFYACgkQrx0hme8KPM+o8BAAwsi996nc9fC4K3VPktWNYduQQpqTcoK2JthJJLb4w12SEHQvo0K5yNyPJOmLnhu2S1BWVOpreRrVdRqEmO422fEmkqlWWPYAbdFc8VjyiyowQY1vA3XtBwpqBayzFKNbqIxkSLwbHFJOIxb439awZpym99S/FO8Q2FlkzVVvCiKMBrDMt8bjDCym5FnAaK1YJPZ4nLwTxWh5+dYt9ltP11h7nowvrvktdvNFgMs1dXkBNH921v04idOGZFPNpPYMA3kvjQIWXSOjw0UxCLfDcGGbnrGSYI0WDDrARbypg33HJIJ3Ye+3lyH6AFqMNvbCuFM6cu8i6OX+M+RK5pdBX8HopvLAh2AvRPvbC0WCkU0rPwb6foePZNEwt2On7nyWq4QRk5X6KO2YYJ7DKG9gjDnwP0ZS0qDT0okvuIWQJul7zscw2SvcvKPaU344M9/Q/RuHLYyQHYrDOSUVUDSXJ5SrctO6aMahCXW6LyjT8RQqYLwcrU9bKAYNsOmwwx1U3tVfyPeXjNcsgfADW4hoYyQgFQ4WO2szBcKZZDASSZfuxhZFTS3qwJUiWcx44KuWlJw++uXYSsxsavOCgOSodw8S+ktY2uAd2SX2cHfeSrm+u/+DTo2U0XOk/eHoevtZEat5KqfrsOJevAWbiWp17gaGhXtrBVe8U/5dZimTRk0=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1641836148

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

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

