/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll/gnatcoll-vfs_types.ali is in libgnatcoll1.6-dev 1.6gpl2014-6.
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 | V "GNAT Lib v4.9"
A -O2
A -O2
A -fPIC
A -fstack-protector-strong
A -gnatA
A -gnatn
A -gnatws
A -gnat05
A -g
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 20070406091342 3ffc8e18
D a-uncdea.ads 20070406091342 f15a5ed1
D gnatcoll.ads 20140810010057 6a5da479
D gnatcoll-vfs_types.ads 20140810010057 14be4a8d
D system.ads 20140921225607 90249111
X 1 ada.ads
16K9*Ada 19e8 4|24r6 31r26
X 2 a-uncdea.ads
20u15*Unchecked_Deallocation 4|24w10 31r30
X 3 gnatcoll.ads
24K9*GNATCOLL 26e13 4|26r9 36r5
X 4 gnatcoll-vfs_types.ads
26K18*VFS_Types 3|24k9 4|36l14 36e23
28A9*FS_String<string><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}
|