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

%NAME%
haskell-presburger

%BASE%
haskell-presburger

%VERSION%
1.3.1-22

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

%CSIZE%
103501

%ISIZE%
505605

%MD5SUM%
23045e9af025081807ea8c6d27821be9

%SHA256SUM%
a4d1a19a8b09f767ab489e120584e252ae9835314cefa06f4b029f4cefcfb9be

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOk0ACgkQrx0hme8KPM/3TA//eF5EIl42gsR+YrSQfVCjlaGE/O3/LVp23Vzl+fBH4010N1FWo7C4mpIl0Er6JhjgDVk6byzx6Mcdef+5afY3jy1XOwCeylGX4sjc3Ep8rqpk5evckZClj8VbUaZK71ZZ+xyxjDs1Z4Z46DG+GCN+eY+IzHVpjEYUlxseHOEAWQl1JEdF+1yYKMd38l1uSaKziyzYjgKo3GbCw3Hir99COHEFDBFTU88yY8uDoP7Gix7/oV6T6q2O9EdjatHdDjxYz48pIA6OirhPez1rVRM+Vw51Q5xjO2Hu8fs8ERjs/55oMGBXgAchJv0EyIEFWq9syxignaE5DNbnOpZs4Zylu05LJwVYQ/u0o2op3+AyfokVVMe9zcLVSAjh4AmM33K2WBXa7wU7tAa81y6ioq1V0/GkIXMVUwVesFatpEmiWJedkPffcPbrnN8noeb6P0e/ah40204nntoUqOxQbr8pP8tsku6m/9xSkapqnM4jS1up2wgLkHcFw7+wPkWP2BIMted+sHV5G6xVSvNIpcYKKLi881BuvCUYVTvLZSdprNDGLAy1QPAbVyZ3rCNIbge8Jco3htOgUmlHYML5DL5mxPlWlNAH9LueRYwTzN/sGYFUIQwIXmH8iCqCJeGyk1rXAo1aFjA+yEgvBhPtCgDS2FNM5FHg4iMzkLlWjT/iAGo=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1708895854

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

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

