ppl-gprolog-1.1-2-rosa2014.1.x86_64.rpm


Advertisement

Description

ppl-gprolog - The GNU Prolog interface of the Parma Polyhedra Library

Property Value
Distribution ROSA 2014.1
Repository ROSA Main x86_64
Package filename ppl-gprolog-1.1-2-rosa2014.1.x86_64.rpm
Package name ppl-gprolog
Package version 1.1
Package release 2-rosa2014.1
Package architecture x86_64
Package type rpm
Category Development/Other
Homepage http://www.cs.unipr.it/ppl/
License GPLv3+
Maintainer -
Download size 2.22 MB
Installed size 11.07 MB
This package adds GNU Prolog support to the Parma Polyhedra Library (PPL).
Install this package if you want to use the library in GNU Prolog programs.

Alternatives

Package Version Architecture Repository
ppl-gprolog-1.1-2-rosa2014.1.i586.rpm 1.1 i586 ROSA Main
ppl-gprolog - - -

Requires

Name Value
gprolog >= 1.2.19
libc.so.6()(64bit) -
libc.so.6(GLIBC_2.11)(64bit) -
libc.so.6(GLIBC_2.14)(64bit) -
libc.so.6(GLIBC_2.15)(64bit) -
libc.so.6(GLIBC_2.2.5)(64bit) -
libc.so.6(GLIBC_2.3)(64bit) -
libc.so.6(GLIBC_2.3.4)(64bit) -
libc.so.6(GLIBC_2.4)(64bit) -
libc.so.6(GLIBC_2.7)(64bit) -
libgcc_s.so.1()(64bit) -
libgcc_s.so.1(GCC_3.0)(64bit) -
libgcc_s.so.1(GCC_3.4)(64bit) -
libgmp.so.10()(64bit) -
libgmpxx.so.4()(64bit) -
libm.so.6()(64bit) -
libm.so.6(GLIBC_2.2.5)(64bit) -
libppl.so.13()(64bit) -
libstdc++.so.6()(64bit) -
libstdc++.so.6(CXXABI_1.3)(64bit) -
libstdc++.so.6(GLIBCXX_3.4)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.11)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.15)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.9)(64bit) -

Provides

Name Value
libppl_gprolog.so()(64bit) -
ppl-gprolog == 1.1-2:2014.1

Download

Type URL
Mirror mirror.rosalab.ru
Binary Package ppl-gprolog-1.1-2-rosa2014.1.x86_64.rpm
Source Package ppl-1.1-2.src.rpm

Install Howto

  1. Enable ROSA Main repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install ppl-gprolog rpm package:
    # urpmi ppl-gprolog

Files

Path
/usr/bin/ppl_gprolog
/usr/lib64/ppl/libppl_gprolog.so
/usr/share/doc/ppl-gprolog/README.gprolog
/usr/share/ppl/ppl_gprolog.pl

Changelog

2014-06-27 - Alex Burmashev <alex.burmashev@rosalab.ru> 1.1-2
+ Revision: 37ce774
- MassBuild#440: Increase release tag

See Also

Package Description
ppl-gprolog-static-1.1-2-rosa2014.1.x86_64.rpm The static archive for the GNU Prolog interface of the Parma Polyhedra Library
ppl-utils-1.1-2-rosa2014.1.x86_64.rpm Utilities using the Parma Polyhedra Library
ppmtocpva-1.0-14-rosa2014.1.x86_64.rpm Converts PPM files to the format used by the Citizen Printiva series printers
ppmtomd-1.6-2-rosa2014.1.x86_64.rpm Driver for the Alps Micro-Dry printers and similars
ppp-2.4.7-1-rosa2014.1.x86_64.rpm The PPP daemon and documentation
ppp-devel-2.4.7-1-rosa2014.1.x86_64.rpm PPP devel files
ppp-dhcp-2.4.7-1-rosa2014.1.x86_64.rpm DHCP plugin for ppp
ppp-pppoatm-2.4.7-1-rosa2014.1.x86_64.rpm PPP over ATM plugin for ppp
ppp-pppoe-2.4.7-1-rosa2014.1.x86_64.rpm PPP over ethernet plugin for ppp
ppp-radius-2.4.7-1-rosa2014.1.x86_64.rpm Radius plugin for ppp
pprof-2.0-2-rosa2014.1.noarch.rpm CPU and Heap Profiler tool
pptp-linux-1.7.2-8-rosa2014.1.x86_64.rpm PPTP-linux VPN client
prelink-0.5.0-1.20130503.1-rosa2014.1.x86_64.rpm An ELF prelinking utility
preload-0.6.4-7-rosa2014.1.x86_64.rpm Adaptive readahead daemon
prelude-lml-1.0.1-10-rosa2014.1.x86_64.rpm Prelude Hybrid Intrusion Detection System - Log Analyzer Sensor
Advertisement
Advertisement