|
|
|
@ -1,17 +1,17 @@
|
|
|
|
|
# Generated by rust2rpm 24
|
|
|
|
|
# Generated by rust2rpm 26
|
|
|
|
|
%bcond_without check
|
|
|
|
|
%global debug_package %{nil}
|
|
|
|
|
|
|
|
|
|
%global crate fiat-crypto
|
|
|
|
|
|
|
|
|
|
Name: rust-fiat-crypto
|
|
|
|
|
Version: 0.1.20
|
|
|
|
|
Version: 0.2.8
|
|
|
|
|
Release: %autorelease
|
|
|
|
|
Summary: Correct-by-Construction Code for Cryptographic Primitives
|
|
|
|
|
|
|
|
|
|
License: MIT OR Apache-2.0 OR BSD-1-Clause
|
|
|
|
|
URL: https://crates.io/crates/fiat-crypto
|
|
|
|
|
Source: %{crate}-%{version_no_tilde}-clean.crate
|
|
|
|
|
Source: %{crate}-%{version}-clean.crate
|
|
|
|
|
# script to create tarball with only permissible content:
|
|
|
|
|
# run "rust2rpm" and then "./gen_clean_tarball.sh" for new versions
|
|
|
|
|
Source: gen_clean_tarball.sh
|
|
|
|
@ -20,7 +20,7 @@ Source: 0001-remove-references-to-code-related-to-the-p434-curve.patch
|
|
|
|
|
# * change crate description to something more meaningful
|
|
|
|
|
Patch: fiat-crypto-fix-metadata.diff
|
|
|
|
|
|
|
|
|
|
BuildRequires: rust-packaging >= 21
|
|
|
|
|
BuildRequires: cargo-rpm-macros >= 24
|
|
|
|
|
|
|
|
|
|
%global _description %{expand:
|
|
|
|
|
Correct-by-Construction Code for Cryptographic Primitives.}
|
|
|
|
@ -71,7 +71,7 @@ use the "std" feature of the "%{crate}" crate.
|
|
|
|
|
%ghost %{crate_instdir}/Cargo.toml
|
|
|
|
|
|
|
|
|
|
%prep
|
|
|
|
|
%autosetup -n %{crate}-%{version_no_tilde} -p1
|
|
|
|
|
%autosetup -n %{crate}-%{version} -p1
|
|
|
|
|
%cargo_prep
|
|
|
|
|
|
|
|
|
|
%generate_buildrequires
|
|
|
|
|