Vinzent "Jellix" Saranen
1a4e01804b
* * Saatana: Updated release to v2.0.2, and project website. * * Reverted removal of 2.0.0 release The policy is to never remove older releases. Added a notes entry to clarify why 2.0.0 is deprecated. * + Added dependency on GNAT CE 2020
40 lines
1.7 KiB
TOML
40 lines
1.7 KiB
TOML
[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 [](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.heisenbug.eu/Saatana"
|
|
|
|
['2.0.2']
|
|
origin = "https://github.com/HeisenbugLtd/Saatana/archive/v2.0.2.tar.gz"
|
|
origin-hashes = ["sha512:edf1f2f600901d91a7e9993db30f705106ff735124487e77b21881d2022bad7a858276735504fa4788bb12f4cd051426021ac998d1b8399769f191ec1ea90a41"]
|
|
|
|
['2.0.0']
|
|
origin = "https://github.com/HeisenbugLtd/Saatana/archive/v2.0.0.tar.gz"
|
|
origin-hashes = ["sha512:1e0eaf5687cf51a76d9491fa45bb3ba91ed996684ce7678e05b01b2e423cc99b7f0e4008f66613596cb9f4fcb46420eb1ce620f61956b46a7006774022e18b16"]
|
|
notes = "This version is deprecated. An error in the proof annotations has been identified which invalidates the proof of absence of runtime errors."
|
|
|
|
['2.0.2'.depends-on]
|
|
gnat = "^2020"
|