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

%NAME%
haskell-presburger

%BASE%
haskell-presburger

%VERSION%
1.3.1-24

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

%CSIZE%
107246

%ISIZE%
527379

%SHA256SUM%
e97d6c9d49285cb119cac3c3e7edcd7cb1b542b9d429fcad5ab250de73cc59a3

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn30MACgkQrx0hme8KPM+QehAAl4hoEqAXSZaDVXOrfjVibHtu7Q1M+ZInqQrj6d6jNBe+E2h9PvO0Dxi1pCiGU88aXo6KXqNQFjpNCbuecSiFeLn0Gy3D1zCDVUZyHMMkJUleGGV5Lmg4e/oBd5H/aESriFbJN84pYRTFHhERc1jG5PvG9BqVAV7IXorBNI+aRzuzRbLeVKnz5GcfiRSaWyF1fXESuXZvR8Sn+8wEHfbXYUHj1zefGRTGLtMvX60o7t7NH8zvBqSv8P4N7WEUdKqwkF7euR7jayJG76bI2YzSzYA7fgr5bWDBtzpLzefyfjNsbzG0BqUzV1hYe7Kn3SLsZNMEQSBKBAKo/yNhK+12ZNj8r0iKlp1TRFSRbPQOm56VBDB3gTZy6MlMeLTfiJqkrSrm6jLm8XyK6FrPKoIy/wRN7MwJAF5uHB4FL6F7BDx8e6pD6kHfw18Z5I300SQagfIVUU7r467L5kA9yU5ZyBlLCpr6qoVQSNa2qdOZkxs6Ktg5RruUH3zsdGZj71uXHsvNPxEwczb74uOVt9XiPJc0LT9AJ2OI00Ad24LmwcjlQNb53D5ceALuhh6nuLTQg/PMCZUcn8ze1kbilh35HRubUx1+7QsOOFsP5ZW2GAcg2x8ZNMHLu2wezFSP0IEJdfj2OAbPuYrZIneLYJrgLsXfh1A3CzMhbniyBGKIqN0=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1760375819

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

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

