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

%NAME%
haskell-presburger

%BASE%
haskell-presburger

%VERSION%
1.3.1-21

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

%CSIZE%
136585

%ISIZE%
656026

%MD5SUM%
ef70e7e5327a32fee2a3fbf7fdf824fb

%SHA256SUM%
3e065bda8c058c64cc79a1494a2219fc3f6458955d8177bf613284e85c85535b

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3CokACgkQrx0hme8KPM8dFhAAkQ5ymmttZ3Ks+oT4g3xaKlHAhxNgGxVAT6QjAT2PzOFJnSCW7ZW1lSKRvzRlFpXPkWvSSlsHCweIUzwWw8HQDsd9proKtqK7E156JWJxoOQL6kbBdTQmif9ojAkXoG1A5ar+5AF7iOkJBSG4TKf7d8Jgoq4QN298m+hEUL9XTfC3Nsk75Ij9LRQdDkAD9PxpDU6UuhoaeexMKd95OIc4rGMjozMRrI2KMO8mRZKnPTno5YYlGzn8WERDiLeJvGKiXQ6HdPxTPQXqSJY9+RI1M3RYNzo9Cat0OteR8SyDbmsPydfhHWE6kSucvk3kOnO0awDoIEAfC/YIsNAwV4yL1EPaAogjZrxq3uDSMYG+6THYLVPLeO7RIMRrIFWaLHX4rKvDmZxJDcIDNajzQudgLZjW4wqNVrJ8kR9ARZfk4nuorjiX3L3on0cbHLElKfNZOu31aTVaOD65VD29lN01pRdX1SdSfnjkg3k3d+ciAkVS95IhAcmbVGuN7uk6oqR5g0DuhUVpgSTVai1jJTZpLDFEyNUQOzY3aZcUWtyP2+VB7XxZDW5mGouUJ4uI591lgw558tyBZ1Bad7j1YD8LOaRRSA543ptNahJbrqu2Dq34CxJclQTMBQm+WcJ94Ea4uCU63mFpcEKaXwSzkphQTMseErrDy9Gi6AIl6bc3iT0=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1641837794

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

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

