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

%NAME%
ppl

%BASE%
ppl

%VERSION%
1.2-7.0

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

%CSIZE%
2944897

%ISIZE%
17579867

%SHA256SUM%
dfd31fbf5f9837c60328148d174886c69284c7f23de761cd5743db3b9e46f34b

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

%LICENSE%
GPL-3.0-or-later

%ARCH%
pentium4

%BUILDDATE%
1788338207

%PACKAGER%
Erich Eckner <arch at eckner dot net>

%DEPENDS%
glibc
glpk
gmp
libgcc
libstdc++

%OPTDEPENDS%
swi-prolog: SWI Prolog interface

%MAKEDEPENDS%
swi-prolog

