How to Install and Uninstall bosphorus Package on Manjaro

Last updated: November 23,2024

1. Install "bosphorus" package

This tutorial shows how to install bosphorus on Manjaro


    
        
            $
        

        
            
                sudo pacman -Sy
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo pacman -S
            
                        
                bosphorus
            
                    
    
    Copied

2. Uninstall "bosphorus" package

This guide covers the steps necessary to uninstall bosphorus on Manjaro:


    
        
            $
        

        
            
                sudo pacman -Rcns
            
                        
                bosphorus
            
                    
    
    Copied

3. Information about the bosphorus package on Manjaro

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