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

Property Value
Distribution Mageia 5.1
Repository Mageia Core i586
Package name ppl-gprolog-static
Package version 0.11.2
Package release 8.mga5
Package architecture i586
Package type rpm
Installed size 76.28 MB
Download size 11.57 MB
Official Mirror distrib-coffee.ipsl.jussieu.fr
This package contains the static archive for the GNU Prolog interface
of the Parma Polyhedra Library.


Package Version Architecture Repository
ppl-gprolog-static-0.11.2-8.mga5.x86_64.rpm 0.11.2 x86_64 Mageia Core
ppl-gprolog-static - - -


Name Value
ppl-gprolog == 0.11.2-8.mga5


Name Value
libtool(/usr/lib/ppl/libppl_gprolog.la) -
ppl-gprolog-static == 0.11.2-8.mga5
ppl-gprolog-static(x86-32) == 0.11.2-8.mga5


Type URL
Binary Package ppl-gprolog-static-0.11.2-8.mga5.i586.rpm
Source Package ppl-0.11.2-8.mga5.src.rpm

Install Howto

  1. Enable Mageia Core 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-10-15 - umeabot <umeabot> 0.11.2-8.mga5
+ Revision: 750058
- Second Mageia 5 Mass Rebuild
- Mageia 5 Mass Rebuild
2013-10-18 - umeabot <umeabot> 0.11.2-6.mga4
+ Revision: 522086
- Mageia 4 Mass Rebuild
2013-02-08 - fwang <fwang> 0.11.2-5.mga3
+ Revision: 395600
- recall pwl.hh
- fix build with latest gmp
+ umeabot <umeabot>
- Mass Rebuild - https://wiki.mageia.org/en/Feature:Mageia3MassRebuild
+ tmb <tmb>
- add note that gcc-4.7 requires 0.11 branch
- restore 0.11.2
- pwl libs is merged with ppl libs
- drop P0 (obsolete)
- drop P1, P2 (merged)
- ppl new major is 12
- update to 1.0
2012-07-16 - rtp <rtp> 0.11.2-3.mga3
+ Revision: 271321
- fix build with newer autotools
2011-12-04 - fwang <fwang> 0.11.2-2.mga2
+ Revision: 176168
- doc is a non-arch package
2011-12-04 - tmb <tmb> 0.11.2-1.mga2
+ Revision: 175909
- update to 0.11.2 (needed for gcc-4.6.2)
- drop p1, not needed anymore
- bump library majors
- drop buildroot and defattr

See Also

Package Description
ppl-java-0.11.2-8.mga5.i586.rpm The Java interface of the Parma Polyhedra Library
ppl-java-javadoc-0.11.2-8.mga5.i586.rpm Javadocs for ppl-java
ppl-pwl-docs-0.11.2-8.mga5.i586.rpm Documentation for the Parma Watchdog Library
ppl-utils-0.11.2-8.mga5.i586.rpm Utilities using the Parma Polyhedra Library
ppmtocpva-1.0-17.mga5.i586.rpm Converts PPM files to the format used by the Citizen Printiva series printers
ppmtomd-1.6-4.mga5.i586.rpm Driver for the Alps Micro-Dry printers and similars
ppp-2.4.7-7.mga5.i586.rpm The PPP daemon and documentation for Linux 1.3.xx and greater
ppp-devel-2.4.7-7.mga5.i586.rpm PPP devel files
ppp-dhcp-2.4.7-7.mga5.i586.rpm DHCP plugin for ppp
ppp-pppoatm-2.4.7-7.mga5.i586.rpm PPP over ATM plugin for ppp
ppp-pppoe-2.4.7-7.mga5.i586.rpm PPP over ethernet plugin for ppp
ppp-radius-2.4.7-7.mga5.i586.rpm Radius plugin for ppp
pptp-linux-1.7.2-9.mga5.i586.rpm PPTP-linux VPN client
pragha- Lightweight GTK+ music manager
prboom-2.5.0-16.mga5.i586.rpm Free DOOM engine - DOOM is a classic 3D shoot-em-up game