rust-fiat-crypto-0.2.8-1.ocs23 | Build Info

12242

Package Name

Version

0.2.8

Release

1.ocs23

Epoch

Source

git+https://gitee.com/opencloudos-stream/rust-fiat-crypto.git?.#ec74cc41bae98ed226bfde5382cf7eb13dd91e84

Summary

Correct-by-Construction Code for Cryptographic Primitives

Description

Correct-by-Construction Code for Cryptographic Primitives.

Built by

State

complete

Volume

DEFAULT

Started

Fri, 12 Jul 2024 23:03:58 CST

Completed

Fri, 12 Jul 2024 23:08:28 CST

Task

Extra

{'source': {'original_url': 'git+https://gitee.com/opencloudos-stream/rust-fiat-crypto.git?.#origin/master'}}

Tags

RPMs

src
	rust-fiat-crypto-0.2.8-1.ocs23.src.rpm (info) (download)
noarch
	rust-fiat-crypto+default-devel-0.2.8-1.ocs23.noarch.rpm (info) (download)
	rust-fiat-crypto+std-devel-0.2.8-1.ocs23.noarch.rpm (info) (download)
	rust-fiat-crypto-devel-0.2.8-1.ocs23.noarch.rpm (info) (download)

Logs

Changelog

* Tue Jun 18 2024 OpenCloudOS Release Engineering <releng@opencloudos.tech> - 0.2.8-1 - initial build