| commit | 0f074aa4aa248e9602765155acff57604c1d9778 | |
| author | Johannes Kliemann <kliemann@adacore.com> | |
| Thu, 30 Sep 2021 11:41:13 +0000 (30 13:41 +0200) | ||
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | |
| Wed, 20 Oct 2021 10:17:04 +0000 (20 10:17 +0000) | ||
| tree | ecbd11df4ca164c2a6b0328085d60781cdb1085e | treesnapshot (tar.gz zip) |
| parent | 2aa814cb27fe3f61adfe894d52f01a4c377263fe | commitdiff |
[Ada] Add ghost code version of Ada.Numerics.Big_Numbers.Big_Integers
gcc/ada/
* libgnat/a-nbnbin__ghost.ads: Add ghost package.
gcc/ada/
* libgnat/a-nbnbin__ghost.ads: Add ghost package.
| gcc/ada/libgnat/a-nbnbin__ghost.ads | [new file with mode: 0644] | blob |