/usr/lib/ada/adalib/anet/anet-thin.ali is in libanet1-dev 0.3.3-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 48 49 50 51 52 53 54 55 56 57 58 59 | V "GNAT Lib v6"
A -O2
A -gnatyg
A -gnatyA
A -gnatyd
A -gnatyI
A -gnatyS
A -gnatyu
A -gnatyx
A -gnatyo
A -gnatVa
A -gnat05
A -gnatf
A -fstack-check=specific
A -gnato
A -g
A -gnatwa
A -gnatwl
A -gnatwe
A -g
A -fstack-protector-strong
A -gnatA
P DB ZX
RN
RV NO_IMPLEMENTATION_PRAGMAS
U anet.thin%s anet-thin.ads d0c2e462 NE OO PK
W anet%s anet.adb anet.ali
W interfaces%s interfac.ads interfac.ali
W interfaces.c%s i-c.adb i-c.ali
D ada.ads 20070406091342 3ffc8e18 ada%s
D a-except.ads 20151016123252 291912d5 ada.exceptions%s
D a-stream.ads 20141120112812 119b8fb3 ada.streams%s
D a-tags.ads 20151016130316 01f5e3ef ada.tags%s
D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s
D anet.ads 20160718084454 db94a232 anet%s
D anet-thin.ads 20160718084454 5f7757cb anet.thin%s
D interfac.ads 20151118101227 4be8ce1b interfaces%s
D i-c.ads 20110801143639 5421119b interfaces.c%s
D system.ads 20151123113124 6326c08a system%s
D s-exctab.ads 20140225151139 54135002 system.exception_table%s
D s-parame.ads 20140801093848 7e2a0d7f system.parameters%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-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s
D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s
X 6 anet.ads
36K9*Anet 136e9 7|25r9 30r5
X 7 anet-thin.ads
25K14*Thin 6|36k9 7|30l10 30e14
27V13*C_Getpid{9|35I9} 28b<c,getpid>22
X 8 interfac.ads
38K9*Interfaces 7|23r6 27r29 8|183e15
X 9 i-c.ads
18K20*C 7|23w17 27r40 9|230e17
35I9*int<integer> 7|27r42
|