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

%NAME%
haskell-presburger

%BASE%
haskell-presburger

%VERSION%
1.3.1-18

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

%CSIZE%
106399

%ISIZE%
524457

%MD5SUM%
dbec3f7fe5abbccf041907cf7e2283e7

%SHA256SUM%
99154c44760e5f97ed9e853756eae42d20d73d6d31fbe9c7d61b09f7421a7370

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmAhxg0ACgkQeGxj8zDXy5If/xAAhjBZwZQs7FDC6v4F5CCQ+wxfj8yFt9z/wN2CxVF9w2MQtDDfBgyAYr6J7i4ferANRISO8crZjx4C3rAR//v8H9/HBGPDAzYmh3Xm83QN+GpZQz/RAILvXtohCZP79NPg0yAOUGt6/PUzZY13ON6AOBCPOqSPh9mm9YTTREP9Jaxuz5RnMKTdbYkkclRqVSheglSKUnO0zWFELCjpxJQj40+RXwvpXJ0dXEGVJGXvQAtLqrT1NLKHOOZbmRnlBJkEr/QRGYr02f22cxG7S/Rn2mhiHa/OamIQhALx5b70TUVpV7eVOcaqBopvy8n/ygc2E421tLCGEtl45suCKg9ogAj//pIOKTIzY7RDczqoK8gYJsR5kQ+1/awKKIFnOb0pQ0KbVl3uBNJc9+Y5zLJE9q1A9xAhcaf19yGUZtl+yd4GfLQ8iNUQ+ZjYjuWLKahF7tbc2IYE+dj8/ftZc2EgEkF8iTqA2ZNRHbrtRcbMJylxJRxb8SN0bcB1TB9uxEeDTZ11lo02SIx4Uvhe/caAAWHU2qp32xW6NWREoVonsMT8d2cp1DCBb8LyBlccuWCsehIZ3mKjDzCCmr0LjUnCMqLP5vlhdjFTH5x2VJnqqBmp/ySqJssx0/HQeGN5zUFHgr0oJ+zfYAt/iqoCBcUCi5XvPXDQZCSQr4F2eTxx2wI=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1612826106

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

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

