diff --git a/index/alire-index-libadacrypt.ads b/index/alire-index-libadacrypt.ads
index 41ce1545..4f8dcc1b 100644
--- a/index/alire-index-libadacrypt.ads
+++ b/index/alire-index-libadacrypt.ads
@@ -43,7 +43,7 @@ package Alire.Index.Libadacrypt is
                        GPR_External ("system", "windows")),
 
                   Available_When     =>
-                    Compiler > GNAT_FSF_7_2
+                    Compiler > GNAT_FSF_7_3_Or_Newer
                     --  It fails self-tests; might be a spureous warning
                  );
 
diff --git a/index/alire-index-whitakers_words.ads b/index/alire-index-whitakers_words.ads
index b4d8b7a3..fb5cd4bf 100644
--- a/index/alire-index-whitakers_words.ads
+++ b/index/alire-index-whitakers_words.ads
@@ -31,7 +31,8 @@ package Alire.Index.Whitakers_Words is
                          Action_Run (Post_Compile, "make"),
 
                        Available_When     =>
-                         Compiler > GNAT_FSF_7_2 -- bug with SAL library failing binding
+                         Compiler > GNAT_FSF_7_3_Or_Newer
+                         -- bug with SAL library failing binding
                       );
 
 end Alire.Index.Whitakers_Words;