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

%NAME%
haskell-presburger

%BASE%
haskell-presburger

%VERSION%
1.3.1-6

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

%CSIZE%
127376

%ISIZE%
729088

%MD5SUM%
a537308ba2546b43f70e725e97d7b8fd

%SHA256SUM%
3601768d7b8d7cca3f809234390ecc79bae4b3b178735478de07a92189a8693a

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlvJUwAACgkQdxk/FSvb5qYUghAAg8hQaetA1H5TeVFJ87pm3lPWBQkv+6KqlcBWTpU8p9rwEHbWqZtmnGxEL1mx+0GfhNRE9F7yH/iVoYei3XMsMhET1TuZSNGQBaChDPAeqaL9Qxu76hNDTdDBxVvnjHwHtf5RFofEFA7B3r9UyG/1guzoAnMZTKcXGcTGs1VSIfHK3Lk7VYQilXnCKjLX46FvHAhEWJR5Xp6Ld8ix9BTOWUjlSF1/dKjDCsiP/Jh34HNaWNOqNHH+8Nx5ieU1FTUg/3u61rgQy8b88aaYDJVTcDhXikEB1bLZNsKtI6ewhmBlhxojzfysArGadrs5j6kVw8j08Jb+FaukkhQkP8wNamZd2wVPzAM/nscbPpbKh9j+OcVPVku+WZfx7pCsx948eSiGG6zeaz3YTbl+/d5eEa4ENXK7/+MNlkTCJs/1BkB9w15r19d8VZEwcU0X8M74soimXzc+BWf96ACYbCa4pY3Gp77P6TPchNKodG+wQ+7zj4rnZ77o/GhV++BQv4AsUgwamhKBowAnAOE/FJHlQ2ufr1R3fiX2cLg9RGqvdLwhLRjamnGmZzWCRsLWI74JoH0cgs9CQUIeaCpQIwe/87AjKpVSfaynCVq8xi4zt179nUuErZi6Ed2ZDYw9zLkSFUZ4oNFwHVfsugQF4zjihICh1hNr2VDf9z+caqD95do=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1539920553

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

