How to Install and Uninstall librust-ena+congruence-closure-dev Package on Debian 10 (Buster)

Last updated: November 26,2024

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

In this section, we are going to explain the necessary steps to install librust-ena+congruence-closure-dev on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

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

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

This guide covers the steps necessary to uninstall librust-ena+congruence-closure-dev on Debian 10 (Buster):


    
        
            $
        

        
            
                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 Debian 10 (Buster)

Package: librust-ena+congruence-closure-dev
Source: rust-ena
Version: 0.11.0-1
Installed-Size: 6
Maintainer: Debian Rust Maintainers
Architecture: amd64
Provides: librust-ena-0+congruence-closure-dev (= 0.11.0-1), librust-ena-0.11+congruence-closure-dev (= 0.11.0-1), librust-ena-0.11.0+congruence-closure-dev (= 0.11.0-1)
Depends: librust-ena-dev (= 0.11.0-1), librust-petgraph-0.4+default-dev (>= 0.4.5-~~)
Description: Rust implementation of union-find - feature "congruence-closure"
Description-md5: ce812a8174f4394f63c84f32336969ce
Multi-Arch: same
Homepage: https://github.com/nikomatsakis/ena
Section: rust
Priority: optional
Filename: pool/main/r/rust-ena/librust-ena+congruence-closure-dev_0.11.0-1_amd64.deb
Size: 1108
MD5sum: bb878f435b6811fe333ba3052782d15b
SHA256: a3e285eebb26b9b5ca4cd3b172add78e1cddee197adaac13e91f379c43ead95c