%FILENAME%
haskell-presburger-1.3.1-25-x86_64.pkg.tar.zst

%NAME%
haskell-presburger

%BASE%
haskell-presburger

%VERSION%
1.3.1-25

%DESC%
A decision procedure for quantifier-free linear arithmetic

%CSIZE%
107413

%ISIZE%
527385

%SHA256SUM%
2d61e28e9ec58322fc3f67430299f1013ba0afa6063e691d30b7872c2ecb995a

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAfMACgkQrx0hme8KPM9E6hAAo4rDjXMbC2md+yUflQJ/3y+sf1SMz8M0Hz7OWSGaAM4A6hIvqBlbA5yLIxhBg2WNd7HeISrMhnANPRvT6v4viYXvPSJvwrCqsAhGtfzkW8DSMVMA9gy7XNnLoyNdWrdRHwNdR7tS4yqCBFwtMvKLsQ2GcLVH0HwWtsZqh1AvcT91SOJpEDiJeonWcHecEJXqoYhPURJe2mYoeJ0LL6l10ecfFyiNYpmpAI1Oiyd2o+Zm3MAZpnCua7HIcHT7GO5jgkzLCIIidngHkgFOywl/xww6FgVo4DSzeacJfXvxTNdMrLeZaSbdXxXHJh9dxIisEbZ/zgvgdZISyA3TEbNRi/aAcpTmSVVB8PkhqjSZUFBkpQUSQAa/4J9eduKJcRl2q9gf2kvUPQYM1b3A3eVg1R+Hs2Blc13WfXGYH1a3QPcl69o5zbmim2igS5Yr+Icl/VRBP8RSN8exDcq8m5pngOuV5r+s+VnAdUd0pMUtGZqA9oQm4gSbG9+H30Hc0WC5baSAvLk1CoK8WD0Neac71Kq4bXHWKsL4iDxiCNNiuXwsiVMB/eYLUs/uqFu1PlQSmtmqq7Ys7Bs94U/vn+cwgldmYQDf3CG5pJy/3YANmhpAthCPpZy7sJ1JlU9hOwx0r4BB1Bjc3DEQJ0F8gD8b+nCUeKOeF7qxOdHnWRc2Sl8=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791048704

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

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

