Cannot locate Ada.Containers.Formal_Vectors

[mosteo]

Starting with GNAT 13 one finds:

generic
package Ada.Containers.Formal_Vectors with SPARK_Mode is

   pragma Compile_Time_Error
     (True,
      "This package has been moved to the SPARK library shipped with any"
      & " SPARK release starting with version 23.");

end Ada.Containers.Formal_Vectors;

I though that maybe a dependency on latest gnatprove would fix this but that seems not to be the case. Is it correct that this requires a manual install of SPARK?