%FILENAME%
haskell-presburger-1.3.1-3-armv7h.pkg.tar.xz

%NAME%
haskell-presburger

%VERSION%
1.3.1-3

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

%CSIZE%
117268

%ISIZE%
706560

%MD5SUM%
1ce1e19089cf0bd69c03e67f3fbc6197

%SHA256SUM%
947aadfa17e1c3b49a389ef5dc2cd18432c420c226efec4931ac755e3f44b4de

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAloi8dMACgkQdxk/FSvb5qabLA/+Mxu6CVxDoD55BeWee9zTw0HT40qNSRN/9dF945/tsmnk9HrOqj9qDFDUo1K5zCi3Ifess80nGRyRDOeaJYAeL9+U+JKAdL63Hjwucwp0gwkpJRc4wLAhx6xPRCEudkTJSiC84+bRnqcC7wPiGXHEINZ24g4Z2BnZ1XWxII+uUcsJ8MSbqZ7Vrx/x1cpY1SvL9l7bCs9LSe5jG5/xeVYrM8wh1MHEzeGWDcCCvMzReZCP9D8hRC3+itqyynJp9h8j40T1TifWo2kPLQUSpXjbz/0I1veMglPmuK26QjwfRBKthEQeN9o+ZIifQOLT+FHyab9Y/vMyudGbPo2iLiqmp6vVPM07CU8xDpOHt7G/eckN1Syp1Jhy2nSRO62iiVt8fB10Vzs7IMj7Qy4v58BJxMq1JuE1cBmvpX3yx2C2x4OJOZ4bH3jDc1vOdlDrUD9kl3VkgA+cm6sEjNOUCH1hBvtBJm9c4gJIIPYyLEo4fCq2Tk2wSVN1Py6GaqXhxKQjowK6D/7tmHiN1a8Bx44t+v1yLaHH7AHNpiojOpHsxQxC7YbwniAfTGi1J9q0hrt/y2O5N1QNmA5Q4VjMv/KjN0eQcqrZnCckF7R+t+L6Sow/xNdSDXUkP+eADKBlNXkdQ/dfge8vYiBe1Apj1I81XVXjZbuQUHBx1R05cD1WGcA=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1512239566

%PACKAGER%
Arch Linux ARM Build System <builder+xu5@archlinuxarm.org>

