/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-name_list.ali is in libahven6-dev 2.6-1.2.
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 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 | V "GNAT Lib v7"
A -O2
A -g
A -gnatf
A -gnatVa
A -gnato
A -gnatwe
A -gnatwa
A -gnatwl
A -gnatE
A -gnatwF
A -gnatyd
A -gnaty3
A -gnatyb
A -gnatym
A -gnatyh
A -gnatye
A -gnatyx
A -gnat95
A -g
A -fdebug-prefix-map=/build/ahven-f400BO/ahven-2.6=.
A -fstack-protector-strong
A -gnatA
P SL SS ZX
RN
RV NO_ALLOCATORS
RV NO_DISPATCHING_CALLS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_IMPLICIT_CONDITIONALS
RV NO_LOCAL_ALLOCATORS
RV NO_NESTED_FINALIZATION
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05
U ahven.name_list%b ahven-name_list.ads 88b390f5 DE NE OO PK
Z ada%s ada.ads ada.ali
W ada.exceptions%s a-except.adb a-except.ali
Z ada.finalization%s a-finali.ads a-finali.ali
W ada.streams%s a-stream.adb a-stream.ali
W ada.tags%s a-tags.adb a-tags.ali
Z ada.unchecked_deallocation%s
W ahven%s ahven.adb ahven.ali
W ahven.astrings%s ahven-astrings.ads ahven-astrings.ali
W ahven.slist%s ahven-slist.adb ahven-slist.ali EA
W interfaces%s interfac.ads interfac.ali
W system%s system.ads system.ali
W system.exception_table%s s-exctab.adb s-exctab.ali
W system.secondary_stack%s s-secsta.adb s-secsta.ali
W system.soft_links%s s-soflin.adb s-soflin.ali
W system.standard_library%s s-stalib.adb s-stalib.ali
W system.storage_elements%s s-stoele.adb s-stoele.ali
W system.stream_attributes%s s-stratt.adb s-stratt.ali
U ahven.name_list%s ahven-name_list.ads b8bb3f45 DE EB EE OO PK
Z ada%s ada.ads ada.ali
W ada.exceptions%s a-except.adb a-except.ali
Z ada.finalization%s a-finali.ads a-finali.ali
W ada.streams%s a-stream.adb a-stream.ali
W ada.tags%s a-tags.adb a-tags.ali
W ahven%s ahven.adb ahven.ali
W ahven.astrings%s ahven-astrings.ads ahven-astrings.ali
W ahven.slist%s ahven-slist.adb ahven-slist.ali EA
W system%s system.ads system.ali
W system.exception_table%s s-exctab.adb s-exctab.ali
W system.secondary_stack%s s-secsta.adb s-secsta.ali
W system.soft_links%s s-soflin.adb s-soflin.ali
W system.standard_library%s s-stalib.adb s-stalib.ali
W system.storage_elements%s s-stoele.adb s-stoele.ali
W system.stream_attributes%s s-stratt.adb s-stratt.ali
D ada.ads 20170106103348 76789da1 ada%s
D a-charac.ads 20070912115821 2d3ec45b ada.characters%s
D a-chlat1.ads 20140225151544 66457d31 ada.characters.latin_1%s
D a-except.ads 20151016123252 291912d5 ada.exceptions%s
D a-finali.ads 20151020095656 bf4f806b ada.finalization%s
D a-stream.ads 20141120112812 119b8fb3 ada.streams%s
D a-string.ads 20070406091342 90ac6797 ada.strings%s
D a-strbou.ads 20140731124036 53ab54ae ada.strings.bounded%s
D a-strmap.ads 20140611123156 e8bb714a ada.strings.maps%s
D a-strsup.ads 20120309145048 a27dcb33 ada.strings.superbounded%s
D a-tags.ads 20151016130316 01f5e3ef ada.tags%s
D a-unccon.ads 20170106103348 31484697 ada.unchecked_conversion%s
D a-uncdea.ads 20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D ahven.ads 20160711072733 4ddcfc31 ahven%s
D ahven-astrings.ads 20160711072733 1b9f3e2c ahven.astrings%s
D ahven-name_list.ads 20160711072733 88b390f5 ahven.name_list%s
D ahven-name_list.ads 20160711072733 88b390f5 ahven.name_list%b
D ahven-slist.ads 20160711072733 664b6dad ahven.slist%s
D ahven-slist.adb 20160711072733 692b646c ahven.slist%b
D interfac.ads 20160502101001 5ab55268 interfaces%s
D system.ads 20170510173650 4635ec04 system%s
D s-exctab.ads 20140225151139 54135002 system.exception_table%s
D s-finroo.ads 20120426095924 4ff27390 system.finalization_root%s
D s-memory.ads 20160622104833 597d6634 system.memory%s
D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s
D s-secsta.ads 20170112134946 9751b57e system.secondary_stack%s
D s-soflin.ads 20151020124036 14e1eb6c system.soft_links%s
D s-stache.ads 20140225151139 a37c21ec system.stack_checking%s
D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s
D s-stalib.adb 20140225151139 f2fe2716 system.standard_library%b
D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s
D s-stoele.adb 20140801093848 ed88f8fb system.storage_elements%b
D s-stratt.ads 20131014135145 aedef97e system.stream_attributes%s
D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s
D s-unstyp.ads 20160502101423 34867c83 system.unsigned_types%s
X 8 a-strbou.ads
50R12*Bounded_String<10|47R9> 17|23r47[15|19]
X 14 ahven.ads
18K9*Ahven 46e10 17|17r6 18r6 22r9 23r3 23r32
X 15 ahven-astrings.ads
19K15*AStrings[8|46] 17|18w12 23r38
X 17 ahven-name_list.ads
22K15*Name_List[18|21] 14|18k9
X 18 ahven-slist.ads
20+9 Element_Type 17|23r16
21k15*SList 17|17w12 20r29 23r9 18|92e16
X 21 system.ads
67M9*Address
X 24 s-memory.ads
53V13*Alloc{21|67M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{21|67M9} 105i<c,__gnat_realloc>22
X 30 s-stalib.adb
93U14 Break_Start 94i<c,__gnat_break_start>22
|