/usr/lib/gcc-cross/mips-linux-gnu/6/adalib/gnatvsn/casing.ali is in libgnatvsn6-dev-mips-cross 6.3.0-18cross1.
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 | V "GNAT Lib v6"
A -nostdinc
A -O2
A -fPIC
A -g
A -minterlink-mips16
A -march=mips32r2
A -mfpxx
A -mllsc
A -mno-lxc1-sxc1
A -mips32r2
A -mabi=32
A -meb
P ZX
RN
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_OBSOLESCENT_FEATURES
RV SPARK_05
U casing%b casing.adb 5239e621 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 c2f1dfc8 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 20151118101227 4be8ce1b interfaces%s
D namet.ads 20151027115429 fa2d8adb namet%s
D opt.ads 20151123112034 ee330e6c opt%s
D system.ads 20161017085601 3f37d7a9 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 20151112104907 09bd3940 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 20151020120548 e3a9ec16 table%s
D types.ads 20151112132540 9edbaea9 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|148A9} 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|713e10
152a4*Name_Buffer{string} 6|159r13 160r20 162r31 164r24 169r16 170r42 177r38
. 181m16 181r49 189r38 193m16 193r49
158i4*Name_Len{natural} 6|147r20
X 11 opt.ads
50K9*Opt 6|34w6 34r20 11|2308e8
1576b4*Upper_Half_Encoding{boolean} 6|161r21
X 20 types.ads
52K9*Types 5|32w6 32r17 20|941e10
59I9*Int<integer>
108E12*Upper_Half_Character{character} 6|162r52
148A9*Text_Buffer(character)<145I9> 5|86r39 6|43r39
X 23 widechar.ads
39K9*Widechar 6|35w6 35r20 23|98e13
80U14*Skip_Wide 6|164s13
|