[ ソース: rust-ena ]
パッケージ: librust-ena+congruence-closure-dev (0.14.0-1)
librust-ena+congruence-closure-dev に関するリンク
Debian の資源:
rust-ena ソースパッケージをダウンロード:
メンテナ:
外部の資源:
- ホームページ [github.com]
類似のパッケージ:
- librust-ena+dogged-dev
- librust-ena+persistent-dev
- librust-ena+petgraph-dev
- librust-adler+rustc-dep-of-std-dev
- librust-url+rustc-serialize-dev
- librust-rustc-demangle+rustc-dep-of-std-dev
- librust-chrono+rustc-serialize-dev
- librust-libc+rustc-dep-of-std-dev
- librust-getrandom+rustc-dep-of-std-dev
- librust-rustc-demangle+compiler-builtins-dev
- librust-rustc-demangle+core-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-1)
- Rust implementation of union-find - Rust source code
-
- dep: librust-petgraph-0.5+default-dev
- パッケージは利用できません
- または librust-petgraph-0.4+default-dev (>= 0.4.5-~~)
- パッケージは利用できません
librust-ena+congruence-closure-dev のダウンロード
アーキテクチャ | パッケージサイズ | インストールサイズ | ファイル |
---|---|---|---|
amd64 | 1.1 kB | 6.0 kB | [ファイル一覧] |
arm64 | 1.1 kB | 6.0 kB | [ファイル一覧] |
armel | 1.1 kB | 6.0 kB | [ファイル一覧] |
armhf | 1.1 kB | 6.0 kB | [ファイル一覧] |
i386 | 1.1 kB | 6.0 kB | [ファイル一覧] |
mips64el | 1.1 kB | 6.0 kB | [ファイル一覧] |
mipsel | 1.1 kB | 6.0 kB | [ファイル一覧] |
ppc64el | 1.1 kB | 6.0 kB | [ファイル一覧] |
s390x | 1.1 kB | 6.0 kB | [ファイル一覧] |