| Name : ppl-swiprolog
| |
| Version : 0.10.2
| Vendor : CentOS
|
| Release : 11.el6
| Date : 2010-11-11 23:09:51
|
| Group : Development/Libraries
| Source RPM : ppl-0.10.2-11.el6.src.rpm
|
| Size : 8.87 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.8/os/x86_64/Packages |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
libppl_swiprolog.so()(64bit)
ppl-swiprolog
ppl-swiprolog(x86-64)
Requires :
