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
|
Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Source: https://github.com/ocaml-multicore/dscheck
Upstream-Name: dscheck
Upstream-Contact: Sadiq Jaffer
Files: *
Copyright: 2022
License: ISC
Files: tests/michael_scott_queue.ml
Copyright:
2015 Théo Laurent <theo.laurent@ens.fr>
2015 KC Sivaramakrishnan <sk826@cl.cam.ac.uk>
License: ISC
Files: src/tracedAtomic.mli
Copyright: 2020 Institut National de Recherche en Informatique et en Automatique
License: LGPL-2.1
This software is free software; you can redistribute it and/or
modify it under the terms of the GNU Library General Public
License version 2.1 described in file
/usr/share/common-licenses/LGPL-2.1. with the special exception
on linking described below.
.
This software 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.
.
Linking this library statically or dynamically with other
modules is making a combined work based on this library. Thus,
the terms and conditions of the GNU Library General Public
License cover the whole combination.
.
As a special exception, the copyright holders of this library
give you permission to link this library with independent modules
to produce an executable, regardless of the license terms of
these independent modules, and to copy and distribute the
resulting executable under terms of your choice, provided that
you also meet, for each linked independent module, the terms and
conditions of the license of that module. An independent module
is a module which is not derived from or based on this library.
If you modify this library, you may extend this exception to your
version of the library, but you are not obliged to do so. If you
do not wish to do so, delete this exception statement from your
version.
Files: debian/*
Copyright: 2024 Kyle Robbertze <paddatrapper@debian.org>
License: ISC
License: ISC
Permission to use, copy, modify, and/or distribute this software for
any purpose with or without fee is hereby granted, provided that the
above copyright notice and this permission notice appear in all copies.
.
THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
|
