/usr/lib/ada/adalib/ahven/ahven_compat.ali is in libahven4-dev 2.4+repack-1.
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 | V "GNAT Lib v4.9"
A -O2
A -fPIC
A -fstack-protector
A -g
A -gnatf
A -gnatVa
A -gnato
A -gnatwe
A -gnatwa
A -gnatwl
A -gnatE
A -gnatwF
A -gnatyd
A -gnaty3
A -gnatyi
A -gnatyb
A -gnatym
A -gnatyh
A -gnatye
A -gnatyx
A -gnat95
A -g
A -gnatA
P SS ZX
RN
RV NO_SECONDARY_STACK
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05
U ahven_compat%b ahven_compat.adb a994aa31 DE NE OO PK
W system.secondary_stack%s s-secsta.adb s-secsta.ali
U ahven_compat%s ahven_compat.ads 8861d619 DE EE NE OO PK
D ada.ads 20070406091342 3ffc8e18
D a-unccon.ads 20070406091342 f9eb8f06
D ahven_compat.ads 20140804204240 8861d619
D ahven_compat.adb 20140804204240 21f57c28
D system.ads 20140730121111 90249111
D s-secsta.ads 20140225151139 86a2856d
D s-stoele.ads 20140225151139 2dc34a04
D s-stoele.adb 20140225151139 ed88f8fb
X 3 ahven_compat.ads
18K9*Ahven_Compat 21l5 21e17 4|18b14 23l5 23t17
19V13*Directory_Separator{string} 4|19b13 22l8 22t27
|