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

%NAME%
haskell-presburger

%BASE%
haskell-presburger

%VERSION%
1.3.1-24

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

%CSIZE%
155103

%ISIZE%
931013

%SHA256SUM%
d3ae33ae2854eefe4e501f3d121bf6ff1b14b043d50edfacb2a106e69305c55a

%PGPSIG%
iHUEABYKAB0WIQSmwC++cwzUWFm5RuFcdK4XC9oUMwUCaP3tyQAKCRBcdK4XC9oUM8XzAP9++ztA3qP3axuggGmaXgXGe4i1Wg+DLuOaIonDXgZnewEA2C4yI2lzuS3dh1mYnAS3LwY1xVgA1dRv3YQEtgcF0Qc=

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

%LICENSE%
BSD-3-Clause

%ARCH%
loong64

%BUILDDATE%
1761471910

%PACKAGER%
LCPU <lcpu@pku.edu.cn>

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

