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
Copied
$
sudo pacman -S
ppl
Copied
2. Uninstall "ppl" package
Please follow the steps below to uninstall ppl on Arch Linux:
$
sudo pacman -Rcns
ppl
Copied
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
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