From ded69ffb85475859b1ae01561fde41b4f8645a6b Mon Sep 17 00:00:00 2001 From: Fabio Valentini Date: Tue, 23 Apr 2024 13:16:59 +0200 Subject: [PATCH] Update to version 0.2.8; Fixes RHBZ#2270380 --- .gitignore | 1 + fiat-crypto-fix-metadata.diff | 6 +++--- rust-fiat-crypto.spec | 4 ++-- sources | 2 +- 4 files changed, 7 insertions(+), 6 deletions(-) diff --git a/.gitignore b/.gitignore index fdce147..aca5fa8 100644 --- a/.gitignore +++ b/.gitignore @@ -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 diff --git a/fiat-crypto-fix-metadata.diff b/fiat-crypto-fix-metadata.diff index 8daae6d..072b945 100644 --- a/fiat-crypto-fix-metadata.diff +++ b/fiat-crypto-fix-metadata.diff @@ -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 "] -description = "Fiat-crypto generated Rust" +description = "Correct-by-Construction Code for Cryptographic Primitives" diff --git a/rust-fiat-crypto.spec b/rust-fiat-crypto.spec index 6e08d23..a166264 100644 --- a/rust-fiat-crypto.spec +++ b/rust-fiat-crypto.spec @@ -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 diff --git a/sources b/sources index 73393d5..23b7a7a 100644 --- a/sources +++ b/sources @@ -1 +1 @@ -SHA512 (fiat-crypto-0.2.6-clean.crate) = 3526eafe2c729cec0d4583b93cd486e265113a909bec7bba5248a514eae9ee14efe375057c845b0844c4f9ce0d99c380c62b9d2ad826d5e5bdc344e8fcaa52c5 +SHA512 (fiat-crypto-0.2.8-clean.crate) = d83e75c03a26d79d11a731f503aff3b6227ae8b22b5b3ecc2acc0962fdba54ba94f665d2377594b0921e287a1b67a01c8c70f33c667aaf8a4bd7a72fd7ea5896