Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: odoc
Source: https://github.com/ocaml/odoc

Files: *
Copyright:
 Copyright (c) 2016, 2017 Thomas Refis <trefis@janestreet.com>
 Copyright (c) 2014, 2015 Leo White <leo@lpw25.net>
 Copyright (c) 2014, 2015 David Sheets <sheets@alum.mit.edu>
 Copyright (c) 2019 Jon Ludlam
License: ISC

Files: test/inactive/odoc/odoc_odoc.ml
Copyright: Copyright (c) 2016 Daniel C. Bünzli
License: ISC

Files: debian/*
Copyright: © 2020 Ralf Treinen <treinen@debian.org>
License: ISC

License: ISC
 Permission to use, copy, modify, and 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.