How to Install and Uninstall librust-ena+congruence-closure-dev Package on Linux Mint 20.3 (Una)

Last updated: May 17,2024

1. Install "librust-ena+congruence-closure-dev" package

Here is a brief guide to show you how to install librust-ena+congruence-closure-dev on Linux Mint 20.3 (Una)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                librust-ena+congruence-closure-dev
            
                    
    
    Copied

2. Uninstall "librust-ena+congruence-closure-dev" package

Here is a brief guide to show you how to uninstall librust-ena+congruence-closure-dev on Linux Mint 20.3 (Una):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                librust-ena+congruence-closure-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the librust-ena+congruence-closure-dev package on Linux Mint 20.3 (Una)

Package: librust-ena+congruence-closure-dev
Architecture: amd64
Version: 0.13.1-1
Multi-Arch: same
Priority: optional
Section: universe/rust
Source: rust-ena
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Rust Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 6
Provides: librust-ena+petgraph-dev (= 0.13.1-1), librust-ena-0+congruence-closure-dev (= 0.13.1-1), librust-ena-0+petgraph-dev (= 0.13.1-1), librust-ena-0.13+congruence-closure-dev (= 0.13.1-1), librust-ena-0.13+petgraph-dev (= 0.13.1-1), librust-ena-0.13.1+congruence-closure-dev (= 0.13.1-1), librust-ena-0.13.1+petgraph-dev (= 0.13.1-1)
Depends: librust-ena-dev (= 0.13.1-1), librust-petgraph-0.5+default-dev | librust-petgraph-0.4+default-dev (>= 0.4.5-~~)
Filename: pool/universe/r/rust-ena/librust-ena+congruence-closure-dev_0.13.1-1_amd64.deb
Size: 1208
MD5sum: 09cfbf2e057f005bbf875b8e245c33a6
SHA1: 20677ea6a649a7f7a52058eb51dd45cf1865aad1
SHA256: a2e85912f30dad0463745f4e62d4db05b38ac9eebfaefc04080942e952d14c27
Homepage: https://github.com/rust-lang-nursery/ena
Description: Rust implementation of union-find - feature "congruence-closure" and 1 more
Description-md5: f1e279af688827bbb405422cb58932c1