ppl-gprolog-0.11.2-8.mga5.i586.rpm


Advertisement

Description

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

Property Value
Distribution Mageia 5.1
Repository Mageia Core i586
Package name ppl-gprolog
Package version 0.11.2
Package release 8.mga5
Package architecture i586
Package type rpm
Installed size 11.57 MB
Download size 2.72 MB
Official Mirror distrib-coffee.ipsl.jussieu.fr
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-0.11.2-8.mga5.x86_64.rpm 0.11.2 x86_64 Mageia Core
ppl-gprolog - - -

Requires

Name Value
gprolog >= 1.2.19
libc.so.6 -
libc.so.6(GLIBC_2.0) -
libc.so.6(GLIBC_2.1) -
libc.so.6(GLIBC_2.1.3) -
libc.so.6(GLIBC_2.11) -
libc.so.6(GLIBC_2.15) -
libc.so.6(GLIBC_2.3) -
libc.so.6(GLIBC_2.3.4) -
libc.so.6(GLIBC_2.4) -
libc.so.6(GLIBC_2.7) -
libgcc_s.so.1 -
libgcc_s.so.1(GCC_3.0) -
libgcc_s.so.1(GCC_3.4) -
libgmp.so.10 -
libgmpxx.so.4 -
libm.so.6 -
libm.so.6(GLIBC_2.0) -
libm.so.6(GLIBC_2.1) -
libppl.so.9 -
libppl9 == 0.11.2-8.mga5
libpwl.so.5 -
libpwl5 == 0.11.2-8.mga5
libstdc++.so.6 -
libstdc++.so.6(CXXABI_1.3) -
libstdc++.so.6(GLIBCXX_3.4) -
libstdc++.so.6(GLIBCXX_3.4.11) -
libstdc++.so.6(GLIBCXX_3.4.15) -
libstdc++.so.6(GLIBCXX_3.4.9) -

Provides

Name Value
libppl_gprolog.so -
ppl-gprolog == 0.11.2-8.mga5
ppl-gprolog(x86-32) == 0.11.2-8.mga5

Download

Type URL
Binary Package ppl-gprolog-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 rpm package:
    # urpmi ppl-gprolog

Files

Path
/usr/bin/ppl_gprolog
/usr/lib/ppl/libppl_gprolog.so
/usr/share/ppl/ppl_gprolog.pl

Changelog

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-gprolog-static-0.11.2-8.mga5.i586.rpm The static archive for the GNU Prolog interface of the Parma Polyhedra Library
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-1.1.2.1-6.mga5.i586.rpm Lightweight GTK+ music manager
Advertisement
Advertisement