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
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
|
Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Files-Excluded:
# ocamlgraph is vendored
ocamlgraph-1.7.tar.gz ocamlgraph-safe-string.patch
# if it's built, we don't need it
built_doc/*
Files: *
Copyright: Peter Sewell
Francesco Zappa Nardelli
Scott Owens
Joey Eremondi
Hannes Mehnert
Karl Palmskog
Matthew Parkinson
Thibaud Pérami
Gilles Peskine
Alastair Reid
Tom Ridge
Susmit Sarkar
Rok Strniša
Viktor Vafeiadis
License: BSD-3-clause
Files: aux/y2l/*
Copyright: 1994-2000 Kris Van Hees
License: Artistic
Files: examples/ocaml_light/hol/ocamlpp/*
Copyright: 1996 Xavier Leroy
1996 INRIA
License: QPL-1
Files: menhir/menhir_library_extra.mly
Copyright: 2005-2015 François Pottier
2005-2015 Yann Régis-Gianas
2005-2015 INRIA
License: LGPL-2+exception
Files: debian/*
Copyright: 2022 Julien Puydt
License: BSD-3-clause
License: Artistic
On Debian systems, the complete text of the Artistic License
can be found in "/usr/share/common-licenses/Artistic".
License: BSD-3-clause
Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions
are met:
1. Redistributions of source code must retain the above copyright
notice, this list of conditions and the following disclaimer.
2. Redistributions in binary form must reproduce the above copyright
notice, this list of conditions and the following disclaimer in the
documentation and/or other materials provided with the distribution.
3. 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 BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE HOLDERS OR
CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
License: QPL-1
THE Q PUBLIC LICENSE version 1.0
.
Copyright (C) 1999-2000 Trolltech AS, Norway.
Everyone is permitted to copy and distribute this license document.
The intent of this license is to establish freedom to share and change
the software regulated by this license under the open source model.
.
This license applies to any software containing a notice placed by the
copyright holder saying that it may be distributed under the terms of the
Q Public License version 1.0. Such software is herein referred to as the
Software. This license covers modification and distribution of the
Software, use of third-party application programs based on the Software,
and development of free software which uses the Software.
.
Granted Rights
.
1. You are granted the non-exclusive rights set forth in this license
provided you agree to and comply with any and all conditions in this
license. Whole or partial distribution of the Software, or software items
that link with the Software, in any form signifies acceptance of this
license.
.
2. You may copy and distribute the Software in unmodified form provided
that the entire package, including - but not restricted to - copyright,
trademark notices and disclaimers, as released by the initial developer
of the Software, is distributed.
.
3. You may make modifications to the Software and distribute your
modifications, in a form that is separate from the Software, such as
patches. The following restrictions apply to modifications:
.
a. Modifications must not alter or remove any copyright notices in the
Software.
.
b. When modifications to the Software are released under this license,
a non-exclusive royalty-free right is granted to the initial developer
of the Software to distribute your modification in future versions of
the Software provided such versions remain available under these terms
in addition to any other license(s) of the initial developer.
.
4. You may distribute machine-executable forms of the Software or
machine-executable forms of modified versions of the Software, provided
that you meet these restrictions:
.
a. You must include this license document in the distribution.
.
b. You must ensure that all recipients of the machine-executable forms
are also able to receive the complete machine-readable source code to
the distributed Software, including all modifications, without any
charge beyond the costs of data transfer, and place prominent notices
in the distribution explaining this.
.
c. You must ensure that all modifications included in the
machine-executable forms are available under the terms of this license.
.
5. You may use the original or modified versions of the Software to
compile, link and run application programs legally developed by you or
by others.
.
6. You may develop application programs, reusable components and other
software items that link with the original or modified versions of the
Software. These items, when distributed, are subject to the following
requirements:
.
a. You must ensure that all recipients of machine-executable forms of
these items are also able to receive and use the complete
machine-readable source code to the items without any charge beyond the
costs of data transfer.
.
b. You must explicitly license all recipients of your items to use and
re-distribute original and modified versions of the items in both
machine-executable and source code forms. The recipients must be able
to do so without any charges whatsoever, and they must be able to
re-distribute to anyone they choose.
.
c. If the items are not available to the general public, and the
initial developer of the Software requests a copy of the items, then
you must supply one.
.
Limitations of Liability
.
In no event shall the initial developers or copyright holders be liable
for any damages whatsoever, including - but not restricted to - lost
revenue or profits or other direct, indirect, special, incidental or
consequential damages, even if they have been advised of the possibility
of such damages, except to the extent invariable law, if any, provides
otherwise.
.
No Warranty
.
The Software and this license document are provided AS IS with NO
WARRANTY OF ANY KIND, INCLUDING THE WARRANTY OF DESIGN, MERCHANTABILITY
AND FITNESS FOR A PARTICULAR PURPOSE.
.
Choice of Law
.
This license is governed by the Laws of Norway. Disputes shall be settled
by Oslo City Court.
License: LGPL-2+exception
On Debian systems, the complete text of the Library General
Public License version 2 can be found in "/usr/share/common-licenses/LGPL-2".
.
As a special exception to the GNU Library General Public License, you
may link, statically or dynamically, a "work that uses the Library"
with a publicly distributed version of the Library to produce an
executable file containing portions of the Library, and distribute
that executable file under terms of your choice, without any of the
additional requirements listed in clause 6 of the GNU Library General
Public License. By "a publicly distributed version of the Library",
we mean either the unmodified Library as distributed by INRIA, or a
modified version of the Library that is distributed under the
conditions defined in clause 3 of the GNU Library General Public
License. This exception does not however invalidate any other reasons
why the executable file might be covered by the GNU Library General
Public License.
|
