/usr/lib/ada/adalib/gnatvsn/casing.ali is in libgnatvsn5-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 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 | V "GNAT Lib v5"
A -nostdinc
A -O2
A -fPIC
A -g
A -mtune=generic
A -march=x86-64
P ZX
RN
RV NO_OBSOLESCENT_FEATURES
RV SPARK_05
U casing%b casing.adb f03514fb 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 3fbcebaf BN EE NE OO PK
W types%s types.adb types.ali
D ada.ads 20070406091342 3ffc8e18 ada%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 casing.ads 20140717063745 5c2a7161 casing%s
D casing.adb 20140717063745 cc937043 casing%b
D csets.ads 20140122165324 e948558f csets%s
D hostparm.ads 20140801100131 a20ca6cf hostparm%s
D interfac.ads 20141120112812 6033a23f interfaces%s
D namet.ads 20150302110329 53fa811d namet%s
D opt.ads 20150302110329 e5e8f770 opt%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-stalib.ads 20150220094550 fa0a3617 system.standard_library%s
D s-string.ads 20140225151139 8fe54fb7 system.strings%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 types.ads 20150130153101 63969ace types%s
D unchconv.ads 20070406091342 ca2f9e18 unchecked_conversion%s
D unchdeal.ads 20070406091342 214516a4 unchecked_deallocation%s
D widechar.ads 20140801083227 3fd6363b widechar%s
X 5 casing.ads
34K9*Casing 91l5 91e11 6|37b14 208l5 208t11
47E9*Casing_Type 62e5 64r28 71r30 71r47 86r59 6|43r59 128r30 128r47 131r23
49n7*All_Upper_Case{47E9} 64r46 6|105r17 121r19 178r32
52n7*All_Lower_Case{47E9} 6|99r17 190r32
55n7*Mixed_Case{47E9} 64r64 71r62 6|65r17 108r17 128r62 179r59 191r63
59n7*Unknown{47E9} 6|102r17 111r17 139r15
64E12*Known_Casing{47E9}
71U14*Set_Casing 71>26 71>43 6|121s7 128b14 206l8 206t18
71e26 C{47E9} 6|128b26 139r10 140r27
71e43 D{47E9} 6|128b43 142r27
80U14*Set_All_Upper_Case 81r19 6|119b14 122l8 122t26
86V13*Determine_Casing{47E9} 86>31 6|43b13 113l8 113t24
86a31 Ident{20|147A9} 6|43b31 64r10 70r16 71r13 71r37 74r38 84r38
X 6 casing.adb
45b7 All_Lower{boolean} 85m13 98r10
48b7 All_Upper{boolean} 75m13 104r13
51b7 Mixed{boolean} 81m16 89m16 107r13
55b7 Decisive{boolean} 78m16 88m16 101r17
58b7 After_Und{boolean} 72m13 77r20 80m16 87r20 91m16
70i11 S<20|59I9> 71r20 71r44 74r45 84r45
129i7 Ptr{natural} 145m7 147r13 159r26 160r33 162r44 164m37 164r37 169r29
. 170r55 173m13 173r20 177r51 181r29 181r62 185m13 185r20 189r51 193r29 193r62
. 197m13 197r20 203m13 203r20
131e7 Actual_Casing{5|47E9} 140m10 142m10 178r16 179r43 190r16 191r47
134b7 After_Und{boolean} 165m13 172m13 179r24 184m13 191r28 196m13 202m13
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|84s16 189s16
79V13*Is_Lower_Case_Letter{boolean} 6|74s16 177s16
83a4*Fold_Upper{44A9} 6|181r37
86a4*Fold_Lower{44A9} 6|193r37
89a4*Identifier_Char{47A9} 6|170r25
X 10 namet.ads
38K9*Namet 6|33w6 33r20 10|707e10
151a4*Name_Buffer{string} 6|159r13 160r20 162r31 164r24 169r16 170r42 177r38
. 181m16 181r49 189r38 193m16 193r49
157i4*Name_Len{natural} 6|147r20
X 11 opt.ads
50K9*Opt 6|34w6 34r20 11|2285e8
1553b4*Upper_Half_Encoding{boolean} 6|161r21
X 20 types.ads
52K9*Types 5|32w6 32r17 20|942e10
59I9*Int<integer>
108E12*Upper_Half_Character{character} 6|162r52
147A9*Text_Buffer(character)<144I9> 5|86r39 6|43r39
X 23 widechar.ads
39K9*Widechar 6|35w6 35r20 23|98e13
80U14*Skip_Wide 6|164s13
|