INFO
Name: ppl
Version: 1.2-24.el9
Arch: aarch64
Summary: The Parma Polyhedra Library: a library of numerical abstractions
License: GPLv3+
Vendor: Fedora Project
Build Host: buildhw-a64-22.iad2.fedoraproject.org
Build Date: Sat Sep 17 05:18:01 2022
Size: 5280021
URL: http://www.bugseng.com/ppl
Description: The Parma Polyhedra Library (PPL) is a library for the manipulation of
(not necessarily closed) convex polyhedra and other numerical
abstractions. The applications of convex polyhedra include program
analysis, optimized compilation, integer and combinatorial
optimization and statistical data-editing. The Parma Polyhedra
Library comes with several user friendly interfaces, is fully dynamic
(available virtual memory is the only limitation to the dimension of
anything), written in accordance to all the applicable standards,
exception-safe, rather efficient, thoroughly documented, and free
software. This package provides all what is necessary to run
applications using the PPL through its C and C++ interfaces.
FILES
/usr/bin/ppl-config
/usr/lib/.build-id
/usr/lib/.build-id/01
/usr/lib/.build-id/01/d25d49e5f61c4de3e7aaec247cc28267371b26
/usr/lib/.build-id/1d
/usr/lib/.build-id/1d/b2aee7ef84726df3bdc68a40ca5b491df99e71
/usr/lib/.build-id/e5
/usr/lib/.build-id/e5/97c2b404c3bc2f9835a93ee17ec40db95f89f3
/usr/lib64/libppl.so.14
/usr/lib64/libppl.so.14.0.0
/usr/lib64/libppl_c.so.4
/usr/lib64/libppl_c.so.4.0.0
/usr/lib64/ppl
/usr/share/doc/ppl
/usr/share/doc/ppl/BUGS
/usr/share/doc/ppl/COPYING
/usr/share/doc/ppl/CREDITS
/usr/share/doc/ppl/NEWS
/usr/share/doc/ppl/README
/usr/share/doc/ppl/README.configure
/usr/share/doc/ppl/TODO
/usr/share/doc/ppl/gpl.txt
/usr/share/man/man1/ppl-config.1.gz
/usr/share/ppl
REQUIRES
ld-linux-aarch64.so.1()(64bit)
ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.17)(64bit)
libc.so.6(GLIBC_2.34)(64bit)
libgcc_s.so.1()(64bit)
libgcc_s.so.1(GCC_3.0)(64bit)
libgcc_s.so.1(GCC_3.3.1)(64bit)
libgmp.so.10()(64bit)
libgmpxx.so.4()(64bit)
libm.so.6()(64bit)
libm.so.6(GLIBC_2.17)(64bit)
libppl.so.14()(64bit)
libstdc++.so.6()(64bit)
libstdc++.so.6(CXXABI_1.3)(64bit)
libstdc++.so.6(CXXABI_1.3.8)(64bit)
libstdc++.so.6(CXXABI_1.3.9)(64bit)
libstdc++.so.6(GLIBCXX_3.4)(64bit)
libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
libstdc++.so.6(GLIBCXX_3.4.15)(64bit)
libstdc++.so.6(GLIBCXX_3.4.20)(64bit)
libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
libstdc++.so.6(GLIBCXX_3.4.26)(64bit)
libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
rpmlib(CompressedFileNames) 3.0.4-1
rpmlib(FileDigests) 4.6.0-1
rpmlib(PayloadFilesHavePrefix) 4.0-1
rpmlib(PayloadIsZstd) 5.4.18-1
rtld(GNU_HASH)
PROVIDES
libppl.so.14()(64bit)
libppl_c.so.4()(64bit)
ppl 1.2-24.el9
ppl(aarch-64) 1.2-24.el9
CONFIG FILES
/usr/bin/ppl-config
/usr/lib/.build-id a
/usr/lib/.build-id/01 a
/usr/lib/.build-id/01/d25d49e5f61c4de3e7aaec247cc28267371b26 a
/usr/lib/.build-id/1d a
/usr/lib/.build-id/1d/b2aee7ef84726df3bdc68a40ca5b491df99e71 a
/usr/lib/.build-id/e5 a
/usr/lib/.build-id/e5/97c2b404c3bc2f9835a93ee17ec40db95f89f3 a
/usr/lib64/libppl.so.14
/usr/lib64/libppl.so.14.0.0
/usr/lib64/libppl_c.so.4
/usr/lib64/libppl_c.so.4.0.0
/usr/lib64/ppl
/usr/share/doc/ppl
/usr/share/doc/ppl/BUGS d
/usr/share/doc/ppl/COPYING d
/usr/share/doc/ppl/CREDITS d
/usr/share/doc/ppl/NEWS d
/usr/share/doc/ppl/README d
/usr/share/doc/ppl/README.configure d
/usr/share/doc/ppl/TODO d
/usr/share/doc/ppl/gpl.txt d
/usr/share/man/man1/ppl-config.1.gz d
/usr/share/ppl
LICENSE FILES
GPLv3+
|
