diff options
Diffstat (limited to 'ada-strippers-binaries')
| -rw-r--r-- | ada-strippers-binaries | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/ada-strippers-binaries b/ada-strippers-binaries index 9434b3fba3f0..f24e594f9e5b 100644 --- a/ada-strippers-binaries +++ b/ada-strippers-binaries @@ -2,13 +2,11 @@ usr/bin/gnat usr/bin/gnatbind usr/bin/gnatchop usr/bin/gnatclean -usr/bin/gnatfind usr/bin/gnatkr usr/bin/gnatlink usr/bin/gnatls usr/bin/gnatmake usr/bin/gnatname usr/bin/gnatprep -usr/bin/gnatxref -usr/lib/gcc/x86_64-pc-linux-gnu/11.1.0/gnat1 +usr/lib/gcc/x86_64-pc-linux-gnu/12.1.1/gnat1
\ No newline at end of file |