computer programs and user manuals distributed together for use in debugging computer programs written in the Ada programming language

manuals for using computer programs in debugging programs written in the Ada programming language