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

%NAME%
haskell-presburger

%BASE%
haskell-presburger

%VERSION%
1.3.1-23

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

%CSIZE%
107706

%ISIZE%
529796

%SHA256SUM%
7dea180c58116d24845a352186266b25bc6c3fc8a655eac3ba99131e86bde853

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkWYACgkQrx0hme8KPM9HKRAAomIg5lJYemy+2EXwZXy7j/1KsxB0tXWZRYwrnBSot9xMgh4dvQhy2nVwZ/zagv6MLVZhxPSohXxnG5dy+hlztLSLS2S0u+lezmxS30x6/07wOkZFMvRKEwB+agOB2jFU+QkHMVyVO/SINFE0UkagpKUZX+uYOw2vkbHre7/cVpCeRYrrN5tQt527hz0tkVHNdNo2WyDjnToLB2CJGtIajRkj+o4TW2i2x/QYNgKBCAtkPpn4s/hF2avBIrlHqxjpTPKbRsNPElJsmIuFeyUi4KX10SJ9Mb1uRAeqWaVUqj0VTqFYI6ElBmYKWTAWBB6LL20WyFJoJMzeJq4ZaG4kAibBKCPeQz/NT86o0967c8sHc8xLIMSFHTjmnRSpBiDZ2gzf75onAS8jW03iqQmGslpyMWL4j6ybOtHBU41qnnTbid11rqqbzaH98wnt5EeqpLbkOoaukvCMhtDKS+bcyobyw5SxXbxR4Uy7jf1YtioQvB03cZv04B8jx/vE0+Qad+ReQ65AHYKnec8a4YFEuQlXgj2A1p9xBo7Mw+UYG/h/0H43MtyOVPATZHS2KjahpML0CSE8iZ9cy2Rx6JPzjhwHpWY+gFgY6CTuUWf6hpSxrmbKiQlMwu1PX7mEoAxqyP/ggoYri3qUm3bCYudRtbrseZYt6EDLRdLXAuvmWmI=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1743682408

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

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

