| Package | librust-ena+congruence-closure-dev |
| Source | rust-ena (0.14.0-2) |
| Version | 0.14.0-2+b2 |
| Installed-Size | 6 |
| Maintainer | Debian Rust Maintainers |
| Architecture | amd64 |
| Provides | librust-ena+petgraph-dev (= 0.14.0-2+b2), librust-ena-0+congruence-closure-dev (= 0.14.0-2+b2), librust-ena-0+petgraph-dev (= 0.14.0-2+b2), librust-ena-0.14+congruence-closure-dev (= 0.14.0-2+b2), librust-ena-0.14+petgraph-dev (= 0.14.0-2+b2), librust-ena-0.14.0+congruence-closure-dev (= 0.14.0-2+b2), librust-ena-0.14.0+petgraph-dev (= 0.14.0-2+b2) |
| Depends | librust-ena-dev (= 0.14.0-2+b2), 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+b2_amd64.deb |
| Size | 1180 |
| MD5sum | f3810a4bdb86b001b7d81177c26109bf |
| SHA256 | 047e480b57ce1f75a6338a5bebb565201182458d0d1e77b0c856a3bdfffbf534 |