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"]