Fedora Packages

rust-fiat-crypto-devel Subpackage of rust-fiat-crypto

Correct-by-Construction Code for Cryptographic Primitives

Correct-by-Construction Code for Cryptographic Primitives. This package contains library source intended for building other packages which use the "fiat-crypto" crate.

Releases Overview

Release Stable Testing
Fedora Rawhide 0.2.8-3.fc42 -
Fedora 41 0.2.8-2.fc41 -
Fedora 40 0.2.8-1.fc40 -
Fedora EPEL 9 0.2.8-1.el9 -
Fedora EPEL 10.0 0.2.8-2.el10_0 -

Recent Activity

TypeError: Failed to fetch
File a new bug report »
Package Info
Related Packages

You can contact the maintainers of this package via email at rust-fiat-crypto dash maintainers at fedoraproject dot org.



Sources on Pagure