/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll/gnatcoll-vfs_types.ali is in libgnatcoll16.1.0-dev 17.0.2017-3.
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 | V "GNAT Lib v7"
A -O2
A -O2
A -gnatA
A -gnatn
A -gnatwa
A -gnatwC
A -gnatwJ
A -g
A -fdebug-prefix-map=/build/libgnatcoll-6424vb/libgnatcoll-17.0.2017=.
A -fstack-protector-strong
A -fPIC
A -mtune=generic
A -march=x86-64
P ZX
RN
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_DEALLOCATION
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05
U gnatcoll.vfs_types%s gnatcoll-vfs_types.ads 8fb9b025 NE OO PK IU
W ada%s ada.ads ada.ali
W ada.unchecked_deallocation%s
W gnatcoll%s gnatcoll.ads gnatcoll.ali
D ada.ads 20170106103348 76789da1 ada%s
D a-uncdea.ads 20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D gnatcoll.ads 20170516111831 6a5da479 gnatcoll%s
D gnatcoll-vfs_types.ads 20170516111831 14be4a8d gnatcoll.vfs_types%s
D system.ads 20170510173650 4635ec04 system%s
X 1 ada.ads
16K9*Ada 20e8 4|24r6 31r26
X 2 a-uncdea.ads
20u15*Unchecked_Deallocation 4|24w10 31r30
X 3 gnatcoll.ads
24K9*GNATCOLL 27e13 4|26r9 36r5
X 4 gnatcoll-vfs_types.ads
26K18*VFS_Types 3|24k9 4|36l14 36e23
28A9*FS_String<string>(character)<integer> 30r40 32r7
30P9*FS_String_Access(28A9) 32r18
31U14*Free[2|20]
34E9*FS_Type 34e79
34n21*FS_Unknown{34E9}
34n33*FS_Unix{34E9}
34n42*FS_Unix_Case_Insensitive{34E9}
34n68*FS_Windows{34E9}
|