Alejandro R Mosteo
20 lines
1015 B
TOML
20 lines
1015 B
TOML
description = "SPARK/Ada Algorithms Targeting Advanced Network Applications"
|
|
long-description = "Saatana - SPARK/Ada Algorithms Targeting Advanced Network Applications\nA collection of cryptographic algorithms, proven for correctness in SPARK.\n\nCurrently contains [](https://www.schneier.com/academic/archives/2005/01/phelix.html)\n"
|
|
name = "saatana"
|
|
version = "2.0.2"
|
|
website = "https://github.heisenbug.eu/Saatana"
|
|
executables = ["test_phelix"]
|
|
licenses = "WTFPL"
|
|
authors = ["Vinzent Saranen"]
|
|
maintainers = ["amosteo@unizar.es", "vinzent@heisenbug.eu"]
|
|
maintainers-logins = ["mosteo", "Jellix"]
|
|
project-files = ["saatana.gpr"]
|
|
tags = ["cryptography", "spark"]
|
|
|
|
[[depends-on]]
|
|
gnat = ">2020 | (>=11 & <2000)"
|
|
|
|
[origin]
|
|
url = "https://github.com/HeisenbugLtd/Saatana/archive/v2.0.2.tar.gz"
|
|
hashes = ["sha512:edf1f2f600901d91a7e9993db30f705106ff735124487e77b21881d2022bad7a858276735504fa4788bb12f4cd051426021ac998d1b8399769f191ec1ea90a41"]
|