testing on 7.2

index/alire-index-alire.ads

@@ -41,7 +41,7 @@ package Alire.Index.Alire is
                                             (Preferred => Within_Major ("alire_alt", V ("1.0")),
                                              Otherwise => Within_Major ("alire", V ("0.5")))),
 
-                          Alr_Properties => -- These are only interesting to alr, not users
+                          Private_Properties => -- These are only interesting to alr, not users
                             GPR_External ("Profile", "False"),
                             --  Sample extra params for build
 

index/alire-index-dak.ads

@@ -23,7 +23,7 @@ package Alire.Index.DAK is
                       Register (Base & "strings_edit",
                                 V ("4.27"),
                                 Desc_Pre & "(strings)" & Desc_Post,
-                                Git (Repo, "44ac8e0c817558b8641f746ce225b3d2fa90b7a1"),
+                                Git (Repo, "8ac67a28d666dde3a0f96b5a08a7016e4f29d491"),
                                 Properties =>
 
                                   GPR_File ("strings_edit.gpr") and
@@ -249,7 +249,7 @@ package Alire.Index.DAK is
                                           Author   (DAK_Author) and
                                           Website  (DAK_Website),
 
-                                        Alr_Properties =>
+                                        Private_Properties =>
                                           On_Condition
                                             (System_Is (GNU_Linux),
                                              GPR_External ("odbc", "unixODBC")) and

index/alire-index-libadacrypt.ads

@@ -34,13 +34,17 @@ package Alire.Index.Libadacrypt is
                            License    (GMGPL_2_0) and
                            License    (GMGPL_3_0),
 
-                         Alr_Properties =>
+                         Private_Properties =>
                            On_Condition
                              (System_Is (GNU_Linux),
                               GPR_External ("system", "unix")) and
                            On_Condition
                              (System_Is (Windows),
-                              GPR_External ("system", "windows"))
+                              GPR_External ("system", "windows")),
+
+                         Available_When =>
+                            not Compiler_Is (GNAT_FSF_7_2)
+                           --  It fails self-tests; might be a spureous warning
                         );
 
 end Alire.Index.Libadacrypt;

index/alire-index-openglada.ads

@@ -42,7 +42,7 @@ package Alire.Index.OpenGLAda is
                            Website    (Prj_Website) and
                            License    (MIT),
 
-                         Alr_Properties =>
+                         Private_Properties =>
                            On_Condition
                              (System_Is (GNU_Linux), GPR_External ("Windowing_System", "x11")),
 

index/alire-index-sdlada.ads

@@ -28,7 +28,7 @@ package Alire.Index.SDLAda is
                            Author     (Prj_Author) and
                            License    (Zlib),
 
-                         Alr_Properties =>
+                         Private_Properties =>
                            GPR_Path ("build/gnat") and
 
                            GPR_File ("build/gnat/sdlada.gpr") and