%FILENAME%
ppl-1.2-6-riscv64.pkg.tar.zst

%NAME%
ppl

%BASE%
ppl

%VERSION%
1.2-6

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

%CSIZE%
3535312

%ISIZE%
14044701

%SHA256SUM%
7911b048c675cbd7c710f615c751791f413283075cffe8b2d32944901c7dde8f

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

%LICENSE%
GPL-3.0-or-later

%ARCH%
riscv64

%BUILDDATE%
1725980600

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
gcc-libs
glibc
glpk
gmp

%OPTDEPENDS%
swi-prolog: SWI Prolog interface

%MAKEDEPENDS%
swi-prolog

