Deps.rs

hax-lib 0.3.5

[![dependency status](https://deps.rs/crate/hax-lib/0.3.5/status.svg)](https://deps.rs/crate/hax-lib/0.3.5)

Crate `hax-lib`

Dependencies

(3 total, all up-to-date)

Crate	Required	Latest	Status
hax-lib-macros	`=0.3.5`	`0.3.5`	up to date
num-bigint	`^0.4`	`0.4.6`	up to date
num-traits	`^0.2`	`0.2.19`	up to date

Deps.rs is a service for the Rust community. It is open source on GitHub.

Please report any issues on the issue tracker.

(rendered in 79 ms)