SPARK                                   specification is in spark.ads
SPARK.Ada                               specification is in spark-ada.ads
SPARK.Ada.Command_Line                  specification is in spark-ada-command_line.ads
SPARK.Ada.Command_Line.Unbounded_String specification is in spark-ada-command_line-unbounded_string.ads
SPARK.Ada.Containers                    specification is in spark-ada-containers.ads
SPARK.Ada.Strings                       specification is in spark-ada-strings.ads
SPARK.Ada.Strings.Unbounded             specification is in spark-ada-strings-unbounded.ads
SPARK.Ada.Strings.Maps                  specification is in spark-ada-strings-maps.ads
SPARK.Ada.Text_IO                       specification is in spark-ada-text_io.ads
SPARK.Ada.Text_IO.Unbounded_String      specification is in spark-ada-text_io-unbounded_string.ads
SPARK.Crypto                            specification is in spark-crypto.ads
SPARK.Crypto.Debug                      specification is in spark-crypto-debug.ads
SPARK.Crypto.Hash                       specification is in spark-crypto-hash.ads
SPARK.Crypto.Hash.Skein                 specification is in spark-crypto-hash-skein.ads
SPARK.Unsigned                          specification is in spark-unsigned.shs
