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-3
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-3-any.pkg.tar.zst
SHA256:
9e825fffbdef72a73201dbd0f862076a7b7a71ad171423c2173b5526fe82c982
Last Packager:
CI (https://github.com/msys2/msys2-autobuild/actions/runs/39011824531/job/117335787999)
Build Date:
2026-10-17 06:58:22
Package Size:
1.80 MB
Installed Size:
12.43 MB
Source-Only Tarball:
https://mirror.msys2.org/mingw/sources/mingw-w64-ppl-1.2-3.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-10-18 11:12:06 [Request update]