%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%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmNhNCAUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwYXbA/9ELOWhKrCeRR1EF3WktB4xX3qPM5VUaL+c0jL5oG6tUwpN1cIaqs1CBNtQSGZ7yEPUP4tMnjyV3TRGdHvfYg2Urm3PyuesqkqzQOhaKVptSCoq7X3DK5ZyEGNc0F+ucTjyPXGeofvxks1LxhLZHvRtD/fQxesLjD6643SGquV7xllRoIaZOQ8sw933fYVqJ7KxyuixUK+udTZJwkKDGYgQBGUQp0AtSfXIqmt+g4/8fCM1u2Iq7uW6paJfI96eG27evovfnGsBgrB4nbHjLXA2cbmD1m1FO0cS4g7XR+jfxlpKNMmuu2DqwvPr1AuqeTyjqDahAJCJXEFuY8aZsVGtJX7Ge3M0CCE5bddOc2FPJgmhyWvBteZBMuXQRBF298Kg1aKg0XlsqzeUNN9JHGWuRjAYM0yJ12NkhwJgagRpBepuuGhkSnHW/0ygO8jTgTmYSiGl2TDsKgplUjXizkk+y++piOvJrhOgtKTzMNfvNlWt2LObTOZt6vLiO7YcoQ+XdfnPgsv+TUUP6SH4hlD7nquxfNUvJo9wtTByTufGgXfU4oCSzK1T2xu6UEuWl+V9Up+gpl6jwqupWxUNNUwLEfNboxD5OKfoN2FwVGkSUD9dknD9DuwjSdKj24Rd6LmhynweHHA7CQ0X2mlwR7G/ntXfLRE1WSZ0QfzgqW0+0A=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1641837794

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

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

