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-2
- 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-2-any.pkg.tar.zst
- SHA256:
82b340f1302390fc50ae495049d510094f781275c38b39abdaa622b7e6c1f7a5- Last Packager:
- CI (msys2/msys2-autobuild/08a109fc/20694250319)
- Build Date:
- 2026-01-04 14:21:39
- Package Size:
- 1.94 MB
- Installed Size:
- 13.27 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:
-
/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