SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ppl-devel rpm build for : openSUSE Leap 42. For other distributions click ppl-devel.

Name : ppl-devel
Version : 1.2 Vendor : obs://build_opensuse_org/home:ptrommler
Release : 2.1 Date : 2017-11-02 16:43:06
Group : Development/Libraries/C and C++ Source RPM : ppl-1.2-2.1.src.rpm
Size : 3.87 MB
Packager : (none)
Summary : Development tools for the Parma Polyhedra Library C and C++ interfaces
Description :
The header files, Autoconf macro, and ppl-config tool for developing
applications using the Parma Polyhedra Library through its C and C++
interfaces.

RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/ptrommler:/formal/openSUSE_Leap_42.3/x86_64

Content of RPM  Changelog  Provides Requires

Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server

Provides :
ppl-devel
ppl-devel(x86-64)

Requires :
libc.so.6()(64bit)
libc.so.6(GLIBC_2.3.4)(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
gmp-devel => 4.1.3
libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
libstdc++.so.6()(64bit)
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
libppl.so.14()(64bit)
libppl_c4 = 1.2
libstdc++.so.6(GLIBCXX_3.4)(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
libppl14 = 1.2
libstdc++.so.6(CXXABI_1.3)(64bit)
libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
rpmlib(PayloadIsLzma) <= 4.4.6-1
libgcc_s.so.1(GCC_3.0)(64bit)
libgcc_s.so.1()(64bit)


Content of RPM :
/usr/bin/ppl-config
/usr/include/ppl.hh
/usr/include/ppl_c.h
/usr/lib64/libppl.so
/usr/lib64/libppl_c.so
/usr/share/aclocal
/usr/share/aclocal/ppl.m4
/usr/share/aclocal/ppl_c.m4
/usr/share/man/man1/ppl-config.1.gz
/usr/share/man/man3/libppl.3.gz
/usr/share/man/man3/libppl_c.3.gz

 
ICM