/usr/lib/ada/adalib/ahven/ahven-temporary_output.ali is in libahven4-dev 2.4+repack-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 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 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 | V "GNAT Lib v4.9"
A -O2
A -fPIC
A -fstack-protector
A -g
A -gnatf
A -gnatVa
A -gnato
A -gnatwe
A -gnatwa
A -gnatwl
A -gnatE
A -gnatwF
A -gnatyd
A -gnaty3
A -gnatyi
A -gnatyb
A -gnatym
A -gnatyh
A -gnatye
A -gnatyx
A -gnat95
A -g
A -gnatA
P SS ZX
RN
RV NO_EXCEPTIONS
RV NO_IO
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05
U ahven.temporary_output%b ahven-temporary_output.adb 9774393c DE NE OO PK
W ada%s ada.ads ada.ali
W ada.exceptions%s a-except.adb a-except.ali
W ada.strings%s a-string.ads a-string.ali
W ada.strings.fixed%s a-strfix.adb a-strfix.ali
W ada.tags%s a-tags.adb a-tags.ali
W ahven%s ahven.adb ahven.ali
W interfaces%s interfac.ads interfac.ali
W system.img_lli%s s-imglli.adb s-imglli.ali
W system.secondary_stack%s s-secsta.adb s-secsta.ali
U ahven.temporary_output%s ahven-temporary_output.ads a5b8280b DE EE OO PK
W ada%s ada.ads ada.ali
W ada.tags%s a-tags.adb a-tags.ali
W ada.text_io%s a-textio.adb a-textio.ali
W ahven%s ahven.adb ahven.ali
W ahven.astrings%s ahven-astrings.ads ahven-astrings.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
D ada.ads 20070406091342 3ffc8e18
D a-charac.ads 20070912115821 2d3ec45b
D a-chlat1.ads 20140225151544 66457d31
D a-except.ads 20140129161953 f86a4103
D a-finali.ads 20111121113555 52ecdc1b
D a-ioexce.ads 20140225151544 e4a01f64
D a-stream.ads 20140122164720 1a984740
D a-string.ads 20070406091342 90ac6797
D a-strbou.ads 20101008130255 9806fe84
D a-strfix.ads 20101008130255 d07c346e
D a-strmap.ads 20090409150019 9cb836fb
D a-strsup.ads 20120309145048 a27dcb33
D a-tags.ads 20111212115430 6c0509d0
D a-textio.ads 20140129155348 386df5d4
D a-unccon.ads 20070406091342 f9eb8f06
D ahven.ads 20140804204240 4ddcfc31
D ahven-astrings.ads 20140804204240 1b9f3e2c
D ahven-temporary_output.ads 20140804204240 cb961fc2
D ahven-temporary_output.adb 20140804204240 8c9e1290
D interfac.ads 20140225151838 69adb1b9
D i-cstrea.ads 20130412125801 8128536b
D system.ads 20140727234634 90249111
D s-crtl.ads 20140225151544 840e6817
D s-exctab.ads 20140225151139 54135002
D s-ficobl.ads 20120709130952 55a71d43
D s-finmas.ads 20140225151139 814daec4
D s-finroo.ads 20120426095924 4ff27390
D s-imglli.ads 20090409150019 114f55d1
D s-parame.ads 20140225151139 ab8cb46a
D s-pooglo.ads 20110804083314 542f33d0
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-traent.ads 20140225151139 b5116092
D s-unstyp.ads 20140225151139 510692af
D s-wchcon.ads 20140225151139 1b7d22d2
X 1 ada.ads
16K9*Ada 19e8 18|17r6 47r16 19|16r6 20r8 26r50 36r7 36r40 46r7 47r7 52r7
. 53r7 53r31 58r14 59r10 59r41 62r7 67r7
X 8 a-string.ads
16K13*Strings 35e16 19|16r10 20r12 26r54
33n37*Both{33E9} 19|26r62
X 9 a-strbou.ads
50R12*Bounded_String<12|47R9> 18|46r25[17|19]
63V16*To_Bounded_String{50R12[17|19]} 19|34s20[17|19]
67V16*To_String{string} 19|41s14[17|19] 60s28[17|19]
X 10 a-strfix.ads
18K21*Fixed 251e22 19|16w18 20r20
195V13*Trim{string} 19|26s9
X 14 a-textio.ads
49K13*Text_IO 471e16 18|17w10 47r20 19|36r11 36r44 46r11 47r11 52r11 53r11
. 53r35 58r18 59r14 59r45 62r11 67r11
52P9*File_Type 18|47r28
53n32*Out_File{53E9} 19|36r52 59r53
86U14*Create 19|36s19
92U14*Open 19|59s22
98U14*Close 19|67s19
99U14*Delete 19|62s19
107V13*Is_Open{boolean} 19|58s26
114U14*Set_Output 19|47s19 53s19
118V13*Standard_Output{52P9} 19|53s43
143U14*Flush 19|46s19 52s19
X 16 ahven.ads
18K9*Ahven 46e10 18|16r6 19r9 50r5 19|18r14 19r8 70r5
X 17 ahven-astrings.ads
19K15*AStrings[9|46] 18|16w12 46r16 19|19r14
X 18 ahven-temporary_output.ads
19K15*Temporary_Output 16|18k9 18|45E9 50l11 50e27 19|18b20 70l11 70t27
20X4*Temporary_File_Error 19|31r16
22R9*Temporary_File 24r38 28r30 31r48 38r41 41r40 45c9 19|24r38 39r30 44r48
. 56r41 65r40
24U14*Create_Temp 24<27 19|24b14 37l8 37t19
24r27 File{22R9} 19|24b27 34m7 36m27 36r27
28V13*Get_Name{string} 28>23 19|39b13 42l8 42t16
28r23 File{22R9} 19|39b23 41r25
31U14*Redirect_Output 31=31 19|44b14 48l8 48t23
31r31 To_File{22R9} 19|44b31 47r31
35U14*Restore_Output 19|50b14 54l8 54t22
38U14*Remove_Temp 38=27 19|56b14 63l8 63t19
38r27 File{22R9} 19|56b27 58r35 59m28 59r28 60r39 62m27 62r27
41U14*Close_Temp 41=26 19|65b14 68l8 68t18
41r26 File{22R9} 19|65b26 67m26 67r26
46r7*Name{9|50R12[17|19]} 19|34m12 41r30 60r44
47p7*Handle{14|52P9} 19|36m32 47r39 58r40 59m33 62m32 67m31
X 19 ahven-temporary_output.adb
21I12 Temp_Counter_Type{long_integer} 22r19 28r25
22i4 Temp_Counter{21I12} 26r35 28r10 29m10 29r26
25a7 Filename=25:51{string} 34r39 36r62
|