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

Property Value
Distribution ROSA 2014.1
Repository ROSA Main x86_64
Package filename ppl-gprolog-static-1.1-2-rosa2014.1.x86_64.rpm
Package name ppl-gprolog-static
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 15.66 MB
Installed size 91.31 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.1-2-rosa2014.1.i586.rpm 1.1 i586 ROSA Main
ppl-gprolog-static - - -


Name Value
ppl-gprolog == 1.1-2:2014.1


Name Value
ppl-gprolog-static == 1.1-2:2014.1


Type URL
Mirror mirror.rosalab.ru
Binary Package ppl-gprolog-static-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-static rpm package:
    # urpmi ppl-gprolog-static




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

See Also

Package Description
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
prelude-lml-devel-1.0.1-10-rosa2014.1.x86_64.rpm Libraries, includes, etc. to develop Prelude Log Analyzer Sensor