V "GNAT Lib v2019"
A -O3
A -gnat12
P ZX

RN
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U tput00_h%b		tput00_h.adb		f48094be NE OO PK IL
W interfaces%s		interfac.ads		interfac.ali
W interfaces.c%s	i-c.adb			i-c.ali

U tput00_h%s		tput00_h.ads		30621bb8 EE NE OO PK IL
W interfaces%s		interfac.ads		interfac.ali
W interfaces.c%s	i-c.adb			i-c.ali

D ada.ads		20190518041255 76789da1 ada%s
D a-unccon.ads		20190518041255 0e9b276f ada.unchecked_conversion%s
D interfac.ads		20190518041254 5ab55268 interfaces%s
D i-c.ads		20190518041254 5421119b interfaces.c%s
D system.ads		20190518041255 4635ec04 system%s
D s-exctab.ads		20190518041255 54135002 system.exception_table%s
D s-parame.ads		20190518041256 48ec542b system.parameters%s
D s-stalib.ads		20190518041256 09bd3940 system.standard_library%s
D tput00_h.ads		20190827030928 64430a23 tput00_h%s
D tput00_h.adb		20190827030928 c4e28f06 tput00_h%b
G a e
G c Z s b [tput00 tput00_h 7 13 none]
X 3 interfac.ads
38K9*Interfaces 184e15 9|3r6 3r24 10|2r6 2r24
X 4 i-c.ads
18K20*C 230e17 9|3w17 3r35 10|2w17 2r35
35I9*int<integer> 9|7r27 10|6r27
X 9 tput00_h.ads
5K9*tput00_h 10l5 10e13 10|4b14 11l5 11t13
7V13*tput00{4|35I9} 10|6b13 9l13 9t19

