Base Package:
mingw-w64-ppl

Description:
Parma Polyhedra Library - convex polyhedra + numerical abstractions (mingw-w64)
Group(s):
-
Repo:
clangarm64
Homepage:
https://bugseng.com/products/ppl
Repository:
https://github.com/BUGSENG/PPL
Documentation:
https://support.bugseng.com/ppl/
License(s):
GPL-3.0-or-later
Version:
1.2-2
External:
Anitya
ppl
Arch Linux
1.2
Gentoo
1.2-r5
Repology
ppl

Installation:
pacman -S mingw-w64-clang-aarch64-ppl
File:
https://mirror.msys2.org/mingw/clangarm64/mingw-w64-clang-aarch64-ppl-1.2-2-any.pkg.tar.zst
SHA256:
38d2c8f8879ebeaff4166d4cc57307414373e594d483fbf24a9d8f17ded11584
Last Packager:
CI (msys2/msys2-autobuild/08a109fc/20694250319)
Build Date:
2026-01-04 14:23:01
Package Size:
1.65 MB
Installed Size:
12.60 MB
Source-Only Tarball:
https://mirror.msys2.org/mingw/sources/mingw-w64-ppl-1.2-2.src.tar.zst

Dependencies:
Optional Dependencies:
-
Build Dependencies:
Check Dependencies:
-
Provides:
-
Conflicts:
-
Replaces:
-

Provided By:
-
Required By:

Files:
/clangarm64/bin/libppl-14.dll
/clangarm64/bin/libppl_c-4.dll
/clangarm64/bin/ppl-config.exe
/clangarm64/bin/ppl_lcdd.exe
/clangarm64/bin/ppl_lpsol.exe
/clangarm64/bin/ppl_pips.exe
/clangarm64/include/ppl.hh
/clangarm64/include/ppl_c.h
/clangarm64/lib/libppl.dll.a
/clangarm64/lib/libppl_c.dll.a
/clangarm64/share/aclocal/ppl.m4
/clangarm64/share/aclocal/ppl_c.m4
/clangarm64/share/licenses/ppl/LICENSE
/clangarm64/share/man/man1/ppl-config.1.gz
/clangarm64/share/man/man1/ppl_lcdd.1.gz
/clangarm64/share/man/man1/ppl_lpsol.1.gz
/clangarm64/share/man/man1/ppl_pips.1.gz
/clangarm64/share/man/man3/libppl.3.gz
/clangarm64/share/man/man3/libppl_c.3.gz
Last Update: 2026-01-27 10:06:27 [Request update]