Package: asis / 2007-4

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
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    AdaCore
(http://www.adacore.com).

ASIS-for-GNAT is free software; you can redistribute it and/or modify it
under terms of  the GNU General Public License as  published by the Free
Software Foundation;  either version  2, or (at  your option)  any later
version.  ASIS-for-GNAT is  distributed  in  the hope  that  it will  be
useful, but WITHOUT  ANY WARRANTY; without even the  implied warranty of
MERCHANTABILITY  or  FITNESS FOR  A  PARTICULAR  PURPOSE.   See the  GNU
General Public License for more details. You should have received a copy
of the  GNU General Public  License distributed with  ASIS-for-GNAT; see
file COPYING. If not, write to the Free Software Foundation, 51 Franklin
St, Fifth Floor, Boston, MA 02110-1301 USA

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

On Debian GNU/Linux systems, the  full terms of the GNU General Public
License are in /usr/share/common-licenses/GPL.

Maintainer's note:

In contrast to previous versions of ASIS, this version is licensed under
the pure GPL.  This means  that if you produce binary executables linked
with ASIS,  and if  you distribute these  binary executables  to anyone,
then you *must* do  so under the terms of the GPL.   This means that you
must give  them (your customers) the  sources of your  program, and that
they  (your customers)  have a  right  to modify  and redistribute  your
program under the terms of the GPL.

If you do not wish to license  your software under the terms of the GPL,
then you have three choices:

- do not distribute your software at all (i.e. only  use  it  internally
  for your own purposes)

- distribute your software in source form only, under licensing terms of
  your choosing

- contact AdaCore (sales@adacore.com) and acquire a  GNAT  Pro  license,
  which will allow you to distribute binaries  linked  with  ASIS  under
  licensing terms of your choosing.