How to Install and Uninstall ppl Package on Arch Linux

Last updated: November 07,2024

1. Install "ppl" package

Please follow the guidelines below to install ppl on Arch Linux

$ sudo pacman -Sy $ sudo pacman -S ppl

2. Uninstall "ppl" package

Please follow the steps below to uninstall ppl on Arch Linux:

$ sudo pacman -Rcns ppl

3. Information about the ppl package on Arch Linux

Repository : extra
Name : ppl
Version : 1.2-5
Description : A modern library for convex polyhedra and other numerical
abstractions
Architecture : x86_64
URL : https://bugseng.com/products/ppl
Licenses : GPL3
Groups : None
Provides : None
Depends On : glpk
Optional Deps : swi-prolog: SWI Prolog interface
Conflicts With : None
Replaces : None
Download Size : 3.41 MiB
Installed Size : 15.81 MiB
Packager : Antonio Rojas
Build Date : Sat Jan 21 21:56:07 2023
Validated By : MD5 Sum SHA-256 Sum Signature

5. The same packages on other Linux Distributions