/usr/lib/ada/adalib/gnatprj/butil.ali is in libgnatprj5-dev 5.3.1-14ubuntu2.
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 | V "GNAT Lib v5"
A -nostdinc
A -O2
A -fPIC
A -g
A -gnatn
A -mtune=generic
A -march=x86-64
P ZX
RN
RV SPARK_05
U butil%b butil.adb b75402bb NE OO PK
W output%s output.adb output.ali
U butil%s butil.ads b2c5db85 EE NE OO PK
W namet%s namet.adb namet.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 butil.ads 20141010143607 e13f5a98 butil%s
D butil.adb 20140801081720 7bff218e butil%b
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 20141031112219 1d274481 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 butil.ads
28K9*Butil 54l5 54e10 7|28b14 126l5 126t10
32V13*Is_Predefined_Unit{boolean} 7|39s14 52b13 72l8 72t26
38V13*Is_Internal_Unit{boolean} 7|37b13 43l8 43t24
47V13*Uname_Less{boolean} 47>25 47>29 7|78b13 106l8 106t18
47i25 U1{10|596I9} 7|78b25 80r24
47i29 U2{10|596I9} 7|78b29 88r27
50U14*Write_Unit_Name 50>31 7|112b14 124l8 124t23
50i31 U{10|596I9} 7|112b31 114r24
X 7 butil.adb
53i7 L=53:27{natural} 56r18 57r18 58r18 59r18 60r18 61r18 62r18 63r18 64r18
. 65r18 66r18 67r18 68r18 69r18 70r18 71r18
54a7 B=54:27{string} 56r34 57r34 58r34 59r34 60r34 61r34 62r34 63r34 64r34
. 65r34 66r34 67r34 68r34 69r34 70r34 71r34
83a10 U1_Name{string} 90r24 93r27 97r16 99r19 104r17
85i10 Min_Length{natural} 91m13 93m13 96r24
96i14 J{integer} 97r25 97r43 99r28 99r46
X 10 namet.ads
38K9*Namet 6|26w6 26r17 10|707e10
151a4*Name_Buffer{string} 7|40r41 42r41 54r27 84r22 97r30 99r33 115r18 117r10
157i4*Name_Len{natural} 7|40r18 53r27 83r42 84r40 90r13 91r27 104r32 115r36
. 117r23 123m7 123r19
179I9*Name_Id<integer>
316U14*Get_Name_String 7|80s7 88s10 114s7
596I9*Unit_Name_Type<179I9> 6|47r34 50r35 7|78r34 112r35
X 12 output.ads
44K9*Output 7|26w6 26r18 12|227e11
130U14*Write_Str 7|115s7 118s10 120s10
X 13 system.ads
67M9*Address
X 16 s-memory.ads
53V13*Alloc{13|67M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{13|67M9} 105i<c,__gnat_realloc>22
|