%FILENAME%
ppl-1.2-7-armv7h.pkg.tar.xz

%NAME%
ppl

%BASE%
ppl

%VERSION%
1.2-7

%DESC%
A modern library for convex polyhedra and other numerical abstractions

%CSIZE%
2106528

%ISIZE%
12501382

%SHA256SUM%
4c5106ca5a565535a46315f813ea0674c3de324ea13e257a50ccd21739117d1d

%URL%
https://bugseng.com/products/ppl

%LICENSE%
GPL-3.0-or-later

%ARCH%
armv7h

%BUILDDATE%
1779635325

%PACKAGER%
Arch Linux ARM Build System <builder+xu1@archlinuxarm.org>

%DEPENDS%
glibc
glpk
gmp
libgcc
libstdc++

%OPTDEPENDS%
swi-prolog: SWI Prolog interface

%MAKEDEPENDS%
swi-prolog

