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

saatana 2.0.2 (with new website) (#122)

Browse Source 
* * 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
This commit is contained in:
Vinzent "Jellix" Saranen
2020-06-01 18:10:39 +02:00
committed by GitHub
parent de2f507932
commit 1a4e01804b
1 changed files with 9 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
index/sa/saatana.toml
+9 -1
View File
@@ -24,8 +24,16 @@ project-files = ["saatana.gpr"]
tags = ["cryptography", "spark"]
## A website with further information
website = "https://github.com/HeisenbugLtd/security"
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"