rust-hax-lib-macros+default-devel Subpackage of rust-hax-lib-macros
Hax-specific proc-macros for Rust programs
Hax-specific proc-macros for Rust programs. This package contains library source intended for building other packages which use the "default" feature of the "hax-lib-macros" crate.
Releases Overview
| Release | Stable | Testing |
|---|---|---|
| Fedora Rawhide | 0.3.7-1.fc45 | - |
| Fedora 45 | 0.3.7-1.fc45 | - |
File a new bug report »
Package Info
Related Packages
Package Info
- Upstream: https://crates.io/crates/hax-lib-macros
- License(s): Apache-2.0
- Maintainer: rathann
Related Packages
You can contact the maintainers of this package via email at
rust-hax-lib-macros dash maintainers at fedoraproject dot org.
Sources on Pagure