Package: mingw-w64-clang-aarch64-ppl
- Base Package:
- mingw-w64-ppl
- Description:
- Parma Polyhedra Library - convex polyhedra + numerical abstractions (mingw-w64)
- Group(s):
- -
- Repo:
- clangarm64
- 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-clang-aarch64-ppl - File:
- https://mirror.msys2.org/mingw/clangarm64/mingw-w64-clang-aarch64-ppl-1.2-3-any.pkg.tar.zst
- SHA256:
19b8d4a40fe52409de8af843b45483d6a4c2292ff83344753f604580d54bf054- Last Packager:
- CI (https://github.com/msys2/msys2-autobuild/actions/runs/39010430641/job/117331632943)
- Build Date:
- 2026-10-17 06:38:41
- Package Size:
- 1.63 MB
- Installed Size:
- 12.28 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:
-
/clangarm64/bin/libppl-14.dll /clangarm64/bin/libppl_c-4.dll /clangarm64/bin/ppl-config.exe /clangarm64/bin/ppl_lcdd.exe /clangarm64/bin/ppl_lpsol.exe /clangarm64/bin/ppl_pips.exe /clangarm64/include/ppl.hh /clangarm64/include/ppl_c.h /clangarm64/lib/libppl.dll.a /clangarm64/lib/libppl_c.dll.a /clangarm64/share/aclocal/ppl.m4 /clangarm64/share/aclocal/ppl_c.m4 /clangarm64/share/licenses/ppl/LICENSE /clangarm64/share/man/man1/ppl-config.1.gz /clangarm64/share/man/man1/ppl_lcdd.1.gz /clangarm64/share/man/man1/ppl_lpsol.1.gz /clangarm64/share/man/man1/ppl_pips.1.gz /clangarm64/share/man/man3/libppl.3.gz /clangarm64/share/man/man3/libppl_c.3.gz