ppl-1.2-2-x86_64.pkg.tar.xz


Advertisement

Description

ppl - A modern library for convex polyhedra and other numerical abstractions

Property Value
Distribution Arch Linux
Repository Arch Linux Community x86_64
Package name ppl
Package version 1.2
Package release 2
Package architecture x86_64
Package type xz
Installed size 14.37 MB
Download size 2.62 MB
Official Mirror ftp5.gwdg.de
A modern library for convex polyhedra and other numerical abstractions.
Packager: Antonio Rojas <arojas@archlinux.org>. License: GPL3

Alternatives

Package Version Architecture Repository
ppl - - -

Requires

Name Value
glpk -

Download

Type URL
Binary Package ppl-1.2-2-x86_64.pkg.tar.xz
Source Package unknown

Install Howto

  1. Enable the community repository on /etc/pacman.conf:
    
    [community]
    Include = /etc/pacman.d/mirrorlist
    
  2. Install ppl xz package:
    # pacman -Sy ppl

Files

Path
/usr/
/usr/bin/ppl-config
/usr/bin/ppl_lcdd
/usr/bin/ppl_lpsol
/usr/bin/ppl_pips
/usr/include/ppl.hh
/usr/include/ppl_c.h
/usr/lib/libppl.so
/usr/lib/libppl.so.14
/usr/lib/libppl.so.14.0.0
/usr/lib/libppl_c.so
/usr/lib/libppl_c.so.4
/usr/lib/libppl_c.so.4.0.0
/usr/lib/ppl/libppl_swiprolog.so
/usr/share/
/usr/share/aclocal/ppl.m4
/usr/share/aclocal/ppl_c.m4
/usr/share/man/
/usr/share/man/man1/ppl-config.1.gz
/usr/share/man/man1/ppl_lcdd.1.gz
/usr/share/man/man1/ppl_lpsol.1.gz
/usr/share/man/man1/ppl_pips.1.gz
/usr/share/man/man3/libppl.3.gz
/usr/share/man/man3/libppl_c.3.gz
/usr/share/ppl/ppl_swiprolog.pl

See Also

Package Description
pppusage-0.2.5-9-any.pkg.tar.xz Utility to monitor pppd connections
ppsspp-1.6.3-1-x86_64.pkg.tar.xz A PSP emulator written in C++
ppsspp-headless-1.6.3-1-x86_64.pkg.tar.xz A PSP emulator written in C++
ppsspp-qt-1.6.3-1-x86_64.pkg.tar.xz A PSP emulator written in C++
pptpd-1.4.0-1-x86_64.pkg.tar.xz Poptop server
pragha-1.3.3-4-x86_64.pkg.tar.xz A lightweight GTK+ music manager - fork of Consonance Music Manager
premake-4.3-5-x86_64.pkg.tar.xz A simple build configuration and project generation tool using lua
premake3-3.7-4-x86_64.pkg.tar.xz A simple build configuration and project generation tool using lua
prettier-1.14.2-1-any.pkg.tar.xz An opinionated code formatter for JS, JSON, CSS, YAML and much more
primecount-4.4-1-x86_64.pkg.tar.xz Fast C++ prime counting function implementation
primus-20151110-7-x86_64.pkg.tar.xz Faster OpenGL offloading for Bumblebee
privoxy-3.0.26-2-x86_64.pkg.tar.xz A web proxy with advanced filtering capabilities
processing-3.4-1-x86_64.pkg.tar.xz Programming environment for creating images, animations and interactions
processing-examples-3.3.3-1-any.pkg.tar.xz Examples for Processing
procstatd-1.4.2-10-x86_64.pkg.tar.xz A daemon that can be run either from userspace or inetd that can be queried via a simple API to parse various files in /proc
Advertisement
Advertisement