%FILENAME%
haskell-presburger-1.3.1-20.0-i686.pkg.tar.zst

%NAME%
haskell-presburger

%BASE%
haskell-presburger

%VERSION%
1.3.1-20.0

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

%CSIZE%
105586

%ISIZE%
467919

%MD5SUM%
0b3d73de5f7479c62eb2e1199a2ebf5c

%SHA256SUM%
f24cbbdcb9615ea2adf4d44282f5338030b1d8ef4d9849b525ac59e9e03fce4a

%PGPSIG%
iQIzBAABCAAdFiEEQVthRbOJyKdMn8SyLBRsAalSrA8FAmFjqykACgkQLBRsAalSrA9cOA//RQG9rOn7jamedMy68QvCJMrn1SPgExvzBWHjdEvqJpHpGLJuufbINfzWI7zluXc1FV8/9tsWiB6jTEPjXFizjhDXcJzSKswLCmEK7X/zITsP7sTb7ajmBcWs45jUK2JZbF2OhANamSOsS1E/eYzqBtGYTh6hVOsMV5q3ds1YW/2ZKZl2lEChdyGUXD54Oik7z3/nrsOxlnKmhgW5AlCeYLU+solwBaFkD/Abs9lLMyT1Cms5A24/PmvPDteJH9zbzgFj69t+IhW5T9NcCtVPDnWk/D0v1upsxcA75b50Pvz9FUJVV/Q4Neq9fl0MCAGbdiOyIlAzB0RrjVAkbMlH1CCNUPuCU2Z+Cpl3di9y+nzY4ous8d1vPV50mCy3vwcWqg1GCu9oG8nS6Xm9ZK3FmsH7IVPvG2IJvHDSWJnVYffJWpE7zeosyQClWI/bqKDk6PtXSapge0qU+QIOAnij1jz+EHNpN1soGMnsDguhcNEhHOReRcMnE9uodOPHN7BfZEMDRnP1MVXCDlS9t9FMj3A2u+2x9qFyu0Uh8dEMd4a3ZyU658+ctGR4era4skGwWnj0u6NSmAhQBx7/GzGbRS/vnUxmhFd1sIXF4ix5osoqc/+53NRE9wAIDhlTPGPoqx4Amu5i6xjX4XvAwwHL+8+hFxhF8PhwZpweebrhYwE=

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

%LICENSE%
BSD

%ARCH%
i686

%BUILDDATE%
1633921784

%PACKAGER%
Erich Eckner <arch32 at eckner dot net>

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

