/usr/lib/x86_64-linux-gnu/ada/adalib/xmlada_unicode/unicode.ali is in libxmlada-unicode7-dev 17.1.2017-5.
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 v7"
A -O2
A -gnatA
A -g
A -fdebug-prefix-map=/build/libxmlada-ezgZ_D/libxmlada-17.1.2017=.
A -fstack-protector-strong
A -gnata
A -gnatf
A -gnatn
A -gnato
A -gnatVa
A -fPIC
P ZX
RN
RV NO_IMPLICIT_LOOPS
RV NO_ELABORATION_CODE
RV SPARK_05
U unicode%b unicode.adb 19a90275 OO PK
W ada%s ada.ads ada.ali
W ada.wide_characters%s a-widcha.ads a-widcha.ali
W ada.wide_characters.unicode%s a-wichun.adb a-wichun.ali
W interfaces%s interfac.ads interfac.ali
W system.unsigned_types%s s-unstyp.ads s-unstyp.ali
W unicode%s unicode.adb unicode.ali
W unicode.names%s unicode-names.ads unicode-names.ali
W unicode.names.basic_latin%s unicode-names-basic_latin.ads unicode-names-basic_latin.ali
U unicode%s unicode.ads a421878d BN EE NE OO PR PK
D ada.ads 20170106103348 76789da1 ada%s
D a-widcha.ads 20091030133032 a2b85d3d ada.wide_characters%s
D a-wichun.ads 20130104124955 46d5144e ada.wide_characters.unicode%s
D a-wichun.adb 20101007092627 cc312cf5 ada.wide_characters.unicode%b
D interfac.ads 20160502101001 5ab55268 interfaces%s
D system.ads 20170510173650 4635ec04 system%s
D s-unstyp.ads 20160502101423 34867c83 system.unsigned_types%s
D s-utf_32.ads 20140225151139 9e89e9cc system.utf_32%s
D unicode.ads 20170516120735 a421878d unicode%s
D unicode.adb 20170516120735 515a4003 unicode%b
D unicode-names.ads 20170516120735 fec77f75 unicode.names%s
D unicode-names-basic_latin.ads 20170925082955 aa07d1b5 unicode.names.basic_latin%s
X 1 ada.ads
16K9*Ada 20e8 10|25r6 25r42
X 2 a-widcha.ads
19K13*Wide_Characters 21e24 10|25r10 25r46
X 3 a-wichun.ads
39K29*Unicode 197e32 10|25w26 25r62
183V13*To_Lower_Case{wide_character} 10|460s34
X 9 unicode.ads
111K9*Unicode 112r25 157l5 157e12 10|24r6 24r42 27b14 465l5 465t12
114M9*Unicode_Char 121r36 125r31 128r34 131r30 134r39 139r33 142r36 145r47
. 149r27 149r48 10|30r13 376r36 388r36 399r31 408r34 418r30 428r39 438r33
. 447r47 456r27 456r48 459r17
121V13*Is_White_Space{boolean} 121>29 155r19 10|376b13 382l8 382t22
121m29 Char{114M9} 10|376b29 378r17 379r17 380r17 381r17
125V13*Is_Letter{boolean} 125>24 154r19 10|399b13 402l8 402t17
125m24 Char{114M9} 10|399b24 401r28 401r58
128V13*Is_Base_Char{boolean} 128>27 10|401s14 408b13 412l8 412t20
128m27 Char{114M9} 10|408b27 411r14 411r54
131V13*Is_Digit{boolean} 131>23 10|418b13 422l8 422t16
131m23 Char{114M9} 10|418b23 421r14 421r55
134V13*Is_Combining_Char{boolean} 134>32 10|428b13 432l8 432t25
134m32 Char{114M9} 10|428b32 431r14 431r59
139V13*Is_Extender{boolean} 139>26 10|438b13 441l8 441t19
139m26 Char{114M9} 10|438b26 440r14 440r58
142V13*Is_Ideographic{boolean} 142>29 153r19 10|388b13 393l8 393t22 401s42
142m29 Char{114M9} 10|388b29 390r14 391r17 392r17
145V13*To_Unicode{114M9} 145>25 156r19 10|447b13 450l8 450t18
145e25 C{character} 10|447b25 449r29
149V13*To_Lower{114M9} 149>23 10|456b13 464l8 464t16
149m23 C{114M9} 10|456b23 458r10 460r69 462r17
X 10 unicode.adb
29A9 Unichar_Boolean_Array(boolean)<9|114M9> 31r17 33r30 239r31 258r35 357r34
33a4 Valid_BaseChar{29A9} 411r38
239a4 Valid_DigitChar{29A9} 421r38
258a4 Valid_CombiningChar{29A9} 431r38
357a4 Valid_ExtenderChar{29A9} 440r38
X 11 unicode-names.ads
6K17*Names 10|24r14 24r50 11|8e18
X 12 unicode-names-basic_latin.ads
4K23*Basic_Latin 10|24w20 24r56 12|210e30
31m4*Horizontal_Tabulation=32:28{9|114M9} 10|379r24
37m4*Line_Feed{9|114M9} 10|380r24
50m4*Carriage_Return{9|114M9} 10|381r24
112m4*Space{9|114M9} 10|378r24
|