/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-long_astrings.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 | 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_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05
U ahven.long_astrings%b ahven-long_astrings.ads 26230525 DE NE OO PK
W ada%s ada.ads ada.ali
W ada.strings%s a-string.ads a-string.ali
W ada.strings.bounded%s a-strbou.adb a-strbou.ali
W ahven%s ahven.adb ahven.ali
W interfaces%s interfac.ads interfac.ali
W system.secondary_stack%s s-secsta.adb s-secsta.ali
U ahven.long_astrings%s ahven-long_astrings.ads 3854adba DE EB NE OO PK
W ada%s ada.ads ada.ali
W ada.strings%s a-string.ads a-string.ali
W ada.strings.bounded%s a-strbou.adb a-strbou.ali
W ahven%s ahven.adb ahven.ali
W system.secondary_stack%s s-secsta.adb s-secsta.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-string.ads 20070406091342 90ac6797 ada.strings%s
D a-strbou.ads 20140731124036 53ab54ae ada.strings.bounded%s
D a-strbou.adb 20090409150019 adb4aa70 ada.strings.bounded%b
D a-strmap.ads 20140611123156 e8bb714a ada.strings.maps%s
D a-strsup.ads 20120309145048 a27dcb33 ada.strings.superbounded%s
D a-unccon.ads 20170106103348 31484697 ada.unchecked_conversion%s
D ahven.ads 20160711072733 4ddcfc31 ahven%s
D ahven-long_astrings.ads 20160711072733 26230525 ahven.long_astrings%s
D ahven-long_astrings.ads 20160711072733 26230525 ahven.long_astrings%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-secsta.ads 20170112134946 9751b57e system.secondary_stack%s
D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s
D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s
D s-unstyp.ads 20160502101423 34867c83 system.unsigned_types%s
X 1 ada.ads
16K9*Ada 20e8 12|17r6 20r7
X 4 a-string.ads
16K13*Strings 35e16 12|17r10 20r11
X 5 a-strbou.ads
39K21*Bounded 914e24 12|17w18 20r19
43i7 Max{positive} 12|20r51
46k12*Generic_Bounded_Length 912e30 12|20r27
X 10 ahven.ads
18K9*Ahven 46e10 12|19r9
20N4*Max_Long_String_Len 12|20r58
X 12 ahven-long_astrings.ads
19K15*Long_AStrings[5|46] 10|18k9
|