How to Install and Uninstall bosphorus Package on Arch Linux

Last updated: December 25,2024

1. Install "bosphorus" package

This guide let you learn how to install bosphorus on Arch Linux

$ sudo pacman -Sy $ sudo pacman -S bosphorus

2. Uninstall "bosphorus" package

Here is a brief guide to show you how to uninstall bosphorus on Arch Linux:

$ sudo pacman -Rcns bosphorus

3. Information about the bosphorus package on Arch Linux

Repository : extra
Name : bosphorus
Version : 3.1.0-2
Description : ANF simplifier and solver, and ANF-to-CNF converter
Architecture : x86_64
URL : https://github.com/meelgroup/bosphorus
Licenses : MIT
Groups : None
Provides : None
Depends On : boost-libs brial cryptominisat gcc-libs glibc m4ri
Optional Deps : None
Conflicts With : None
Replaces : None
Download Size : 146.02 KiB
Installed Size : 415.18 KiB
Packager : Antonio Rojas
Build Date : Fri Sep 22 07:32:23 2023
Validated By : MD5 Sum SHA-256 Sum Signature

5. The same packages on other Linux Distributions