This package was debianized by Samuel Tardieu sam@debian.org on
Mon, 12 Oct 1998 10:48:12 +0200.

It was downloaded from ftp://ftp.cs.nyu.edu/pub/gnat/rm9x-v5.95/

Upstream Author(s): Intermetrics (http://www.intermetrics.com/)

Copyright:

Copyright (C) 1992,1993,1994,1995  Intermetrics, Inc.

This copyright is assigned to the U.S. Government.  All rights reserved.

This document may be copied, in whole or in part, in any form or by any
means, as is or with alterations, provided that (1) alterations are clearly
marked as alterations and (2) this copyright notice is included unmodified in
any copy.  Compiled copies of standard library units and examples need not
contain this copyright notice so long as the notice is included in all copies
of source code and documentation.
