From 1a4e01804b3feb03a79eef3e0a03bd6940b74d58 Mon Sep 17 00:00:00 2001 From: "Vinzent \"Jellix\" Saranen" Date: Mon, 1 Jun 2020 18:10:39 +0200 Subject: [PATCH] saatana 2.0.2 (with new website) (#122) * * 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 --- index/sa/saatana.toml | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/index/sa/saatana.toml b/index/sa/saatana.toml index de16f729..1b6713e7 100644 --- a/index/sa/saatana.toml +++ b/index/sa/saatana.toml @@ -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"