https://bugzilla.redhat.com/show_bug.cgi?id=2487230
Bug ID: 2487230
Summary: Review Request: rust-hax-lib-macros - Hax-specific
proc-macros for Rust programs
Product: Fedora
Version: rawhide
Hardware: All
OS: Linux
Status: NEW
Component: Package Review
Severity: medium
Priority: medium
Assignee: [email protected]
Reporter: [email protected]
QA Contact: [email protected]
CC: [email protected]
Target Milestone: ---
Classification: Fedora
Spec URL:
https://rathann.fedorapeople.org/review/rust-hax-lib-macros/rust-hax-lib-macros.spec
SRPM URL:
https://rathann.fedorapeople.org/review/rust-hax-lib-macros/rust-hax-lib-macros-0.3.7-1.fc45.src.rpm
Description:
Hax-specific proc-macros for Rust programs.
This crate defines proc macros to be used in Rust programs that are extracted
with hax. It provides proc macros such as requires and ensures to define pre-
and post-conditions for functions.
Fedora Account System Username: rathann
--
You are receiving this mail because:
You are always notified about changes to this product and component
You are on the CC list for the bug.
https://bugzilla.redhat.com/show_bug.cgi?id=2487230
Report this comment as SPAM:
https://bugzilla.redhat.com/enter_bug.cgi?product=Bugzilla&format=report-spam&short_desc=Report%20of%20Bug%202487230%23c0
--
_______________________________________________
package-review mailing list -- [email protected]
To unsubscribe send an email to [email protected]
Fedora Code of Conduct:
https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives:
https://lists.fedoraproject.org/archives/list/[email protected]
Do not reply to spam, report it:
https://forge.fedoraproject.org/infra/tickets/issues/new
