cargo-hax
- Latest release
- May 20, 2026
- Releases
- 12
- Known CVEs
- 0
- First release
- May 24, 2023
- License
- Apache-2.0
Activity
- Total releases
- 12
- Last 12 months
- 5
- Cadence
- ~2 months
- Dependencies
- 33
Releases per month
last 12 monthsRelease mix
- unknown 12
Depends on
0.3.7-
annotate-snippets ^0.11
-
cargo_metadata ^0.15
-
clap ^4.0
-
colored ^2
-
extension-traits ^1.0.1
-
hax-frontend-exporter =0.3.7 build
-
hax-frontend-exporter =0.3.7
-
hax-frontend-exporter-options =0.3.7
-
hax-lib-macros-types =0.3.7 build
-
hax-rust-engine =0.3.7 build
Used by
Nothing tracked depends on this yet.
| Version | Released | |
|---|---|---|
0.3.7
unknown
|
0.3.7
unknown
Dependencies (33)
+ 25 more |
|
0.3.6
unknown
|
0.3.6
unknown
Dependencies (33)
+ 25 more |
|
0.3.5
unknown
|
0.3.5
unknown
Dependencies (33)
+ 25 more |
|
0.3.4
unknown
|
0.3.4
unknown
Dependencies (33)
+ 25 more |
|
0.3.3
unknown
|
0.3.3
unknown
Dependencies (33)
+ 25 more |
|
0.3.1
unknown
|
0.3.1
unknown
Dependencies (32)
+ 24 more |
|
0.3.0
unknown
|
0.3.0
unknown
Dependencies (32)
+ 24 more |
|
0.2.0
unknown
|
0.2.0
unknown
Dependencies (32)
+ 24 more |
|
0.1.0
unknown
|
0.1.0
unknown
Dependencies (32)
+ 24 more |
|
0.1.0-rc.1
unknown
|
0.1.0-rc.1
unknown
Dependencies (32)
+ 24 more |
|
0.1.0-alpha.1
unknown
|
0.1.0-alpha.1
unknown
Dependencies (32)
+ 24 more |
|
0.0.0
unknown
yanked
|
0.0.0
unknown
yanked
|