Package: librust-ena+congruence-closure-dev
Architecture: amd64
Version: 0.13.1-1
Multi-Arch: same
Priority: optional
Section: universe/rust
Source: rust-ena
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Rust Maintainers <pkg-rust-maintainers@alioth-lists.debian.net>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 6
Provides: librust-ena+petgraph-dev (= 0.13.1-1), librust-ena-0+congruence-closure-dev (= 0.13.1-1), librust-ena-0+petgraph-dev (= 0.13.1-1), librust-ena-0.13+congruence-closure-dev (= 0.13.1-1), librust-ena-0.13+petgraph-dev (= 0.13.1-1), librust-ena-0.13.1+congruence-closure-dev (= 0.13.1-1), librust-ena-0.13.1+petgraph-dev (= 0.13.1-1)
Depends: librust-ena-dev (= 0.13.1-1), librust-petgraph-0.5+default-dev | librust-petgraph-0.4+default-dev (>= 0.4.5-~~)
Filename: pool/universe/r/rust-ena/librust-ena+congruence-closure-dev_0.13.1-1_amd64.deb
Size: 1208
MD5sum: 09cfbf2e057f005bbf875b8e245c33a6
SHA1: 20677ea6a649a7f7a52058eb51dd45cf1865aad1
SHA256: a2e85912f30dad0463745f4e62d4db05b38ac9eebfaefc04080942e952d14c27
Homepage: https://github.com/rust-lang-nursery/ena
Description: Rust implementation of union-find - feature "congruence-closure" and 1 more
Description-md5: f1e279af688827bbb405422cb58932c1