ppl-gprolog-static-1.2-1-omv2015.0.x86_64.rpm


Advertisement

Description

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 x86_64
Package name ppl-gprolog-static
Package version 1.2
Package release 1-omv2015.0
Package architecture x86_64
Package type rpm
Installed size 30.73 MB
Download size 21.45 MB
Official Mirror abf-downloads.openmandriva.org
This package contains the static archive for the GNU Prolog interface
of the Parma Polyhedra Library.

Alternatives

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

Requires

Name Value
ppl-gprolog == 1.2-1

Provides

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

Download

Type URL
Binary Package ppl-gprolog-static-1.2-1-omv2015.0.x86_64.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

Files

Path
/usr/lib64/ppl/libppl_gprolog.a

See Also

Package Description
ppl-java-1.2-1-omv2015.0.x86_64.rpm Java bindings to the Parma Polyhedra Library
ppl-utils-1.2-1-omv2015.0.x86_64.rpm Utilities using the Parma Polyhedra Library
ppmtocpva-1.0-23-omv2015.0.x86_64.rpm Converts PPM files to the format used by the Citizen Printiva series printers
ppmtomd-1.6-11-omv2015.0.x86_64.rpm Driver for the Alps Micro-Dry printers and similars
ppp-2.4.7-3-omv2015.0.x86_64.rpm The PPP daemon and documentation for Linux 1.3.xx and greater
ppp-devel-2.4.7-3-omv2015.0.x86_64.rpm PPP devel files
ppp-dhcp-2.4.7-3-omv2015.0.x86_64.rpm DHCP plugin for ppp
ppp-pppoatm-2.4.7-3-omv2015.0.x86_64.rpm PPP over ATM plugin for ppp
ppp-pppoe-2.4.7-3-omv2015.0.x86_64.rpm PPP over ethernet plugin for ppp
ppp-radius-2.4.7-3-omv2015.0.x86_64.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.x86_64.rpm VPN client
pptp-linux-setup-1.8.0-8-omv2015.0.x86_64.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.x86_64.rpm An ELF prelinking utility
Advertisement
Advertisement