alire/alire-index-community
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add Saatana v2.0.0 (formerly known as 'security' by HeisenbugLtd) (#90)

Browse Source 
* Added "security" library (Heisenbug)

* A collection of formally verified cryptographic algorithms

* Update security.heisenbug.toml

* Fixing: "Tag string not valid"

* SHA256 doesn't seem to be supported?

Try SHA512 instead...

* + Update to v1.0.1

* * Rename to comply with naming convention

* Moved file to proper directory after rename

* - Removed file from old (wrong) location

* - Removed 1.0.0 from version list

1.0.0 is broken, anyway.

* * Fixed typo

For some reason, I put test-phelix as executable name whereas it should have been test_phelix.

* * Heisenbug's Security library has been renamed to Saatana.
This commit is contained in:
Vinzent "Jellix" Saranen
2020-02-11 17:03:39 +01:00
committed by GitHub
parent be87449d1b
commit 2f1909ffd3
1 changed files with 31 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
index/sa/saatana.toml
+31
View File
@@ -0,0 +1,31 @@
[general]
description = "SPARK/Ada Algorithms Targeting Advanced Network Applications"
licenses = ["WTFPL"]
maintainers = ["vinzent@heisenbug.eu"]
maintainers-logins = ["Jellix"]
## Long description, can be multi-line using """ """ as delimiters
long-description = """
Saatana - SPARK/Ada Algorithms Targeting Advanced Network Applications
A collection of cryptographic algorithms, proven for correctness in SPARK.
Currently contains [![Phelix](https://www.schneier.com/academic/archives/2005/01/phelix.html)](https://www.schneier.com/academic/archives/2005/01/phelix.html)
"""
## Executables built (must not include any relative path)
executables = ["test_phelix"]
## Project files made available to clients (with relative path)
## If only a single project file named as the crate is provided
## at the root directory, then this property can be omitted.
project-files = ["saatana.gpr"]
## Keywords for classification
tags = ["cryptography", "spark"]
## A website with further information
website = "https://github.com/HeisenbugLtd/security"
['2.0.0']
origin = "https://github.com/HeisenbugLtd/Saatana/archive/v2.0.0.tar.gz"
origin-hashes = ["sha512:1e0eaf5687cf51a76d9491fa45bb3ba91ed996684ce7678e05b01b2e423cc99b7f0e4008f66613596cb9f4fcb46420eb1ce620f61956b46a7006774022e18b16"]