How to Install and Uninstall librust-ena+congruence-closure-dev Package on Kali Linux

Last updated: December 23,2024

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

This guide covers the steps necessary to install librust-ena+congruence-closure-dev on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

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

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

Learn how to uninstall librust-ena+congruence-closure-dev on Kali Linux:


    
        
            $
        

        
            
                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 Kali Linux

Package: librust-ena+congruence-closure-dev
Source: rust-ena
Version: 0.14.0-2
Installed-Size: 6
Maintainer: Debian Rust Maintainers
Architecture: amd64
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-~~)
Size: 1172
SHA256: ead38f11b34470ec28067e5e02a097e1b7402a2bac145f2a77eed0e31506a5a1
SHA1: 16b034b1b427b54ef95f5e55f4c327e29e206e5c
MD5sum: ec555d8906010057ef32e21b06e4abc3
Description: Rust implementation of union-find - feature "congruence-closure" and 1 more
Based on code from rustc.
.
This metapackage enables feature "congruence-closure" for the Rust ena crate,
by pulling in any additional dependencies needed by that feature.
.
Additionally, this package also provides the "petgraph" feature.
Description-md5:
Multi-Arch: same
Homepage: https://github.com/rust-lang-nursery/ena
Section: rust
Priority: optional
Filename: pool/main/r/rust-ena/librust-ena+congruence-closure-dev_0.14.0-2_amd64.deb