ASIS-for-GNAT was originally developed  by the ASIS-for-GNAT team at the
Software  Engineering  Laboratory  of  the Swiss  Federal  Institute  of
Technology (LGL-EPFL) in Lausanne,  Switzerland, in cooperation with the
Scientific  Research  Computer  Center of  Moscow State University (SRCC
MSU), Russia,  with funding partially provided  by grants from the Swiss
National  Science  Foundation  and  the  Swiss  Academy  of  Engineering
Sciences.  ASIS-for-GNAT is now maintained by  Ada Core Technologies Inc
(http://www.gnat.com).

The original source can always be found at:
	ftp://ftp.debian.org/dists/unstable/main/source/

Copyright (c) 1995-1997, Free Software Foundation, Inc.

The ASIS-for-GNAT code consists of two parts - the first part is the code
specially developed to implement ASIS for the GNAT Ada 95 compiler, and the
second part consists of the GNAT components needed by the code from the first
part.

All the ASIS-for-GNAT code is licensed using a modified version of the General
Public License (GPL) which allows unlimited distribution without license fees,
and incorporation into any program executable without restriction. In
particular, ASIS-for-GNAT can be used for building proprietary or classified
ASIS-based tools and applications, and in no way restricts the desired
licensing or distribution of such programs.

The source code of all the ASIS applications included as examples of
ASIS-based tools in the ASIS-for-GNAT distribution the GPL. This means that
this code is freely redistributable, and you may freely modify these
applications for your own use, but if you redistribute modified versions of
these ASIS applications, then they must themselves be distributed under the
terms of the GPL, and in particular you cannot incorporate the code of these
applications into proprietary programs.

For more information on the licensing provisions, consult the headers of the
appropriate source files.

On Debian GNU/Linux systems, the complete text of the (unmodified) GNU General
Public License can be found in `/usr/share/common-licenses/GPL'.