/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll/gnatcoll-remote-db.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 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 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 | 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 SS ZX
RN
RV NO_DISPATCH
RV NO_DISPATCHING_CALLS
RV NO_EXCEPTIONS
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05
U gnatcoll.remote.db%b gnatcoll-remote-db.adb f971b57c NE OO PK IU
W ada.exceptions%s a-except.adb a-except.ali
W ada.tags%s a-tags.adb a-tags.ali
W gnatcoll.remote%s gnatcoll-remote.ads gnatcoll-remote.ali
W system%s system.ads system.ali
U gnatcoll.remote.db%s gnatcoll-remote-db.ads 329db92e EE OO PK IU
W ada.streams%s a-stream.adb a-stream.ali
W ada.tags%s a-tags.adb a-tags.ali
W gnatcoll.remote%s gnatcoll-remote.ads gnatcoll-remote.ali
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
W system.storage_elements%s s-stoele.adb s-stoele.ali
D ada.ads 20070406091342 3ffc8e18
D a-except.ads 20140129161953 f86a4103
D a-finali.ads 20111121113555 52ecdc1b
D a-stream.ads 20140122164720 1a984740
D a-tags.ads 20111212115430 6c0509d0
D a-unccon.ads 20070406091342 f9eb8f06
D a-uncdea.ads 20070406091342 f15a5ed1
D gnat.ads 20110801150502 fd2ad2f1
D g-expect.ads 20110801150502 8c6f1a8c
D g-os_lib.ads 20090409150019 0db74523
D g-regpat.ads 20110801150502 b85d88ef
D g-string.ads 20090409150019 c6abc540
D gnatcoll.ads 20140810010057 6a5da479
D gnatcoll-remote.ads 20140810010057 0702f81b
D gnatcoll-remote-db.ads 20140810010057 359f4135
D gnatcoll-remote-db.adb 20140810010057 cceef449
D gnatcoll-vfs_types.ads 20140810010057 14be4a8d
D system.ads 20140921225607 90249111
D s-exctab.ads 20140225151139 54135002
D s-exctab.adb 20140225151139 05502b19
D s-finmas.ads 20140225151139 814daec4
D s-finroo.ads 20120426095924 4ff27390
D s-htable.ads 20140225151139 84c2b3ea
D s-os_lib.ads 20140225151139 73b554c6
D s-parame.ads 20140225151139 ab8cb46a
D s-pooglo.ads 20110804083314 542f33d0
D s-regpat.ads 20120410054430 825a9b7f
D s-secsta.ads 20140225151139 86a2856d
D s-soflin.ads 20140225151139 aa763b52
D s-stache.ads 20140225151139 a37c21ec
D s-stalib.ads 20140225151139 a891183f
D s-stoele.ads 20140225151139 2dc34a04
D s-stoele.adb 20140225151139 ed88f8fb
D s-stopoo.ads 20131010103753 b16154c2
D s-stratt.ads 20131014135145 aedef97e
D s-string.ads 20140225151139 8fe54fb7
D s-traent.ads 20140225151139 b5116092
D s-unstyp.ads 20140225151139 510692af
X 13 gnatcoll.ads
24K9*GNATCOLL 26e13 15|30r9 105r5 16|24r14 108r5
X 14 gnatcoll-remote.ads
38K18*Remote 13|24k9 14|77e20 15|30r18 105r14 16|24r23 108r14
42h9*Server_Record
43P9*Server_Access(42R9) 15|47r33 84r51 16|55r51
X 15 gnatcoll-remote-db.ads
30K25*Db 14|38k18 15|105l21 105e23 16|24b30 108l21 108t23
32X4*Invalid_Remote_Configuration 16|45r16 58r16 72r16 87r16 102r16
38h9*Remote_Db_Interface 40p13 41r18 45p13 46r18 50p13 51r18 55p13 56r18
. 61p13 62r18 72r23 16|26r25 33r23
40y13*Is_Configured{boolean} 41>7 42>7 16|48R26
41r7 Config{38R9}
42s7 Nickname{string}
45y13*Get_Server{14|43P9} 46>7 47>7 16|61R26
46r7 Config{38R9}
47s7 Nickname{string}
50y13*Nb_Mount_Points{natural} 51>7 52>7 16|75R26
51r7 Config{38R9}
52s7 Nickname{string}
55y13*Get_Mount_Point_Local_Root{17|28A9} 56>7 57>7 58>7 16|90R26
56r7 Config{38R9}
57s7 Nickname{string}
58i7 Index{natural}
61y13*Get_Mount_Point_Host_Root{17|28A9} 62>7 63>7 64>7 16|105R26
62r7 Config{38R9}
63s7 Nickname{string}
64i7 Index{natural}
71U14*Define_Remote_Configuration 72^7 16|32b14 36l8 36t35
72p7 Config(38R9) 16|33b7 35r22
80V13*Is_Configured{boolean} 80>28 16|42b13 49l8 49t21
80s28 Nickname{string} 16|42b28 48r41
84V13*Get_Server{14|43P9} 84>25 16|55b13 62l8 62t18
84s25 Nickname{string} 16|55b25 61r38
88V13*Nb_Mount_Points{natural} 89>7 16|68b13 76l8 76t23
89s7 Nickname{string} 16|69b7 75r43
93V13*Get_Mount_Point_Local_Root{17|28A9} 94>7 95>7 16|82b13 91l8 91t34
94s7 Nickname{string} 16|83b7 90r54
95i7 Index{natural} 16|84b7 90r64
99V13*Get_Mount_Point_Host_Root{17|28A9} 100>7 101>7 16|97b13 106l8 106t33
100s7 Nickname{string} 16|98b7 105r53
101i7 Index{natural} 16|99b7 105r63
X 16 gnatcoll-remote-db.adb
26p4 Global_Conf(15|38R9) 35m7 44r10 48r14 57r10 61r14 71r10 75r14 86r10
. 90r14 101r10 105r14
X 17 gnatcoll-vfs_types.ads
28A9*FS_String<string><integer> 15|58r34 64r34 95r34 101r34 16|84r34 99r34
|