Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM rust-fiat-crypto-0.3.0-4.fc45.src.rpm

ID	103003
Build	rust-fiat-crypto-0.3.0-4.fc45
Name	rust-fiat-crypto
Version	0.3.0
Release	4.fc45
Epoch
Arch	src
Draft	False
Summary	Correct-by-Construction Code for Cryptographic Primitives
Description	Correct-by-Construction Code for Cryptographic Primitives.
Build Time	2026-10-20 21:36:22 GMT
Size	542.55 KB
SIGMD5	9b4614e9533910eeb0c8cc69f90279ca
License	MIT OR Apache-2.0 OR BSD-1-Clause
Buildroot	f45-build-41672-784
Provides	rust-fiat-crypto+default-devel = 0.3.0-4.fc45 rust-fiat-crypto+std-devel = 0.3.0-4.fc45 rust-fiat-crypto-devel = 0.3.0-4.fc45
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	cargo-rpm-macros >= 24 rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(DynamicBuildRequires) <= 4.15.0-1 rpmlib(FileDigests) <= 4.6.0-1 rust >= 1.83.0
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 5 of 5 Name Size 0001-remove-references-to-code-related-to-the-p434-curve.patch 581.00 B fiat-crypto-0.3.0-clean.crate 560.37 KB fiat-crypto-fix-metadata.diff 446.00 B gen_clean_tarball.sh 1.01 KB rust-fiat-crypto.spec 4.31 KB
Component of	No Buildroots