/usr/lib/x86_64-linux-gnu/ada/adalib/asis/a4g-a_osint.ali is in libasis2014-dev 2014-4.
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 | V "GNAT Lib v4.9"
A -O2
A -O2
A -fstack-protector-strong
A -fPIC
A -gnatf
A -gnatws
A -g
A -gnatf
A -gnatn
A -gnato
A -gnatwa
A -gnatVa
A -gnatA
P SS ZX
RN
RV NO_IMPLICIT_CONDITIONALS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_DEALLOCATION
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05
U a4g.a_osint%b a4g-a_osint.adb ed36ba74 NE OO PK IU
W a4g%s a4g.ads a4g.ali
W system.secondary_stack%s s-secsta.adb s-secsta.ali
W unchecked_deallocation%s
U a4g.a_osint%s a4g-a_osint.ads c857d60d EE NE OO PK IU
W a4g%s a4g.ads a4g.ali
W gnat%s gnat.ads gnat.ali
W gnat.os_lib%s g-os_lib.ads g-os_lib.ali
W types%s types.adb types.ali
D a4g.ads 20140410133835 21a63bd9
D a4g-a_osint.ads 20140410133835 ede71d4a
D a4g-a_osint.adb 20140410133835 2194b19a
D ada.ads 20070406091342 3ffc8e18
D a-unccon.ads 20070406091342 f9eb8f06
D a-uncdea.ads 20070406091342 f15a5ed1
D gnat.ads 20110801150502 fd2ad2f1
D g-os_lib.ads 20090409150019 0db74523
D system.ads 20140730121111 90249111
D s-exctab.ads 20140225151139 54135002
D s-os_lib.ads 20140225151139 73b554c6
D s-secsta.ads 20140225151139 86a2856d
D s-stalib.ads 20140225151139 a891183f
D s-stoele.ads 20140225151139 2dc34a04
D s-stoele.adb 20140225151139 ed88f8fb
D s-string.ads 20140225151139 8fe54fb7
D s-unstyp.ads 20140225151139 510692af
D types.ads 20140730124209 09a1b5bd
D unchconv.ads 20070406091342 ca2f9e18
D unchdeal.ads 20070406091342 214516a4
X 1 a4g.ads
50K9*A4G 52e8 2|49r9 66r5 3|42r14 114r5
X 2 a4g-a_osint.ads
49K13*A_Osint 1|50k9 2|66l9 66e16 3|42b18 114l9 114t16
51V13*Normalize_Directory_Name{string} 52>7 3|96b13 112l8 112t32
52s7 Directory{string} 3|97b7 104r10 104r21 105r17 106r13 110r17
59V13*Get_Max_File_Name_Length{18|59I9} 3|74b13 90l8 90t32
63U14*Free_Argument_List 63=34 3|57b14 68l8 68t26
63p34 List{11|671P12} 3|57b34 59r10 63r16 64r23 67m18
X 3 a4g-a_osint.adb
48U14 Free_String[20|20] 64s10
50U14 Free_List[20|20] 67s7
63i11 J{integer} 64r29
75V16*Get_Maximum_File_Name_Length{18|59I9} 76b<c,__gnat_get_maximum_file_name_length>25
. 85s10 88s17
X 7 gnat.ads
34K9*GNAT 2|46r6 46r23 7|37e9
X 8 g-os_lib.ads
51K14*OS_Lib=51:36 2|46w11 46r28
X 11 s-os_lib.ads
70P12*String_Access{16|45P9} 3|48r65
77A12*String_List{16|54A9}<integer>
91P12*String_List_Access{16|55P9}
93V14*"="=94:22{boolean} 3|59r15
666A12*Argument_List{77A12}<integer> 3|51r7
671P12*Argument_List_Access{91P12} 2|63r48 3|51r22 57r48
975e4*Directory_Separator{character} 3|104r39 108r23 110r29
X 16 s-string.ads
45P9*String_Access(string)
54A9*String_List(45P9)<integer>
55P9*String_List_Access(54A9)
X 18 types.ads
52K9*Types 2|47w6 47r23 18|885e10
59I9*Int<integer> 2|59r45 3|74r45 75r52 86r17
X 20 unchdeal.ads
20u11*Unchecked_Deallocation 3|40w6 48r33 50r31
|