repology.org
domain is back up, repology.amdmi3.ru will be discontinued on October 9th
Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Badges
Report
Information for
rust:hax-lib-macros
Versions
0.3.7
Package names
rust-hax-lib-macros
Repositories
Fedora Rawhide
Categories
Unspecified
Licenses
Apache-2.0
Summaries
Hax-specific proc-macros for Rust programs
Homepage links
https://crates.io/crates/hax-lib-macros
All package recipes
https://src.fedoraproject.org/rpms/rust-hax-lib-macros/blob/rawhide/f/rust-hax-lib-macros.spec
Build logs
https://kojipkgs.fedoraproject.org/packages/rust-hax-lib-macros/0.3.7/1.fc45/data/logs/