[ Source: rust-ena ]
Package: librust-ena+congruence-closure-dev (0.14.0-2 and others)
Links for librust-ena+congruence-closure-dev
Debian Resources:
Download Source Package rust-ena:
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
- librust-cargo-lock+dependency-tree-dev
- librust-backtrace+rustc-serialize-dev
- librust-memsec+alloc-dev
- librust-bs58+check-dev
- librust-dotenv+clap-dev
- librust-num-complex+std-dev
- librust-sha256+openssl-dev
- librust-syn+printing-dev
- librust-futures-cpupool+with-deprecated-dev
- librust-intervaltree+std-dev
- librust-cbindgen+clap-dev
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.
Other Packages Related to librust-ena+congruence-closure-dev
|
|
|
|
-
- dep: librust-ena-dev (= 0.14.0-2+b2)
- Rust implementation of union-find - Rust source code
-
- dep: librust-petgraph-0.6+default-dev
- Package not available
- or librust-petgraph-0.5+default-dev
- Package not available
- or librust-petgraph-0.4+default-dev (>= 0.4.5-~~)
- Package not available
Download librust-ena+congruence-closure-dev
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| amd64 | 0.14.0-2+b2 | 1.2 kB | 6.0 kB | [list of files] |
| arm64 | 0.14.0-2+b2 | 1.2 kB | 6.0 kB | [list of files] |
| armhf | 0.14.0-2+b2 | 1.2 kB | 6.0 kB | [list of files] |
| i386 | 0.14.0-2+b2 | 1.2 kB | 6.0 kB | [list of files] |
| ppc64el | 0.14.0-2+b2 | 1.2 kB | 6.0 kB | [list of files] |
| riscv64 | 0.14.0-2+b2 | 1.2 kB | 6.0 kB | [list of files] |
| s390x | 0.14.0-2+b2 | 1.2 kB | 6.0 kB | [list of files] |