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

Files: *
Copyright: (c) 2021 The SML# Development Team
License: Expat

Files: ./benchmark/benchmarks/barnes_hut/data-io.sml
 ./benchmark/benchmarks/barnes_hut/dump.sml
 ./benchmark/benchmarks/barnes_hut/getparam.sml
 ./benchmark/benchmarks/barnes_hut/grav.sml
 ./benchmark/benchmarks/barnes_hut/load.sig
 ./benchmark/benchmarks/barnes_hut/load.sml
 ./benchmark/benchmarks/barnes_hut/main.sml
 ./benchmark/benchmarks/barnes_hut/space.sig
 ./benchmark/benchmarks/barnes_hut/space.sml
 ./benchmark/benchmarks/barnes_hut/vector-sig.sml
 ./benchmark/benchmarks/barnes_hut/vector2.sml
 ./benchmark/benchmarks/barnes_hut/vector3.sml
 ./benchmark/benchmarks/barnes_hut2/data-io.sml
 ./benchmark/benchmarks/barnes_hut2/dump.sml
 ./benchmark/benchmarks/barnes_hut2/getparam.sml
 ./benchmark/benchmarks/barnes_hut2/grav.sml
 ./benchmark/benchmarks/barnes_hut2/load.sig
 ./benchmark/benchmarks/barnes_hut2/load.sml
 ./benchmark/benchmarks/barnes_hut2/main.sml
 ./benchmark/benchmarks/barnes_hut2/space.sig
 ./benchmark/benchmarks/barnes_hut2/space.sml
 ./benchmark/benchmarks/barnes_hut2/vector-sig.sml
 ./benchmark/benchmarks/barnes_hut2/vector2.sml
 ./benchmark/benchmarks/barnes_hut2/vector3.sml
 ./benchmark/benchmarks/tsp/build.sml
 ./benchmark/benchmarks/tsp/main.sml
 ./benchmark/benchmarks/tsp/tree.sml
 ./benchmark/benchmarks/tsp/tsp.sml
 ./src/smlnj-lib/Util/real-format.sml
 ./src/smlnj/Basis/IO/bin-io.sml
 ./src/smlnj/Basis/IO/prim-io-bin.sml
 ./src/smlnj/Basis/IO/prim-io-text.sml
 ./src/smlnj/Basis/IO/text-io.sml
 ./src/smlnj/Basis/Posix/posix-io.sml
 ./src/smlnj/Basis/Unix/posix-bin-prim-io.sml
 ./src/smlnj/Basis/Unix/posix-text-prim-io.sml
Copyright: 1992, AT&T Bell Laboratories.
  1993, AT&T Bell Laboratories.
  1994, AT&T Bell Laboratories.
  1995, AT&T Bell Laboratories.
License: Expat

Files: ./src/ml-lpt/lib/antlr-stream-pos.sml
 ./src/smlnj-lib/JSON/json-parser.sml
 ./src/smlnj-lib/JSON/json-printer.sml
 ./src/smlnj-lib/JSON/json-source.sml
 ./src/smlnj-lib/JSON/json-stream-parser.sml
 ./src/smlnj-lib/JSON/json-stream-printer.sml
 ./src/smlnj-lib/JSON/json-tokens.sml
 ./src/smlnj-lib/JSON/json-util.sml
 ./src/smlnj-lib/JSON/json.lex
 ./src/smlnj-lib/JSON/json.sml
 ./src/smlnj-lib/Util/array-sort-sig.sml
 ./src/smlnj-lib/Util/binary-map-fn.sml
 ./src/smlnj-lib/Util/binary-set-fn.sml
 ./src/smlnj-lib/Util/fmt-fields.sml
 ./src/smlnj-lib/Util/fnv-hash.sml
 ./src/smlnj-lib/Util/getopt-sig.sml
 ./src/smlnj-lib/Util/getopt.sml
 ./src/smlnj-lib/Util/hash-key-sig.sml
 ./src/smlnj-lib/Util/hash-table-fn.sml
 ./src/smlnj-lib/Util/hash-table-rep.sml
 ./src/smlnj-lib/Util/lib-base-sig.sml
 ./src/smlnj-lib/Util/lib-base.sml
 ./src/smlnj-lib/Util/list-mergesort.sml
 ./src/smlnj-lib/Util/list-xprod-sig.sml
 ./src/smlnj-lib/Util/list-xprod.sml
 ./src/smlnj-lib/Util/listsort-sig.sml
 ./src/smlnj-lib/Util/mono-hash-table-sig.sml
 ./src/smlnj-lib/Util/ord-key-sig.sml
 ./src/smlnj-lib/Util/parser-comb.sml
 ./src/smlnj-lib/Util/redblack-map-fn.sml
 ./src/smlnj-lib/Util/redblack-set-fn.sml
 ./src/smlnj/Basis/date.sml
