/usr/lib/x86_64-linux-gnu/ada/adalib/ncursesada/terminal_interface-curses-forms-field_types-numeric.ali is in libncursesada5-dev 6.0.20170708-2.
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 | V "GNAT Lib v7"
A -gnatwa
A -O2
A -Wall
A -gnatA
A -g
A -fdebug-prefix-map=/build/libncursesada-FaCyK8/libncursesada-6.0.20170708=.
A -fstack-protector-strong
A -gnata
A -gnatE
A -gnatf
A -gnatn
A -gnato
A -gnatQ
A -gnatq
A -gnatVa
A -gnatwa
A -gnatw.e
A -gnatwH
A -gnatw.Y
A -gnatyy
A -gnatyM80
A -fPIC
A -mtune=generic
A -march=x86-64
P SS ZX
RN
RV NO_DISPATCHING_CALLS
RV NO_FLOATING_POINT
RV NO_IMPLICIT_CONDITIONALS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05
U terminal_interface.curses.forms.field_types.numeric%b terminal_interface-curses-forms-field_types-numeric.adb eeb33d53 DE NE OO PK
W interfaces%s interfac.ads interfac.ali
W interfaces.c%s i-c.adb i-c.ali
W system.fat_flt%s s-fatflt.ads s-fatflt.ali
W terminal_interface%s terminal_interface.ads terminal_interface.ali
W terminal_interface.curses%s terminal_interface-curses.adb terminal_interface-curses.ali
W terminal_interface.curses.aux%s terminal_interface-curses-aux.adb terminal_interface-curses-aux.ali
W terminal_interface.curses.forms.field_types%s terminal_interface-curses-forms-field_types.adb terminal_interface-curses-forms-field_types.ali
U terminal_interface.curses.forms.field_types.numeric%s terminal_interface-curses-forms-field_types-numeric.ads 06b41658 BN DE EE OO PF PR PK
W ada.exceptions%s a-except.adb a-except.ali
W ada.streams%s a-stream.adb a-stream.ali
W ada.tags%s a-tags.adb a-tags.ali
W system%s system.ads system.ali
W system.secondary_stack%s s-secsta.adb s-secsta.ali
W system.storage_elements%s s-stoele.adb s-stoele.ali
W system.stream_attributes%s s-stratt.adb s-stratt.ali
W terminal_interface.curses.forms.field_types%s terminal_interface-curses-forms-field_types.adb terminal_interface-curses-forms-field_types.ali
D ada.ads 20170106103348 76789da1 ada%s
D a-charac.ads 20070912115821 2d3ec45b ada.characters%s
D a-chlat1.ads 20140225151544 66457d31 ada.characters.latin_1%s
D a-except.ads 20151016123252 291912d5 ada.exceptions%s
D a-finali.ads 20151020095656 bf4f806b ada.finalization%s
D a-ioexce.ads 20140225151544 e4a01f64 ada.io_exceptions%s
D a-stream.ads 20141120112812 119b8fb3 ada.streams%s
D a-tags.ads 20151016130316 01f5e3ef ada.tags%s
D a-unccon.ads 20170106103348 31484697 ada.unchecked_conversion%s
D interfac.ads 20160502101001 5ab55268 interfaces%s
D i-c.ads 20110801143639 5421119b interfaces.c%s
D i-cstrin.ads 20140611122922 341d0ddf interfaces.c.strings%s
D system.ads 20170808154339 4635ec04 system%s
D s-assert.ads 20140225151544 cd8d2c94 system.assertions%s
D s-exctab.ads 20140225151139 54135002 system.exception_table%s
D s-fatflt.ads 20090409150019 11beb392 system.fat_flt%s
D s-fatgen.ads 20150107111315 49cbaf86 system.fat_gen%s
D s-fatgen.adb 20160707132030 de7895ec system.fat_gen%b
D s-fatlfl.ads 20090409150019 378cba9f system.fat_lflt%s
D s-fatllf.ads 20090409150019 4d5c1475 system.fat_llf%s
D s-fatsfl.ads 20090409150019 e2f873d3 system.fat_sflt%s
D s-finmas.ads 20151016130316 7811a767 system.finalization_masters%s
D s-finroo.ads 20120426095924 4ff27390 system.finalization_root%s
D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s
D s-pooglo.ads 20151118103153 ede33ef8 system.pool_global%s
D s-secsta.ads 20170112134946 9751b57e system.secondary_stack%s
D s-soflin.ads 20151020124036 14e1eb6c system.soft_links%s
D s-stache.ads 20140225151139 a37c21ec system.stack_checking%s
D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s
D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s
D s-stoele.adb 20140801093848 ed88f8fb system.storage_elements%b
D s-stopoo.ads 20131010103753 b16154c2 system.storage_pools%s
D s-stratt.ads 20131014135145 aedef97e system.stream_attributes%s
D s-stratt.adb 20090409150019 56ef263e system.stream_attributes%b
D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s
D s-unstyp.ads 20160502101423 34867c83 system.unsigned_types%s
D terminal_interface.ads 20060625143022 3a9703dd terminal_interface%s
D terminal_interface-curses.ads 20170809183853 d7fd4c44 terminal_interface.curses%s
D terminal_interface-curses-aux.ads 20170809183853 38a74fd9 terminal_interface.curses.aux%s
D terminal_interface-curses-aux.adb 20091226174436 b6fcbd42 terminal_interface.curses.aux%b
D terminal_interface-curses-forms.ads 20170809183853 29d1e06e terminal_interface.curses.forms%s
D terminal_interface-curses-forms-field_types.ads 20170809183853 8d354494 terminal_interface.curses.forms.field_types%s
D terminal_interface-curses-forms-field_types-numeric.ads 20091226174526 8b8152cc terminal_interface.curses.forms.field_types.numeric%s
D terminal_interface-curses-forms-field_types-numeric.adb 20140524213105 09b431dd terminal_interface.curses.forms.field_types.numeric%b
D terminal_interface-curses_constants.ads 20170809183853 9341189e terminal_interface.curses_constants%s
X 10 interfac.ads
38K9*Interfaces 184e15 44|42r6 50r26
X 11 i-c.ads
18K20*C 230e17 44|42w17 50r37
35I9*int<integer>
65F9*double<long_float> 44|50r39
X 30 s-stoele.ads
105M9*Integer_Address
X 37 terminal_interface.ads
42K9*Terminal_Interface 47e23 43|41r9 42r25 55r5 44|43r6 43r41 45r14 65r5
X 38 terminal_interface-curses.ads
47K28*Curses 37|42k9 38|2102e30 43|41r28 42r44 55r24 44|43r25 43r60 45r33
. 65r24
X 39 terminal_interface-curses-aux.ads
45K35*Aux 119e34 44|43w32 43r67
71E9*Eti_Error 86e12 44|55r52
88U14*Eti_Exception 44|59s7
X 41 terminal_interface-curses-forms.ads
45K35*Forms 38|47k28 41|781e36 43|41r35 42r51 55r31 44|45r40 65r31
51M9*Field<30|105M9> 43|51r36 44|47r36 52r37
X 42 terminal_interface-curses-forms-field_types.ads
44K41*Field_Types 41|45k35 42|240e48 43|41r41 42r57 55r37 44|45r46 65r37
47I12*C_Int{11|35I9} 44|53r37 59r44
53H9*Field_Type 53e50 43|44r30
152U14 Wrap_Builtin 44|62s7
X 43 terminal_interface-curses-forms-field_types-numeric.ads
41K53*Numeric 42|44k41 43|42r69 55l49 55e56 44|45b58 65l49 65t56
44R9*Numeric_Field<42|53R9> 49e17 51P14 52r36 44|48r36
46i10*Precision{natural} 44|59r55
47f10*Lower_Limit{float} 44|60r56
48f10*Upper_Limit{float} 44|61r56
51U14*Set_Field_Type<42|67p14> 51>30 52>30 44|47b14 63l8 63t22
51m30 Fld{41|51M9} 44|47b30 52r46 62r21
52r30 Typ{44R9} 44|48b30 59r51 60r52 61r52 62r26
X 44 terminal_interface-curses-forms-field_types-numeric.adb
50F12 Double<11|65F9> 54r37 55r37 60r44 61r44
52V16*Set_Fld_Type{39|71E9} 52>30 53>30 54>30 55>30 56b<c,set_field_type_numeric>25
. 59s22
52m30 F{41|51M9}
53i30 Arg1{42|47I12} 59r36
54f30 Arg2{50F12} 60r36
55f30 Arg3{50F12} 61r36
|