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.6/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 :
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