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 2015 KC Sivaramakrishnan 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 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.