/usr/lib/gcc-cross/arm-linux-gnueabihf/5/adalib/gnatprj/binderr.ali is in libgnatprj5-dev-armhf-cross 5.5.0-12ubuntu1cross1.
This file is owned by root:root, with mode 0o444.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 | V "GNAT Lib v5"
A -nostdinc
A -O2
A -fPIC
A -g
A -gnatn
A -march=armv7-a
A -mfloat-abi=hard
A -mfpu=vfpv3-d16
A -mthumb
A -mtls-dialect=gnu
P ZX
RN
RV NO_EXCEPTIONS
RV NO_STANDARD_STORAGE_POOLS
RV SPARK_05
U binderr%b binderr.adb c1fe4c2b NE OO PK
W ada.exceptions%s a-except.adb a-except.ali
W butil%s butil.adb butil.ali
W opt%s opt.adb opt.ali
W output%s output.adb output.ali
U binderr%s binderr.ads 179b7456 EE NE OO PK
W namet%s namet.adb namet.ali
W types%s types.adb types.ali
D ada.ads 20070406091342 3ffc8e18 ada%s
D a-except.ads 20140730140058 5250cb69 ada.exceptions%s
D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s
D a-uncdea.ads 20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D alloc.ads 20150107084147 61013b91 alloc%s
D binderr.ads 20140731100908 27f76f85 binderr%s
D binderr.adb 20090409103854 cf4af7eb binderr%b
D butil.ads 20141010143607 e13f5a98 butil%s
D debug.ads 20090420131856 3ea59655 debug%s
D hostparm.ads 20140801100131 a20ca6cf hostparm%s
D namet.ads 20150302110329 53fa811d namet%s
D opt.ads 20150302110329 e5e8f770 opt%s
D output.ads 20140801093848 2d9479ad output%s
D system.ads 20141030114420 bb029e6a system%s
D s-conca2.ads 20140225151544 02a0d7d0 system.concat_2%s
D s-exctab.ads 20140225151139 54135002 system.exception_table%s
D s-memory.ads 20140225151139 597d6634 system.memory%s
D s-os_lib.ads 20150220113817 5853d835 system.os_lib%s
D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s
D s-stalib.ads 20150220094550 fa0a3617 system.standard_library%s
D s-string.ads 20140225151139 8fe54fb7 system.strings%s
D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s
D s-unstyp.ads 20140731130224 9d58a4c0 system.unsigned_types%s
D s-wchcon.ads 20140718092328 1b7d22d2 system.wch_con%s
D table.ads 20090506081141 e3a9ec16 table%s
D table.adb 20141107135941 9716557f table%b
D tree_io.ads 20140718093624 6de0ef2c tree_io%s
D types.ads 20150130153101 63969ace types%s
D unchconv.ads 20070406091342 ca2f9e18 unchecked_conversion%s
D unchdeal.ads 20070406091342 214516a4 unchecked_deallocation%s
X 6 binderr.ads
32K9*Binderr 132l5 132e12 7|30b14 233l5 233t12
34i4*Errors_Detected{28|59I9} 7|44m13 44r32 50m10 50r29 60r13 79r10 116r30
. 199r13 202r16 206r24 229m7
37i4*Warnings_Detected{28|59I9} 7|46m13 46r34 60r31 69r10 116r10 210r13 213r16
. 215r24 230m7
40b4*Info_Prefix_Suppress{boolean} 7|134r17
88i4*Error_Msg_Name_1{11|179I9} 7|143r30
91i4*Error_Msg_File_1{11|571I9} 7|153r33
92i4*Error_Msg_File_2{11|571I9} 7|150r33
95i4*Error_Msg_Unit_1{11|596I9} 7|167r33
96i4*Error_Msg_Unit_2{11|596I9} 7|164r33
99i4*Error_Msg_Nat_1{28|62I12} 7|177r27
100i4*Error_Msg_Nat_2{28|62I12} 7|174r27
107U14*Error_Msg 107>25 7|36b14 85l8 85t17
107a25 Msg{string} 7|36b25 38r10 38r15 55r28 64r28
112U14*Error_Msg_Info 112>30 7|91b14 103l8 103t22
112a30 Msg{string} 7|91b30 95r28 100r28
118U14*Error_Msg_Output 118>32 118>46 7|55s10 64s10 95s10 100s10 109b14 186l8
. 186t24
118a32 Msg{string} 7|109b32 124r16 125r13 141r16 142r13 148r16 160r16 172r16
. 180r16 181r25
118b46 Info{boolean} 7|55r33 64r33 95r33 100r33 109b46 133r13
126U14*Finalize_Binderr 7|192b14 221l8 221t24
129U14*Initialize_Binderr 7|227b14 231l8 231t26
X 7 binderr.adb
110b7 Use_Second_File{boolean} 149r16 152m16
111b7 Use_Second_Unit{boolean} 163r16 166m16
112b7 Use_Second_Nat{boolean} 173r16 176m16
113b7 Warning{boolean} 126m13 131r10
124i11 J{integer} 125r18
141i11 J{integer} 142r18 148r21 160r21 172r21 180r21 181r30
X 8 butil.ads
28K9*Butil 7|26w6 26r18 8|54e10
50U14*Write_Unit_Name 7|164s16 167s16
X 11 namet.ads
38K9*Namet 6|29w6 29r17 11|707e10
151a4*Name_Buffer{string} 7|145r24 157r24
157i4*Name_Len{natural} 7|145r42 157r42
179I9*Name_Id<integer> 6|88r23
316U14*Get_Name_String 7|143s13 150s16 153s16
571I9*File_Name_Type<179I9> 6|91r23 92r23
596I9*Unit_Name_Type<179I9> 6|95r23 96r23
X 12 opt.ads
50K9*Opt 7|27w6 27r18 12|2285e8
280b4*Brief_Output{boolean} 7|53r10 93r10
1012i4*Maximum_Messages{28|59I9} 7|69r30 79r28 116r48
1590b4*Verbose_Mode{boolean} 7|53r36 59r10 93r36 99r10 196r10
1813n31*Suppress{1813E9} 7|39r28 74r26
1813n49*Treat_As_Error{1813E9} 7|43r28
1814e4*Warning_Mode{1813E9} 7|39r13 43r13 74m10
X 13 output.ads
44K9*Output 7|28w6 28r18 13|227e11
77U14*Set_Standard_Error 7|54s10 70s10 80s10 94s10
84U14*Set_Standard_Output 7|56s10 73s10 82s10 96s10
106U14*Write_Char 7|144s13 146s13 156s13 158s13 161s13 170s13 181s13
113U14*Write_Eol 7|61s13 118s10 185s7 197s10 219s10
123U14*Write_Int 7|174s16 177s16 206s13 215s13
130U14*Write_Str 7|117s10 132s10 135s13 138s10 145s13 157s13 200s13 203s13
. 207s13 211s13 214s13 216s13
137U14*Write_Line 7|71s10 72s10 81s10
X 14 system.ads
67M9*Address
X 17 s-memory.ads
53V13*Alloc{14|67M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{14|67M9} 105i<c,__gnat_realloc>22
X 28 types.ads
52K9*Types 6|30w6 30r17 28|942e10
59I9*Int<integer> 6|34r22 37r24
62I12*Nat{59I9} 6|99r22 100r22
775X4*Unrecoverable_Error 7|83r16
|