eLxr packages [ bianca ]
[ Източник: rust-ena ]
Пакет: librust-ena+congruence-closure-dev (0.14.0-2 и други)
Връзки за librust-ena+congruence-closure-dev
Изтегляне на пакет-източник rust-ena.
Отговорници:
Външни препратки:
- Начална страница [github.com]
Подобни пакети:
- librust-backtrace+rustc-serialize-dev
- librust-sha2-dev
- librust-cbindgen+clap-dev
- librust-clang-sys+libloading-dev
- librust-crossbeam-epoch+std-dev
- librust-calloop-0.10+futures-util-dev
- librust-darling-core+strsim-dev
- librust-serde+serde-derive-dev
- librust-curl+ssl-dev
- librust-bytecheck+std-dev
- librust-inotify+stream-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.
Други пакети, свързани с 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
- Пакетът не е наличен
- или librust-petgraph-0.5+default-dev
- Пакетът не е наличен
- или librust-petgraph-0.4+default-dev (>= 0.4.5-~~)
- Пакетът не е наличен
Изтегляне на librust-ena+congruence-closure-dev
| Архитектура | Версия | Големина на пакета | Големина след инсталиране | Файлове |
|---|---|---|---|---|
| amd64 | 0.14.0-2+b2 | 1,2 кБ | 6,0 кБ | [списък на файловете] |
| arm64 | 0.14.0-2+b2 | 1,2 кБ | 6,0 кБ | [списък на файловете] |