Package: mozart / 1.2.3.20011204-3woody1

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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
This package was debianized by Ralf Treinen <treinen@club-internet.fr> on
Thu, 29 Jun 2000 20:04:37 +0200

It was downloaded from www.mozart-oz.org

Upstream Authors: Mozart is developed jointly by
- Programming Systems Lab, Universitt des Saarlandes, Germany
- Intelligent Systems Laboratory, SICS, Sweden
- Dpartement d'Ingnierie Informatique, Universit catholique de Louvain,
	Belgium.

Developers are Per Brand, Denys Duchier, Seif Haridi, Martin Henz,
Erik Klintskog, Leif Kornstaedt, Michael Mehl, Martin Mller, Tobias
Mller, Konstantin Pokov, Peter Van Roy, Ralf Scheidhauer, Christian
Schulte, Gert Smolka, Jrg Wrtz. 

See www.mozart-oz.org/lists for contact information.


Mozart Licence (see below for exceptions)
=========================================


This software and its documentation are copyrighted by the German
Research Center for Artificial Intelligence (DFKI), the Swedish
Institute of Computer Science (SICS), and other parties.  The
following terms apply to all files associated with the software unless
explicitly disclaimed in individual files (see the file LICENSE-others
for a list of these exceptions).

The authors hereby grant permission to use, copy, modify, distribute,
and license this software and its documentation for any purpose,
provided that existing copyright notices are retained in all copies
and that this notice is included verbatim in any distributions. No
written agreement, license, or royalty fee is required for any of the
authorized uses. Modifications to this software may be copyrighted by
their authors and need not follow the licensing terms described here,
provided that the new terms are clearly indicated on the first page of
each file where they apply.

IN NO EVENT SHALL THE AUTHORS OR DISTRIBUTORS BE LIABLE TO ANY PARTY
FOR DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES
ARISING OUT OF THE USE OF THIS SOFTWARE, ITS DOCUMENTATION, OR ANY
DERIVATIVES THEREOF, EVEN IF THE AUTHORS HAVE BEEN ADVISED OF THE
POSSIBILITY OF SUCH DAMAGE.

THE AUTHORS AND DISTRIBUTORS SPECIFICALLY DISCLAIM ANY WARRANTIES,
INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, AND
NON-INFRINGEMENT.  THIS SOFTWARE AND ITS DOCUMENTATION ARE PROVIDED ON
AN "AS IS" BASIS, AND THE AUTHORS AND DISTRIBUTORS HAVE NO OBLIGATION
TO PROVIDE MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR
MODIFICATIONS.



Exceptions to the Mozart Licence
================================

This section contains a list of files that are not covered by the
Mozart LICENSE (see above). Note that the Mozart system itself is
independent of these packages which are provided as convenient tools:


Ozflex (mozart/platform/tools/gump/ozflex/*)
---------------------------------------------

Flex carries the copyright used for BSD software, slightly modified
because it originated at the Lawrence Berkeley (not Livermore!) Laboratory,
which operates under a contract with the Department of Energy:

	Copyright (c) 1990 The Regents of the University of California.
	All rights reserved.

	This code is derived from software contributed to Berkeley by
	Vern Paxson.

	The United States Government has rights in this work pursuant
	to contract no. DE-AC03-76SF00098 between the United States
	Department of Energy and the University of California.

	Redistribution and use in source and binary forms are permitted
	provided that: (1) source distributions retain this entire
	copyright notice and comment, and (2) distributions including
	binaries display the following acknowledgement:  ``This product
	includes software developed by the University of California,
	Berkeley and its contributors'' in the documentation or other
	materials provided with the distribution and in all advertising
	materials mentioning features or use of this software.  Neither the
	name of the University nor the names of its contributors may be
	used to endorse or promote products derived from this software
	without specific prior written permission.

	THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR
	IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED
	WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
	PURPOSE.

This basically says "do whatever you please with this software except
remove this notice or take advantage of the University's (or the flex
authors') name".

Note that the "flex.skl" scanner skeleton carries no copyright notice.
You are free to do whatever you please with scanners generated using flex;
for them, you are not even bound by the above copyright.


Ozbison (mozart/platform/tools/gump/ozbison/*)
----------------------------------------------

Bison is covered by the GNU General Public Licence Version 2. On a
Debian system this licence can be found in the file
/usr/share/common-licenses/GPL.


mozart/platform/wish/unixMain.cc
--------------------------------

Copyright (c) 1990-1993 The Regents of the University of California.
All rights reserved.
 
Permission is hereby granted, without written agreement and without
license or royalty fees, to use, copy, modify, and distribute this
software and its documentation for any purpose, provided that the
above copyright notice and the following two paragraphs appear in all
copies of this software.
  
IN NO EVENT SHALL THE UNIVERSITY OF CALIFORNIA BE LIABLE TO ANY PARTY
FOR DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES
ARISING OUT OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF
THE UNIVERSITY OF CALIFORNIA HAS BEEN ADVISED OF THE POSSIBILITY OF
SUCH DAMAGE.
 
THE UNIVERSITY OF CALIFORNIA SPECIFICALLY DISCLAIMS ANY WARRANTIES,
INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.  THE SOFTWARE
PROVIDED HEREUNDER IS ON AN "AS IS" BASIS, AND THE UNIVERSITY OF
CALIFORNIA HAS NO OBLIGATION TO PROVIDE MAINTENANCE, SUPPORT, UPDATES,
ENHANCEMENTS, OR MODIFICATIONS.