/usr/lib/ada/adalib/gnatvsn/casing.ali is in libgnatvsn4.6-dev 4.6.4-0ubuntu5.
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 | V "GNAT Lib v4.6"
A -nostdinc
A -O2
A -fPIC
A -g
A -mtune=generic
A -march=x86-64
P ZX
R nnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnvnnnnnnnnnnnnnnn
U casing%b casing.adb 14093a4e NE OO PK
W csets%s csets.adb csets.ali
W interfaces%s interfac.ads interfac.ali
W namet%s namet.adb namet.ali
W opt%s opt.adb opt.ali
W widechar%s widechar.adb widechar.ali
U casing%s casing.ads bd3ce58b BN EE NE OO PK
W types%s types.adb types.ali
D ada.ads 20070406091342 3ffc8e18
D a-unccon.ads 20070406091342 f9eb8f06
D a-uncdea.ads 20070406091342 f15a5ed1
D alloc.ads 20100614130107 cfcad562
D casing.ads 20100909094434 5c2a7161
D casing.adb 20090409150019 9c618c87
D csets.ads 20090409150019 e948558f
D hostparm.ads 20090409150019 597373af
D interfac.ads 20090409150019 f77d8799
D namet.ads 20101220072657 ef58bb56
D opt.ads 20101026132047 ed841f4a
D system.ads 20140416172229 23e1f70b
D s-exctab.ads 20090417131547 66e51330
D s-stalib.ads 20101021102512 c4241c00
D s-string.ads 20090417130712 46b01415
D s-unstyp.ads 20090409150019 6ae15c76
D s-wchcon.ads 20090417130712 bfeb2e3d
D table.ads 20090506081141 e3a9ec16
D types.ads 20101022135849 e11694ea
D unchconv.ads 20070406091342 ca2f9e18
D unchdeal.ads 20070406091342 214516a4
D widechar.ads 20090409150019 3fd6363b
X 5 casing.ads
34K9*Casing 89l5 89e11 6|37b14 200l5 200t11
47E9*Casing_Type 62e5 64r28 71r30 71r47 86r59 6|43r59 120r30 120r47 123r23
49n7*All_Upper_Case{47E9} 64r46 6|97r17 113r19 170r32
52n7*All_Lower_Case{47E9} 6|91r17 182r32
55n7*Mixed_Case{47E9} 64r64 71r62 6|100r17 120r62 171r59 183r63
59n7*Unknown{47E9} 6|94r17 103r17 131r15
64E12*Known_Casing{47E9}
71U14*Set_Casing 71>26 71>43 6|113s7 120b14 198l8 198t18
71e26 C{47E9} 6|120b26 131r10 132r27
71e43 D{47E9} 6|120b43 134r27
80U14*Set_All_Upper_Case 81r19 6|111b14 114l8 114t26
86V13*Determine_Casing{47E9} 86>31 6|43b13 105l8 105t24
86a31 Ident{19|151A9} 6|43b31 62r16 63r13 63r37 66r38 76r38
X 6 casing.adb
45b7 All_Lower{boolean} 77m13 90r10
48b7 All_Upper{boolean} 67m13 96r13
51b7 Mixed{boolean} 73m16 81m16 99r13
55b7 Decisive{boolean} 70m16 80m16 93r17
58b7 After_Und{boolean} 64m13 69r20 72m16 79r20 83m16
62i11 S<19|59I9> 63r20 63r44 66r45 76r45
121i7 Ptr{natural} 137m7 139r13 151r26 152r33 154r44 156m37 161r29 162r55
. 165m13 165r20 169r51 173r29 173r62 177m13 177r20 181r51 185r29 185r62 189m13
. 189r20 195m13 195r20
123e7 Actual_Casing{5|47E9} 132m10 134m10 170r16 171r43 182r16 183r47
126b7 After_Und{boolean} 157m13 164m13 171r24 176m13 183r28 188m13 194m13
X 7 csets.ads
32K9*Csets 6|32w6 32r20 7|97e10
44A9*Translate_Table(character)<character>
47A9*Char_Array_Flags(boolean)<character>
75V13*Is_Upper_Case_Letter{boolean} 6|76s16 181s16
79V13*Is_Lower_Case_Letter{boolean} 6|66s16 169s16
83a4*Fold_Upper{44A9} 6|173r37
86a4*Fold_Lower{44A9} 6|185r37
89a4*Identifier_Char{47A9} 6|162r25
X 10 namet.ads
38K9*Namet 6|33w6 33r20 10|544e10
127a4*Name_Buffer{string} 6|151r13 152r20 154r31 156r24 161r16 162r42 169r38
. 173m16 173r49 181r38 185m16 185r49
133i4*Name_Len{natural} 6|139r20
X 11 opt.ads
50K9*Opt 6|34w6 34r20 11|1907e8
1342b4*Upper_Half_Encoding{boolean} 6|153r21
X 19 types.ads
52K9*Types 5|32w6 32r17 19|823e10
59I9*Int<integer>
112E12*Upper_Half_Character{character} 6|154r52
151A9*Text_Buffer(character)<148I9> 5|86r39 6|43r39
X 22 widechar.ads
39K9*Widechar 6|35w6 35r20 22|98e13
80U14*Skip_Wide 6|156s13
|