/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven.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 | 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 ZX
RN
RV NO_STANDARD_STORAGE_POOLS
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05
U ahven%b ahven.adb a3106e10 DE NE OO PK
W ada%s ada.ads ada.ali
W ada.exceptions%s a-except.adb a-except.ali EA
W interfaces%s interfac.ads interfac.ali
U ahven%s ahven.ads 4ddcfc31 BN DE EE OO PK
W system%s system.ads system.ali
W system.exception_table%s s-exctab.adb s-exctab.ali
W system.standard_library%s s-stalib.adb s-stalib.ali
D ada.ads 20170106103348 76789da1 ada%s
D a-except.ads 20151016123252 291912d5 ada.exceptions%s
D a-unccon.ads 20170106103348 31484697 ada.unchecked_conversion%s
D ahven.ads 20160711072733 4ddcfc31 ahven%s
D ahven.adb 20160711072733 c7d580f4 ahven%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-parame.ads 20140801093848 7e2a0d7f system.parameters%s
D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s
D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s
X 1 ada.ads
16K9*Ada 20e8 5|17r6 26r10 40r7 45r7
X 2 a-except.ads
54K13*Exceptions 349e19 5|17w10 19r27 26r14 40r11 45r11
90U14*Raise_Exception 5|26s25 40s22 45s22
X 4 ahven.ads
18K9*Ahven 46l5 46e10 5|21b14 48l5 48t10
19N4*Max_String_Len
20N4*Max_Long_String_Len
22X4*Assertion_Error 5|26r42 40r39
25X4*Test_Skipped_Error 5|45r39
28U14*Assert 28>22 28>43 5|23b14 28l8 28t14 33s7
28b22 Condition{boolean} 5|23b22 25r14
28a43 Message{string} 5|23b43 26r68
33+12 Data_Type 34r35 35r39 36r39 5|31r17 31r39
34V21 Image{string} 34>28 5|34s32 35s27
34*28 Item{33+12}
35u14*Assert_Equal 35>28 36>28 37>28 5|30b14 36l8 36t20
35*28 Actual{33+12} 5|31b8 33r15 35r34
36*28 Expected{33+12} 5|31b28 33r24 34r39
37a28 Message{string} 5|31b50 33r34
41U14*Fail 41>20 5|38b14 41l8 41t12
41a20 Message{string} 5|38b20 40r65
44U14*Skip 44>20 5|43b14 46l8 46t12
44a20 Message{string} 5|43b20 45r68
|