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

%NAME%
haskell-presburger

%BASE%
haskell-presburger

%VERSION%
1.3.1-24

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

%CSIZE%
120667

%ISIZE%
622964

%SHA256SUM%
8e60de0fc1b66fdf06afa2f2c2e02bdabc17c910084f178cca5f037b1d4fd75d

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

%LICENSE%
BSD-3-Clause

%ARCH%
riscv64

%BUILDDATE%
1769972890

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

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

