From 2f1909ffd3fe7a8b37bc0708920ad16643b1c22a Mon Sep 17 00:00:00 2001
From: "Vinzent \"Jellix\" Saranen" <ada.rocks@jlfencey.com>
Date: Tue, 11 Feb 2020 17:03:39 +0100
Subject: [PATCH] Add Saatana v2.0.0 (formerly known as 'security' by
 HeisenbugLtd) (#90)

* 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.
---
 index/sa/saatana.toml | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)
 create mode 100644 index/sa/saatana.toml

diff --git a/index/sa/saatana.toml b/index/sa/saatana.toml
new file mode 100644
index 00000000..de16f729
--- /dev/null
+++ b/index/sa/saatana.toml
@@ -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"]