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

Property Value
Distribution OpenMandriva Lx 3.0
Repository OpenMandriva Main Release i586
Package filename ppl-gprolog-static-1.2-1-omv2015.0.i586.rpm
Package name ppl-gprolog-static
Package version 1.2
Package release 1-omv2015.0
Package architecture i586
Package type rpm
Category Development/Other
Homepage http://www.cs.unipr.it/ppl/
License GPLv3+
Maintainer -
Download size 7.93 MB
Installed size 54.34 MB
This package contains the static archive for the GNU Prolog interface
of the Parma Polyhedra Library.


Package Version Architecture Repository
ppl-gprolog-static-1.2-1-omv2015.0.x86_64.rpm 1.2 x86_64 OpenMandriva Main Release
ppl-gprolog-static - - -


Name Value
ppl-gprolog == 1.2-1


Name Value
ppl-gprolog-static == 1.2-1:2015.0


Type URL
Mirror abf-downloads.openmandriva.org
Binary Package ppl-gprolog-static-1.2-1-omv2015.0.i586.rpm
Source Package ppl-1.2-1.src.rpm

Install Howto

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



See Also

Package Description
ppl-java-1.2-1-omv2015.0.i586.rpm Java bindings to the Parma Polyhedra Library
ppl-utils-1.2-1-omv2015.0.i586.rpm Utilities using the Parma Polyhedra Library
ppmtocpva-1.0-23-omv2015.0.i586.rpm Converts PPM files to the format used by the Citizen Printiva series printers
ppmtomd-1.6-11-omv2015.0.i586.rpm Driver for the Alps Micro-Dry printers and similars
ppp-2.4.7-3-omv2015.0.i586.rpm The PPP daemon and documentation for Linux 1.3.xx and greater
ppp-devel-2.4.7-3-omv2015.0.i586.rpm PPP devel files
ppp-dhcp-2.4.7-3-omv2015.0.i586.rpm DHCP plugin for ppp
ppp-pppoatm-2.4.7-3-omv2015.0.i586.rpm PPP over ATM plugin for ppp
ppp-pppoe-2.4.7-3-omv2015.0.i586.rpm PPP over ethernet plugin for ppp
ppp-radius-2.4.7-3-omv2015.0.i586.rpm Radius plugin for ppp
pprof-2.4-1-omv2015.0.noarch.rpm CPU and Heap Profiler tool
pptp-linux-1.8.0-8-omv2015.0.i586.rpm VPN client
pptp-linux-setup-1.8.0-8-omv2015.0.i586.rpm PPTP Tunnel Configuration Script
preflight-1.8.7-1.2-omv2015.0.noarch.rpm Apache Preflight
prelink-0.5.0-1.20130503.2-omv2015.0.i586.rpm An ELF prelinking utility