/usr/lib/ada/adalib/gnatprj/butil.ali is in libgnatprj4.8-dev 4.8.2-8ubuntu3.
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 | V "GNAT Lib v4.8"
A -nostdinc
A -O2
A -fPIC
A -g
A -gnatn
A -mtune=generic
A -march=x86-64
P ZX
RN
RV SPARK
U butil%b butil.adb bc9e551a NE OO PK
W output%s output.adb output.ali
W targparm%s targparm.adb targparm.ali
U butil%s butil.ads 0e67e1ce EE NE OO PK
W namet%s namet.adb namet.ali
D ada.ads 20070406091342 3ffc8e18
D a-except.ads 20120716125141 10fcae55
D a-unccon.ads 20070406091342 f9eb8f06
D a-uncdea.ads 20070406091342 f15a5ed1
D alloc.ads 20120330092659 daf1344a
D butil.ads 20070910124710 e13f5a98
D butil.adb 20121001094122 ada1a25b
D debug.ads 20090420131856 3ea59655
D hostparm.ads 20120315091549 c164ed60
D namet.ads 20121001081109 ef58bb56
D opt.ads 20130206104433 983485a0
D output.ads 20100622132632 de75f4b4
D rident.ads 20120712104910 770cd2d0
D system.ads 20140416144310 90249111
D s-exctab.ads 20090417131547 66e51330
D s-memory.ads 20090417131547 ca8bbc15
D s-os_lib.ads 20120709131452 cf6cfdbf
D s-parame.ads 20110830140625 b6e20cc0
D s-rident.ads 20130129143108 f6ad7fbe
D s-stalib.ads 20130104124955 f78bcf95
D s-string.ads 20130104124955 46b01415
D s-traent.ads 20090417130712 5221ee41
D s-unstyp.ads 20090409150019 6ae15c76
D s-wchcon.ads 20090417130712 bfeb2e3d
D table.ads 20090506081141 e3a9ec16
D table.adb 20130104091825 d2a5ae47
D targparm.ads 20130613075132 2e75596d
D tree_io.ads 20130102100426 30335df9
D types.ads 20130104092849 a33fd65d
D unchconv.ads 20070406091342 ca2f9e18
D unchdeal.ads 20070406091342 214516a4
X 6 butil.ads
28K9*Butil 54l5 54e10 7|29b14 164l5 164t10
32V13*Is_Predefined_Unit{boolean} 7|40s14 61b13 110l8 110t26
38V13*Is_Internal_Unit{boolean} 7|38b13 52l8 52t24
47V13*Uname_Less{boolean} 47>25 47>29 7|116b13 144l8 144t18
47i25 U1{10|442I9} 7|116b25 118r24
47i29 U2{10|442I9} 7|116b29 126r27
50U14*Write_Unit_Name 50>31 7|150b14 162l8 162t23
50i31 U{10|442I9} 7|150b31 152r24
X 7 butil.adb
121a10 U1_Name{string} 128r24 131r27 135r16 137r19 142r17
123i10 Min_Length{natural} 129m13 131m13 134r24
134i14 I{integer} 135r25 135r43 137r28 137r46
X 10 namet.ads
38K9*Namet 6|26w6 26r17 10|544e10
127a4*Name_Buffer{string} 7|42r30 44r30 48r22 50r22 64r28 67r28 70r29 73r29
. 76r29 79r29 82r29 85r29 88r29 91r29 94r29 97r29 100r29 103r29 106r29 109r29
. 122r12 135r30 137r33 153r18 155r10
133i4*Name_Len{natural} 7|41r18 47r21 63r18 66r18 69r18 72r18 75r18 78r18
. 81r18 84r18 87r18 90r18 93r18 96r18 99r18 102r18 105r18 108r18 121r42 122r30
. 128r13 129r27 142r32 153r36 155r23 161m7 161r19
149I9*Name_Id<integer>
177U14*Get_Name_String 7|118s7 126s10 152s7
442I9*Unit_Name_Type<149I9> 6|47r34 50r35 7|116r34 150r35
X 12 output.ads
44K9*Output 7|26w6 26r20 12|222e11
130U14*Write_Str 7|153s7 156s10 158s10
X 14 system.ads
64M9*Address
X 16 s-memory.ads
53V13*Alloc{14|64M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{14|64M9} 105i<c,__gnat_realloc>22
X 27 targparm.ads
75K9*Targparm 7|27w6 27r20 27|628e13
206b4*OpenVMS_On_Target{boolean} 7|46r12
|