Source Package rust-hax-lib-macros

Subpackages

• rust-hax-lib-macros+default-devel - Hax-specific proc-macros for Rust programs
• rust-hax-lib-macros-devel - Hax-specific proc-macros for Rust programs