%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%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmHcdQIACgkQeGxj8zDXy5L53g/+KKdRYblnFYfxvPLN54yeXxnX1xxN+qyBlVs5HyFJrzIG1sekSLDSpAOtqunrBF6VlWyGOmO4e5a8CD46ooKgTW2m2/YYpoNaeclIqB2TMsO9hwTvmXNzm644e7BNkLTDGB7qeMx8L5yignJGZ/YAu1ZaTAoePsFzaGvyoKczx2tc0q2HoVmxA8zm3LJAX/J9sxF64Q3KQL9PwlMpks4SOJxaGilPh4D5mYzn9yAoKBPRBliOOQ+pBq7h27U1AEmTep/NtdU7HB1oc+oB3qqgSSpMtgzhYonKEK3W/Ou1suZ4IBankc14WPHOAL1X/ta2BBpnKKJ69BVmlCPH1uawE6mUXwIAPPS9+Wpj03QO+KZlVH8NM2+S70PoMhQF5wGln5jMrS4EwqKRLvaAeWrPlXttrVktuRe/V/muGWUa9+mYUM6nR+zUBb3Sc4I7cPiQ0WcpC/olApuj0cTBR8B6D1+GQLakna57e0AQ83brzV8ForBhpxFORxy0/qwlqSiJTmkj6cZl2mMNAZuibL2ZsDdWvZlxH9lZjonI+UNKAhfwo7clgHS6r0do0BUvjn+8XAY4XFNv0fYrIBVIbonnjfZoMo2TdZ01jihs22F72is0D1I5/qmo8qcn2ewGeTQo9yZdglPw/WbiX1OpH6BRHtg/DEhc+uxaR4xpv5xPP40=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1641837794

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

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

