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"