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

Last updated: December 23,2024

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

This tutorial shows how to install librust-ena+congruence-closure-dev on Debian 12 (Bookworm)

$ sudo apt update $ sudo apt install librust-ena+congruence-closure-dev

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

Please follow the instructions below to uninstall librust-ena+congruence-closure-dev on Debian 12 (Bookworm):

$ sudo apt remove librust-ena+congruence-closure-dev $ sudo apt autoclean && sudo apt autoremove

3. Information about the librust-ena+congruence-closure-dev package on Debian 12 (Bookworm)

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-~~)
Description: Rust implementation of union-find - feature "congruence-closure" and 1 more
Description-md5: f1e279af688827bbb405422cb58932c1
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
Size: 1172
MD5sum: ec555d8906010057ef32e21b06e4abc3
SHA256: ead38f11b34470ec28067e5e02a097e1b7402a2bac145f2a77eed0e31506a5a1