| Name : ppl-swiprolog
| |
| 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 : 8.63 MB
| |
| Packager : CentOS BuildSystem < http://bugs_centos_org>
| |
| Summary : The SWI-Prolog interface of the Parma Polyhedra Library
|
Description :
This package adds SWI-Prolog support to the Parma Polyhedra Library.
Install this package if you want to use the library in SWI-Prolog programs.
|
RPM found in directory: /vol/rzm7/linux-centos-vault/6.3/os/i386/Packages |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
libppl_swiprolog.so
ppl-swiprolog
ppl-swiprolog(x86-32)
Requires :
