Bug 2487230 - Review Request: rust-hax-lib-macros - Hax-specific proc-macros for Rust programs
Summary: Review Request: rust-hax-lib-macros - Hax-specific proc-macros for Rust programs
Keywords:
Status: NEW
Alias: None
Product: Fedora
Classification: Fedora
Component: Package Review
Version: rawhide
Hardware: All
OS: Linux
medium
medium
Target Milestone: ---
Assignee: Nobody's working on this, feel free to take it
QA Contact: Fedora Extras Quality Assurance
URL: https://crates.io/crates/hax-lib-macros
Whiteboard:
Depends On:
Blocks: 2487317
TreeView+ depends on / blocked
 
Reported: 2026-06-09 18:16 UTC by Dominik 'Rathann' Mierzejewski
Modified: 2026-06-13 07:36 UTC (History)
2 users (show)

Fixed In Version:
Clone Of:
Environment:
Last Closed:
Type: ---
Embargoed:


Attachments (Terms of Use)

Description Dominik 'Rathann' Mierzejewski 2026-06-09 18:16:40 UTC
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

Comment 1 Fedora Review Service 2026-06-09 18:20:47 UTC
Copr build:
https://copr.fedorainfracloud.org/coprs/build/10584061
(succeeded)

Review template:
https://download.copr.fedorainfracloud.org/results/@fedora-review/fedora-review-2487230-rust-hax-lib-macros/fedora-rawhide-x86_64/10584061-rust-hax-lib-macros/fedora-review/review.txt

Please take a look if any issues were found.


---
This comment was created by the fedora-review-service
https://github.com/FrostyX/fedora-review-service

If you want to trigger a new Copr build, add a comment containing new
Spec and SRPM URLs or [fedora-review-service-build] string.

Comment 2 Ben Beasley 2026-06-13 07:36:57 UTC
> # FIXME: no license files detected

You have to fix this. See https://docs.fedoraproject.org/en-US/packaging-guidelines/LicensingGuidelines/#_license_text, and see https://src.fedoraproject.org/rpms/rust-purl/blob/rawhide/f/rust2rpm.toml for an example.

Normally, I would go ahead and open an upstream PR similar to https://github.com/phylum-dev/purl/pull/33, but it’s kind of tedious to find all the published-on-crates.io crates in the upstream repo, so I’ll leave that to you.


Note You need to log in before you can comment on or make changes to this bug.