Copyright: 2008, The Fellowship of SML/NJ (http://www.smlnj.org)
  2012, The Fellowship of SML/NJ (http://www.smlnj.org)
  2014, The Fellowship of SML/NJ (http://www.smlnj.org)
  2016, The Fellowship of SML/NJ (http://www.smlnj.org)
  2017, The Fellowship of SML/NJ (http://www.smlnj.org)
  2018, The Fellowship of SML/NJ (http://www.smlnj.org)
  2019, The Fellowship of SML/NJ (http://www.smlnj.org)
  2020, The Fellowship of SML/NJ (http://www.smlnj.org)
License: Expat

Files: ./benchmark/benchmarks/mlyacc/absyn.sig
 ./benchmark/benchmarks/mlyacc/absyn.sml
 ./benchmark/benchmarks/mlyacc/base.sig
 ./benchmark/benchmarks/mlyacc/core.sml
 ./benchmark/benchmarks/mlyacc/coreutils.sml
 ./benchmark/benchmarks/mlyacc/grammar.sml
 ./benchmark/benchmarks/mlyacc/graph.sml
 ./benchmark/benchmarks/mlyacc/hdr.sml
 ./benchmark/benchmarks/mlyacc/join.sml
 ./benchmark/benchmarks/mlyacc/lalr.sml
 ./benchmark/benchmarks/mlyacc/link.sml
 ./benchmark/benchmarks/mlyacc/look.sml
 ./benchmark/benchmarks/mlyacc/lrtable.sml
 ./benchmark/benchmarks/mlyacc/mklrtable.sml
 ./benchmark/benchmarks/mlyacc/mkprstruct.sml
 ./benchmark/benchmarks/mlyacc/parse.sml
 ./benchmark/benchmarks/mlyacc/parser1.sml
 ./benchmark/benchmarks/mlyacc/parser2.sml
 ./benchmark/benchmarks/mlyacc/shrink.sml
 ./benchmark/benchmarks/mlyacc/sigs.sml
 ./benchmark/benchmarks/mlyacc/stream.sml
 ./benchmark/benchmarks/mlyacc/utils.sig
 ./benchmark/benchmarks/mlyacc/utils.sml
 ./benchmark/benchmarks/mlyacc/verbose.sml
 ./benchmark/benchmarks/mlyacc/yacc.lex.sml
 ./benchmark/benchmarks/mlyacc/yacc.sml
 ./benchmark/benchmarks/mlyacc/yaccOLD.lex.sml
 ./src/ml-yacc/doc/mlyacc.tex
 ./src/ml-yacc/src/export-yacc.sml
 ./src/ml-yacc/src/yacc.lex
 ./src/ml-yacc/src/yacc.lex.sml
Copyright: 1989, 1991, Andrew W. Appel, David R. Tarditi
  1989, Andrew W. Appel, David R. Tarditi
  1989-1990, Andrew W. Appel, David R. Tarditi
  1989-1991, 1994, Andrew W. Appel, David R. Tarditi
  1991, Andrew W. Appel, David R. Tarditi
License: Expat

Files: ./benchmark/benchmarks/mlyacc/export.sml
 ./benchmark/benchmarks/mlyacc/yacc.grm.sml
 ./benchmark/benchmarks/mlyacc/yaccOLD.grm.sml
 ./src/ml-yacc/lib/base.sig
 ./src/ml-yacc/lib/lrtable.sml
 ./src/ml-yacc/lib/parser2.sml
 ./src/ml-yacc/lib/stream.sml
 ./src/ml-yacc/src/absyn.sig
 ./src/ml-yacc/src/absyn.sml
 ./src/ml-yacc/src/core.sml
 ./src/ml-yacc/src/coreutils.sml
 ./src/ml-yacc/src/grammar.sml
 ./src/ml-yacc/src/graph.sml
 ./src/ml-yacc/src/hdr.sml
 ./src/ml-yacc/src/lalr.sml
 ./src/ml-yacc/src/look.sml
 ./src/ml-yacc/src/mklrtable.sml
 ./src/ml-yacc/src/mkprstruct.sml
 ./src/ml-yacc/src/parse.sml
 ./src/ml-yacc/src/shrink.sml
 ./src/ml-yacc/src/sigs.sml
 ./src/ml-yacc/src/utils.sig
 ./src/ml-yacc/src/utils.sml
 ./src/ml-yacc/src/verbose.sml
 ./src/ml-yacc/src/yacc.grm
 ./src/ml-yacc/src/yacc.sml
Copyright: 1989, 1991, Andrew W. Appel, David R. Tarditi *)
  1989, Andrew W. Appel, David R. Tarditi *)
  1989-1990, Andrew W. Appel, David R. Tarditi *)
  1991, Andrew W. Appel, David R. Tarditi *)
License: Expat

Files: ./benchmark/benchmarks/ray/interface.sml
 ./benchmark/benchmarks/ray/interp.sml
 ./benchmark/benchmarks/ray/main.sml
 ./benchmark/benchmarks/ray/objects.sml
 ./benchmark/benchmarks/ray/ray.sml
 ./src/smlformat/example/FormatExpressionParser/Lexer.lex
 ./src/smlformat/generator/main/AST.sig
 ./src/smlformat/generator/main/Ast.sml
Copyright: 1989, AT&T Bell Laboratories
  1992, AT&T Bell Laboratories
License: Expat

Files: ./benchmark/benchmarks/barnes_hut/rand-sig.sml
 ./benchmark/benchmarks/barnes_hut2/rand-sig.sml
 ./benchmark/benchmarks/tsp/lib-base-sig.sml
 ./benchmark/benchmarks/tsp/lib-base.sml
 ./src/smlnj-lib/Util/array-qsort.sml
 ./src/smlnj-lib/Util/format-sig.sml
 ./src/smlnj-lib/Util/format.sml
 ./src/smlnj-lib/Util/ord-set-sig.sml
Copyright: 1992, AT&T Bell Laboratories
  1993, AT&T Bell Laboratories
License: Expat

Files: ./src/smlformat/example/FormatExpressionParser/Main.sml
 ./src/smlformat/example/MLParser/Absyn.ppg
 ./src/smlformat/example/MLParser/AbsynUseDefault.ppg
 ./src/smlformat/example/MLParser/Main.sml
 ./src/smlformat/example/MLParser/ml.lex
Copyright: 2001, Atsushi Ohori
License: Expat

Files: ./src/ml-lex/tool/mllex-tool.cm
 ./src/ml-lex/tool/tool.sml
 ./src/ml-yacc/tool/mlyacc-tool.cm
 ./src/ml-yacc/tool/tool.sml
Copyright: 1999, Lucent Technologies, Bell Laboratories
  2000, Lucent Technologies, Bell Laboratories
License: Expat

Files: ./src/thread/main/CML.sml
 ./src/thread/main/Concurrent.sml
 ./src/thread/main/Myth.sml
 ./src/thread/main/Pthread.sml
Copyright: 2021, SML# Development Team
License: Expat

Files: ./src/ml-lex/tool/ext.sml
 ./src/ml-lex/tool/lex-ext.cm
 ./src/ml-yacc/tool/ext.sml
 ./src/ml-yacc/tool/grm-ext.cm
Copyright: 2007, The Fellowship of SML/NJ
License: Expat

Files: ./benchmark/benchmarks/lexgen/DATA/ml.lex
 ./benchmark/benchmarks/mlyacc/DATA/ml.grm
 ./benchmark/benchmarks/smlyacc/DATA/ml.grm
Copyright: 1989, AT&T Bell Laboratories *)
License: Expat

Files: ./src/ml-lpt/lib/ulex-buffer.sml
 ./src/smlnj-lib/Util/utf8-sig.sml
 ./src/smlnj-lib/Util/utf8.sml
Copyright: 2006, John Reppy
  2020, John Reppy
License: Expat

Files: ./config.guess
 ./config.sub
Copyright: 1992-2021, Free Software Foundation, Inc.
License: GPL-3+ with Autoconf-data exception

Files: ./benchmark/benchmarks/barnes_hut/rand.sml
 ./benchmark/benchmarks/barnes_hut2/rand.sml
Copyright: 1991, AT&T Bell Laboratories
License: Expat

Files: ./benchmark/benchmarks/nucleic/main.sml
 ./src/smlnj-lib/Util/atom-table.sml
Copyright: 1996, AT&T Research.
License: Expat

Files: ./src/smlnj-lib/Util/int-list-map.sml
 ./src/smlnj-lib/Util/ord-map-sig.sml
Copyright: 1996, AT&T Research. See COPYRIGHT file for details.
  2012, The Fellowship of SML/NJ (http://www.smlnj.org)
  2020, The Fellowship of SML/NJ (http://www.smlnj.org)
License: Expat

Files: ./benchmark/benchmarks/lexgen/lexgen.sml
 ./src/ml-lex/lexgen.sml
Copyright: 1989-1992, Andrew W. Appel,
License: Expat

Files: ./src/smlnj-lib/Util/atom-redblack-set.sml
 ./src/smlnj-lib/Util/atom-set.sml
Copyright: 1999, Bell Labs, Lucent Technologies.
License: Expat

Files: ./src/ml-yacc/examples/pascal/test/c1.p
 ./src/ml-yacc/examples/pascal/test/t1.p
Copyright: K. Steiglitz
License: Expat

Files: ./src/smlnj/Basis/OS/os-path-fn.sml
 ./src/smlnj/Basis/Unix/os-path.sml
Copyright: 2007, The Fellowship of SML/NJ (http://smlnj.org)
License: Expat

Files: ./benchmark/benchmarks/aobench/aobench.sml
Copyright: 2009-2014, Syoyo Fujita
License: BSD-2-clause

Files: ./configure
Copyright: 1992-1996, 1998-2012, Free Software Foundation, Inc.
License: FSFUL
 FIXME

Files: ./src/ml-yacc/COPYRIGHT
Copyright: 1989-1990, David R. Tarditi Jr. and Andrew W. Appel
License: Expat

Files: ./src/ml-lex/README
Copyright: 1989, -92 by Andrew W. Appel, James S. Mattson, David R. Tarditi
License: Expat

Files: ./src/ml-lex/lexgen.tex
Copyright: 1989, -94 Andrew W. Appel, James S. Mattson, David R. Tarditi
License: Expat

Files: ./benchmark/benchmarks/tsp/rand.sml
Copyright: 1991, AT&T Bell Laboratories
  1998, AT&T Laboratories
License: Expat

Files: ./benchmark/benchmarks/tsp/rand-sig.sml
Copyright: 1993, AT&T Bell Laboratories
  1998, AT&T Laboratories.
License: Expat

Files: ./src/smlnj-lib/Util2/binary-map-fn2.sml
Copyright: 1992, Stephen Adams.
  1993, AT&T Bell Laboratories
License: Expat

Files: ./src/smlnj-lib/Util/atom.sml
Copyright: 1996, AT&T Research
License: Expat

Files: ./src/smlnj-lib/Util/atom-sig.sml
Copyright: 1996, AT&T Research
  2020, The Fellowship of SML/NJ (http://www.smlnj.org)
License: Expat

Files: ./src/smlnj-lib/Util/parser-comb-sig.sml
Copyright: 1996, AT&T Research.
  2020, The Fellowship of SML/NJ (http://www.smlnj.org)
License: Expat

Files: ./src/ml-lex/lexgen.doc
Copyright: 1989-1992, Andrew W. Appel, James S. Mattson, David R. Tarditi
License: Expat

Files: ./src/smlformat/example/MLParser/ml.grm
Copyright: 2001, Atsushi Ohori & Kiyoshi Yamatodani
License: Expat

Files: ./src/runtime/netlib/dtoa.c
Copyright: 1991, 2000-2001, Lucent Technologies.
License: Expat

Files: debian/*
Copyright: 2012 Nobuhiro Iwamatsu <iwamatsu@debian.org>
License: BSD-2-Clause

License: Expat
 MIT License
 .
 Copyright (c) 2021 The SML# Development Team
 .
 Permission is hereby granted, free of charge, to any person obtaining
 a copy of this software and associated documentation files (the
 "Software"), to deal in the Software without restriction, including
 without limitation the rights to use, copy, modify, merge, publish,
 distribute, sublicense, and/or sell copies of the Software, and to
 permit persons to whom the Software is furnished to do so, subject to
 the following conditions:
 .
 The above copyright notice and this permission notice shall be
 included in all copies or substantial portions of the Software.
 .
 THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
 EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
 MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
 NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
 LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
 OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
 WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 
License: BSD-2-Clause
 Redistribution and use in source and binary forms, with or without
 modification, are permitted provided that the following conditions are
 met:
 .
 * Redistributions of source code must retain the above copyright notice,
   this list of conditions and the following disclaimer.
 * 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.
 .
 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 COPYRIGHT HOLDER 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: FSFUL
 This configure script is free software;
 the Free Software Foundation gives unlimited permission
 to copy, distribute and modify it.

License: GPL-3+ with Autoconf-data exception
 As a special exception to the GNU General Public License,
 if you distribute this file as part of a program
 that contains a configuration script generated by Autoconf,
 you may include it under the same distribution terms
 that you use for the rest of that program.
 This Exception is an additional permission under section 7
 of the GNU General Public License, version 3 ("GPLv3") or later.
 .
 On Debian systems, the complete text of version 3 of the GNU General
 Public License can be found in '/usr/share/common-licenses/GPL-3'.