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

%NAME%
haskell-presburger

%BASE%
haskell-presburger

%VERSION%
1.3.1-25

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

%CSIZE%
107413

%ISIZE%
527385

%SHA256SUM%
2d61e28e9ec58322fc3f67430299f1013ba0afa6063e691d30b7872c2ecb995a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrBPBIACgkQeGxj8zDXy5Lj1Q/9H9yCwZnbURCqWB15N+ruzkZSMIr8fdjx7AXLWeCv0T3rhKdk5rZHaKXuQLoTYVoSttnTysPPb38wcw/bq7V4CfBCKrLE2K0sF4X7v0oB/9ZK109P34A8fhVae9PbQceP5ruRjUBcwtwmvua100nCA25Lr7EL3sFl3nUAMGFhDmZVBRYp6KUx3gIYrvEJHyb/gICIJ0Cnrn6T373hw5nJfEqFrg+f59qbzp8b1NaWrv5nBSkSmWL2G30MYrp1+WJ/YSAMiIVWAxSio00x1EVs5rBMK7/vR6rmnoYtzPlBIHtzihWMN0kTiIfroZu6A+OT1vO06/RsUo3flwEKnHyqHXujWUaG/JrpPdRKO8fAhpU67E1aWUyEI9o0iXGFjw8+XnlSIHFFaPWmQjmL1Mz0j/3Mcb92G0UlTxUXqQOeT510Ho7SGBHGYIuCvzlz4kFeRfiH5yEEmXG2hNuy/mGYdLjPlkRTu31RyBC0HFOVYZ8/nvLfB5+fHj2ykMuItwFHbAvBRYaSsw3Dj9xCGHWx3XPI0RDR/jUzPPURCpsQZpvbdAkvRTAetwcdX5qZQSeEaKPC0lb50OXn3lAAY1FPBjRH/GFFfz0WhH1L/yuYMcv7f3ckk/L7YDF0mhprEZXazF26jqpacaJhhG3umhr6tE18XMx8BKqcsyS8dlzJ05w=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791048704

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

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

