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.
