%FILENAME%
ppl-1.2-7.1-x86_64.pkg.tar.zst

%NAME%
ppl

%BASE%
ppl

%VERSION%
1.2-7.1

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

%CSIZE%
4258329

%ISIZE%
19853106

%SHA256SUM%
4454fda7bdb67b7be5d061ce3104aaa038e6ee441c413ecb3a3e61a5013bb4c8

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

%LICENSE%
GPL-3.0-or-later

%ARCH%
x86_64

%BUILDDATE%
1779633566

%PACKAGER%
ALHP x86-64-v3 <alhp@harting.dev>

%DEPENDS%
glibc
glpk
gmp
libgcc
libstdc++

%OPTDEPENDS%
swi-prolog: SWI Prolog interface

%MAKEDEPENDS%
swi-prolog

