%FILENAME%
ppl-1.2-7.0-i486.pkg.tar.zst

%NAME%
ppl

%BASE%
ppl

%VERSION%
1.2-7.0

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

%CSIZE%
2687132

%ISIZE%
17875396

%SHA256SUM%
8819f51e9a7e270db3e4bf14bbeb876a8adeeb0f8cdcb483f3a71e22b8d531bf

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

%LICENSE%
GPL-3.0-or-later

%ARCH%
i486

%BUILDDATE%
1788340241

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

%DEPENDS%
glibc
glpk
gmp
libgcc
libstdc++

%OPTDEPENDS%
swi-prolog: SWI Prolog interface

%MAKEDEPENDS%
swi-prolog

