Package: mingw-w64-x86_64-ppl
- Base Package:
- mingw-w64-ppl
- Description:
- Parma Polyhedra Library - convex polyhedra + numerical abstractions (mingw-w64)
- Group(s):
- -
- Repo:
- mingw64
- 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-x86_64-ppl - File:
- https://mirror.msys2.org/mingw/mingw64/mingw-w64-x86_64-ppl-1.2-2-any.pkg.tar.zst
- SHA256:
76de88722a245a100ce626accd61613e92d71fa085423c1f0039a2c3f050b617- Last Packager:
- CI (msys2/msys2-autobuild/08a109fc/20694250319)
- Build Date:
- 2026-01-04 14:21:43
- 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:
-
/mingw64/bin/libppl-14.dll /mingw64/bin/libppl_c-4.dll /mingw64/bin/ppl-config.exe /mingw64/bin/ppl_lcdd.exe /mingw64/bin/ppl_lpsol.exe /mingw64/bin/ppl_pips.exe /mingw64/include/ppl.hh /mingw64/include/ppl_c.h /mingw64/lib/libppl.dll.a /mingw64/lib/libppl_c.dll.a /mingw64/share/aclocal/ppl.m4 /mingw64/share/aclocal/ppl_c.m4 /mingw64/share/licenses/ppl/LICENSE /mingw64/share/man/man1/ppl-config.1.gz /mingw64/share/man/man1/ppl_lcdd.1.gz /mingw64/share/man/man1/ppl_lpsol.1.gz /mingw64/share/man/man1/ppl_pips.1.gz /mingw64/share/man/man3/libppl.3.gz /mingw64/share/man/man3/libppl_c.3.gz