%FILENAME%
haskell-presburger-1.3.1-20.0-pentium4.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%
105570

%ISIZE%
467919

%MD5SUM%
6c9beb1c44bd9ad47efd038188afdb8f

%SHA256SUM%
90ac903dd715b1dc4222e9f08909545658081ac72c8a9cbc71a241a3c389e6f6

%PGPSIG%
iQIzBAABCAAdFiEEQVthRbOJyKdMn8SyLBRsAalSrA8FAmFjq8AACgkQLBRsAalSrA89Ng//fd76i/2ry2X8iBR3ql+lrzmVfG1GLlA4BK8HAQFRawp6j6MlqxNVAidhSZvbWp4PJ3BrdpxLyfUs2GJ+ChGjx9FPy1Vn2r0+w19xBzi3gviJezFOjDyAfOskeVlewQ83/mP3KgIZk8G2Mrp1/GerqSxnSbXDZxjPLVwkCCn6DJrGC7T+tM5Y1/Zc3t1L5kgbhoOc5hLTwT5WKgI+jl4dna8Q4xaioFEIe8HSUF2yoig7XHWELHMFFc4qh624rKT10sykqYjivNEDIOzS2Rd8DtO68ckxcv2tgkry9V8+HFFWwPfCU920ODmYpliIP78deH8yEfN9za9n6jX1Olvy4lwyevZ/gMcmzfX85/lqE/fGuJGghUG0G5cGrH75K5/Y75SKPVp1kDyOp+cP65qVbYsEuHQJ+ufVy+GNE5MNzr+PsjvwOUiq0FwtmlgL5aOqwRyoKlpxtafkJlB/1OxxSk1RD541+3loOTIzmdouq/o0fFrR5rPOApyj3OVBhTGlqRSwMysouKYlVzE5eORDgafir2V1tFwkVYza7rwVRhVCHeVSwqJXddDJapK+n91XKF0Jn0uXSKwK9M2/wcSRpG8n8HkWjbO6siyEt7EXLbv9q6Aa63l2Y5b2qsUaYk3o6o7H9wYfqtyYAtK/1RRmaRpQEPWkJhQyTc2XDPw8WuY=

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

%LICENSE%
BSD

%ARCH%
pentium4

%BUILDDATE%
1633921935

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

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

