SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ppl-devel rpm build for : CentOS 6. For other distributions click ppl-devel.

Name : ppl-devel
Version : 0.10.2 Vendor : CentOS
Release : 11.el6 Date : 2010-11-11 22:17:06
Group : Development/Libraries Source RPM : ppl-0.10.2-11.el6.src.rpm
Size : 2.66 MB
Packager : CentOS BuildSystem < http://bugs_centos_org>
Summary : Development tools for the Parma Polyhedra Library C and C++ interfaces
Description :
The header files, Autoconf macro and minimal documentation for
developing applications using the Parma Polyhedra Library through
its C and C++ interfaces.

RPM found in directory: /vol/rzm7/linux-centos-vault/6.5/os/x86_64/Packages

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-32)

Requires :
libppl_c.so.2
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(CompressedFileNames) <= 3.0.4-1
gmp-devel => 4.1.3
ppl = 0.10.2-11.el6
rpmlib(PayloadIsXz) <= 5.2-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
libppl.so.7


Content of RPM :
/usr/include/ppl-i386.hh
/usr/include/ppl.hh
/usr/include/ppl_c-i386.h
/usr/include/ppl_c.h
/usr/lib/libppl.so
/usr/lib/libppl_c.so
/usr/share/aclocal/ppl.m4
/usr/share/aclocal/ppl_c.m4
/usr/share/man/man3/libppl.3.gz
/usr/share/man/man3/libppl_c.3.gz

 
ICM