Artifact | librust-ena+congruence-closure-dev_0.14.0-2+b1_amd64 |
---|---|
Category | debian:binary-package |
architecture: amd64
component: main
package: librust-ena+congruence-closure-dev
priority: optional
section: rust
srcpkg_name: rust-ena
srcpkg_version: 0.14.0-2
version: 0.14.0-2+b1