Package: mingw-w64-ucrt-x86_64-ppl
- Base Package:
- mingw-w64-ppl
- Description:
- Parma Polyhedra Library - convex polyhedra + numerical abstractions (mingw-w64)
- Group(s):
- -
- Repo:
- ucrt64
- 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:
- Installation:
-
pacman -S mingw-w64-ucrt-x86_64-ppl - File:
- https://mirror.msys2.org/mingw/ucrt64/mingw-w64-ucrt-x86_64-ppl-1.2-3-any.pkg.tar.zst
- SHA256:
9edd6d8a5dd6a2d95792f5a93d9b24145f807e9f7ab91f555c9c6d89abf2d75d- Last Packager:
- CI (https://github.com/msys2/msys2-autobuild/actions/runs/39030208057/job/117388980281)
- Build Date:
- 2026-10-17 11:55:52
- Package Size:
- 1.95 MB
- Installed Size:
- 13.32 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:
-
/ucrt64/bin/libppl-14.dll /ucrt64/bin/libppl_c-4.dll /ucrt64/bin/ppl-config.exe /ucrt64/bin/ppl_lcdd.exe /ucrt64/bin/ppl_lpsol.exe /ucrt64/bin/ppl_pips.exe /ucrt64/include/ppl.hh /ucrt64/include/ppl_c.h /ucrt64/lib/libppl.dll.a /ucrt64/lib/libppl_c.dll.a /ucrt64/share/aclocal/ppl.m4 /ucrt64/share/aclocal/ppl_c.m4 /ucrt64/share/licenses/ppl/LICENSE /ucrt64/share/man/man1/ppl-config.1.gz /ucrt64/share/man/man1/ppl_lcdd.1.gz /ucrt64/share/man/man1/ppl_lpsol.1.gz /ucrt64/share/man/man1/ppl_pips.1.gz /ucrt64/share/man/man3/libppl.3.gz /ucrt64/share/man/man3/libppl_c.3.gz