SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ppl rpm build for : Fedora 30. For other distributions click ppl.

Name : ppl
Version : 1.2 Vendor : Fedora Project
Release : 10.fc30 Date : 2019-04-02 04:44:40
Group : Unspecified Source RPM : ppl-1.2-10.fc30.src.rpm
Size : 7.33 MB
Packager : Fedora Project
Summary : The Parma Polyhedra Library: a library of numerical abstractions
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.

RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/testing/30/Everything/x86_64/Packages/p

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ppl-1.2-10.fc30.i686.rpm
ftp.icm.edu.pl  ppl-1.2-10.fc30.i686.rpm
ftp.icm.edu.pl  ppl-1.2-10.fc30.i686.rpm
ftp.icm.edu.pl  ppl-1.2-10.fc30.i686.rpm
     Search for other platforms
ppl-1.2-10.fc30.sparc.rpm
ppl-1.2-10.fc30.alpha.rpm
ppl-1.2-10.fc30.ppc.rpm
ppl-1.2-10.fc30.ia64.rpm
ppl-1.2-10.fc30.s390.rpm

Provides :
libppl.so.14
libppl_c.so.4
ppl
ppl(x86-32)

Requires :
libc.so.6
libc.so.6(GLIBC_2.0)
libc.so.6(GLIBC_2.1.3)
libc.so.6(GLIBC_2.11)
libc.so.6(GLIBC_2.3.4)
libc.so.6(GLIBC_2.4)
libgcc_s.so.1
libgcc_s.so.1(GCC_3.0)
libgmp.so.10
libgmpxx.so.4
libm.so.6
libm.so.6(GLIBC_2.0)
libppl.so.14
libstdc++.so.6
libstdc++.so.6(CXXABI_1.3)
libstdc++.so.6(CXXABI_1.3.8)
libstdc++.so.6(CXXABI_1.3.9)
libstdc++.so.6(GLIBCXX_3.4)
libstdc++.so.6(GLIBCXX_3.4.11)
libstdc++.so.6(GLIBCXX_3.4.15)
libstdc++.so.6(GLIBCXX_3.4.20)
libstdc++.so.6(GLIBCXX_3.4.21)
libstdc++.so.6(GLIBCXX_3.4.26)
libstdc++.so.6(GLIBCXX_3.4.9)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
rtld(GNU_HASH)


Content of RPM :
/usr/bin/ppl-config
/usr/lib/.build-id
/usr/lib/.build-id/78
/usr/lib/.build-id/78/5b791f5250f08ccc2d9fa5bdc7a27c2567e666
/usr/lib/.build-id/c6
/usr/lib/.build-id/c6/3de0c5a279a0e906662afc3ccaa83236d99efd
/usr/lib/.build-id/f3
/usr/lib/.build-id/f3/ad3d83e2bd27ff6ad5ae02c5cd9504177780a3
/usr/lib/libppl.so.14
/usr/lib/libppl.so.14.0.0
/usr/lib/libppl_c.so.4
/usr/lib/libppl_c.so.4.0.0
/usr/lib/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

 
ICM