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

%NAME%
haskell-presburger

%BASE%
haskell-presburger

%VERSION%
1.3.1-23

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

%CSIZE%
107706

%ISIZE%
529796

%SHA256SUM%
7dea180c58116d24845a352186266b25bc6c3fc8a655eac3ba99131e86bde853

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmfue4wACgkQeGxj8zDXy5JVyA//T3qFQekMUr4Gcu7Ho0GTdCzitDrv+Y7KcfJmTuvrWtjOR3mJbOU3QgsOS1R7xXRoDHFPFeRSLAMh+m/1jFB+sY75ZeMb3M5hRyhus7dd+jS9pxbdvGTVAdBnxipwkdksD2Aa6q54vh08ArOOIblUKdD47iwmoThtln2AliIv5goc0Bexb8AXwbp9zaplSI9pntwqB7Xjco7YxwL0eL0YnNddYbtrayCZFtsr3agpE5RdJnDp44EL3VVsKbQ3U2VDOL1DLEyu732g5fwwgyR2D+8q+12DY+gJIKO4aupj5j5xdo6dIFxl0U1lf/opfISdUsSzSrFLnWTfnAFwWnskqNBY5nOwLtIxbryYCmr7Y/j0Haa9lNnN0AzHvvFGh7Qvt95h3iUGbmkGhK+5eiqe8/5UvhJY2mI0uTpqwH+63PdU7ev72uhnRzQngwXpzIls2UNarCqRZPcE/9peLXEH3SovJkARwOvtqKW2aOu25EYsu7KkUn+WR3ylLiEOupgeYu2sAm8H9yRdDUbuW+Y3yIotJ5U4nzhhT6xOtOr+0W7g/7TY4JMMa+LCPaqOM6b29e8bcQWDiG7JMcYxw05OKMkb12nciDFJ+mXO/4crO6mn1xghnNXQM861iC6dfcgdQkjFvNFJx7U6Dr/HNgD8MdSe98JKU/4myvF/kiDxHg0=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1743682408

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

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

