librust-ena+congruence-closure-dev 0.14.0-2 (riscv64 binary) in ubuntu lunar

 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.