How to Install and Uninstall librust-ena+congruence-closure-dev Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: May 19,2024

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

This guide let you learn how to install librust-ena+congruence-closure-dev on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                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 Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                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 Ubuntu 24.04 LTS (Noble Numbat)

Package: librust-ena+congruence-closure-dev
Architecture: amd64
Version: 0.14.0-2
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.14.0-2), librust-ena-0+congruence-closure-dev (= 0.14.0-2), librust-ena-0+petgraph-dev (= 0.14.0-2), librust-ena-0.14+congruence-closure-dev (= 0.14.0-2), librust-ena-0.14+petgraph-dev (= 0.14.0-2), librust-ena-0.14.0+congruence-closure-dev (= 0.14.0-2), librust-ena-0.14.0+petgraph-dev (= 0.14.0-2)
Depends: librust-ena-dev (= 0.14.0-2), librust-petgraph-0.6+default-dev | 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.14.0-2_amd64.deb
Size: 1008
MD5sum: 63ece43123a402485e0f6f606c3c14c2
SHA1: 37340f49ef38e198752eb42b78428f1c5b731873
SHA256: 13e2c1908c1a24d805de5bea094c1224be77f29a4b5fc537e0ac1c775651e2bb
SHA512: 81c97880fd28a211d65a3e42c79d0f03960999c7aabc56c4f224bf2a72e8a5f8a820347285c6941f20be41b7a712b37d03a129800c7c88b89552b0292b397b50
Homepage: https://github.com/rust-lang-nursery/ena
Description: Rust implementation of union-find - feature "congruence-closure" and 1 more
Description-md5: f1e279af688827bbb405422cb58932c1