How to Install and Uninstall ppl Package on Manjaro

Last updated: May 18,2024

1. Install "ppl" package

This guide covers the steps necessary to install ppl on Manjaro

$ sudo pacman -Sy $ sudo pacman -S ppl

2. Uninstall "ppl" package

Please follow the instructions below to uninstall ppl on Manjaro:

$ sudo pacman -Rcns ppl

3. Information about the ppl package on Manjaro

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