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

%NAME%
ppl

%BASE%
ppl

%VERSION%
1.2-7.0

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

%CSIZE%
2926218

%ISIZE%
17579663

%SHA256SUM%
7d20a99bfd4a6e81ab6b751fb597ac6d9a0c4c37a9a695a77413fe09222496af

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

%LICENSE%
GPL-3.0-or-later

%ARCH%
i686

%BUILDDATE%
1788338142

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

%DEPENDS%
glibc
glpk
gmp
libgcc
libstdc++

%OPTDEPENDS%
swi-prolog: SWI Prolog interface

%MAKEDEPENDS%
swi-prolog

