Base Package:
mingw-w64-ppl

Description:
Parma Polyhedra Library - convex polyhedra + numerical abstractions (mingw-w64)
Group(s):
-
Repo:
clang64
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-x86_64-ppl
File:
https://mirror.msys2.org/mingw/clang64/mingw-w64-clang-x86_64-ppl-1.2-2-any.pkg.tar.zst
SHA256:
14441803706027c0ea79bca32658fe5d0817c4c17f8f3f79a4d6fcdced27e804
Last Packager:
CI (msys2/msys2-autobuild/08a109fc/20694250319)
Build Date:
2026-01-04 14:21:47
Package Size:
1.81 MB
Installed Size:
12.74 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:
/clang64/bin/libppl-14.dll
/clang64/bin/libppl_c-4.dll
/clang64/bin/ppl-config.exe
/clang64/bin/ppl_lcdd.exe
/clang64/bin/ppl_lpsol.exe
/clang64/bin/ppl_pips.exe
/clang64/include/ppl.hh
/clang64/include/ppl_c.h
/clang64/lib/libppl.dll.a
/clang64/lib/libppl_c.dll.a
/clang64/share/aclocal/ppl.m4
/clang64/share/aclocal/ppl_c.m4
/clang64/share/licenses/ppl/LICENSE
/clang64/share/man/man1/ppl-config.1.gz
/clang64/share/man/man1/ppl_lcdd.1.gz
/clang64/share/man/man1/ppl_lpsol.1.gz
/clang64/share/man/man1/ppl_pips.1.gz
/clang64/share/man/man3/libppl.3.gz
/clang64/share/man/man3/libppl_c.3.gz
Last Update: 2026-01-27 01:58:26 [Request update]