%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%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEFYACgkQrx0hme8KPM+dZw/+MqmwVnWD4N+3+XS/8IUh+E39p8ajad67SKdKEGtNjreuj126ppJfwHYVEAaG5DBMDVcqpt0/FiyqhhX6bPRj/Q2IENrN6UQEaIilZ+KFWO3bu1vGt2Jl8AoSzTJi1FPmbIUKAK8OYM401jyZiWXANiJ6FPtolOnrde3QEwP7XOm71OTx+W197EJc7/k7M763SmWyQ3V4+OVpoV27NNmp69qsz/oQg6rCWQZiUA8CQfxIJhAuFuE+vf59YCxzGZudltpHF9sIjjdDHGK6KexvzELXyXRp39HU3Sisdc+WNIcYBT7UYsLEcP3eA5kwPOFOnHaCxopBGb+LsOdTNu4Gf20430VpX+GJNFzo/DVj2m9Os2YCRqMGy63LDYD1jbtYYW5OVdRokE/92YBgEcWESR6sxFK6C1Fh2nsYN3OW5nmArtq80OTF+Dh7Apre0G7AxQwUl7wCrhCWuMVyaq9gJ38h5XE7qyjYrR9f3uK1vTuhWw6L39OO6pfjJUG39fvBmVip2ucoCWlM5juKLYazEvbKXvJsH/Zqvq+otmhEFIH+0LT13FXbtdmV4BDJKEtYNsbvLHKVyAjmkn0mVmP7TqYbnCVDTrb6gh1ZcIUKR1L9R43t8soqz8rc1K3kP8WemncKCyWFn1T30+l0gakN0UkkjJpT725XyRuHReZ1goU=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1641837794

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

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

