commit | 490a987e05da85710ca68f4f30948ec904d745e9 | [log] [tgz] |
---|---|---|
author | Yannick Moy <moy@adacore.com> | Mon Jul 26 16:56:27 2021 +0200 |
committer | Pierre-Marie de Rodat <derodat@adacore.com> | Wed Sep 22 15:01:49 2021 +0000 |
tree | 1eceff768bae55f7c45e7bb552a21ea73fac603c | |
parent | 9560e8430de8a427504183c1b3dd7d781653fe25 [diff] |
[Ada] Clarify parts of Ada.Strings.Unbounded in SPARK or not gcc/ada/ * libgnat/a-strunb.ads: Mark package in SPARK with private part not in SPARK. (Free): Mark not in SPARK.