Name : rust-fiat-crypto-devel
| |
Version : 0.2.8
| Vendor : Fedora Project
|
Release : 3.fc42
| Date : 2025-01-19 03:59:19
|
Group : Unspecified
| Source RPM : rust-fiat-crypto-0.2.8-3.fc42.src.rpm
|
Size : 3.36 MB
| |
Packager : Fedora Project
| |
Summary : Correct-by-Construction Code for Cryptographic Primitives
|
Description :
Correct-by-Construction Code for Cryptographic Primitives.
This package contains library source intended for building other packages which use the \"fiat-crypto\" crate.
|
RPM found in directory: /vol/rzm3/linux-fedora-buffet/fedora/linux/development/rawhide/Everything/aarch64/os/Packages/r |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
crate(fiat-crypto)
rust-fiat-crypto-devel
Requires :