Update to version 0.2.8; Fixes RHBZ#2270380

epel10
Fabio Valentini 8 months ago
parent a29eeb290b
commit ded69ffb85
No known key found for this signature in database
GPG Key ID: 5AC5F572E5D410AF

1
.gitignore vendored

@ -1,2 +1,3 @@
/fiat-crypto-0.1.20-clean.crate
/fiat-crypto-0.2.6-clean.crate
/fiat-crypto-0.2.8-clean.crate

@ -1,8 +1,8 @@
--- fiat-crypto-0.2.6/Cargo.toml 1970-01-01T00:00:01+00:00
+++ fiat-crypto-0.2.6/Cargo.toml 2024-02-05T13:47:24.169070+00:00
--- fiat-crypto-0.2.8/Cargo.toml 1970-01-01T00:00:01+00:00
+++ fiat-crypto-0.2.8/Cargo.toml 2024-04-23T11:15:08.076884+00:00
@@ -14,7 +14,7 @@
name = "fiat-crypto"
version = "0.2.6"
version = "0.2.8"
authors = ["Fiat Crypto library authors <jgross@mit.edu>"]
-description = "Fiat-crypto generated Rust"
+description = "Correct-by-Construction Code for Cryptographic Primitives"

@ -1,11 +1,11 @@
# Generated by rust2rpm 25
# Generated by rust2rpm 26
%bcond_without check
%global debug_package %{nil}
%global crate fiat-crypto
Name: rust-fiat-crypto
Version: 0.2.6
Version: 0.2.8
Release: %autorelease
Summary: Correct-by-Construction Code for Cryptographic Primitives

@ -1 +1 @@
SHA512 (fiat-crypto-0.2.6-clean.crate) = 3526eafe2c729cec0d4583b93cd486e265113a909bec7bba5248a514eae9ee14efe375057c845b0844c4f9ce0d99c380c62b9d2ad826d5e5bdc344e8fcaa52c5
SHA512 (fiat-crypto-0.2.8-clean.crate) = d83e75c03a26d79d11a731f503aff3b6227ae8b22b5b3ecc2acc0962fdba54ba94f665d2377594b0921e287a1b67a01c8c70f33c667aaf8a4bd7a72fd7ea5896

Loading…
Cancel
Save