ASIS User's Guide ASIS Reference Manual Copyright (c) (C) 2000-2004 Ada Core Technologies, Inc. Permission is granted to make and distribute verbatim copies of these manuals provided the copyright notice and this permission notice are preserved on all copies. The Debian package was done by Ludovic Brenta . The packaging scripts are licensed under the terms of the GNU General Public License, which is, on Debian systems, in the file /usr/share/common-licenses/GPL.