Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: minlog
Source: https://www.mathematik.uni-muenchen.de/~logik/minlog/

Files: *
Copyright: 2006-11 Helmut Schwichtenberg <schwicht@math.lmu.de> and
                   members of the logic group (logik@math.lmu.de)
                   minlog mail is minlog@mathematik.uni-muenchen.de
License: GPL-2+

Files: minlog-mode.el
Copyright: 2006 Stefan Schimanski <sts@1stein.org>
License: GPL-2+

Files: src/pp-sexp.scm
Copyright: 1991 Marc Feeley <feeley@iro.umontreal.ca>
License: GPL-2+

Files: src/logical.scm
Copyright: 1991-2005 Aubrey Jaffer
License: free
 Permission to copy this software, to modify it, to redistribute it,
 to distribute modified versions, and to use it for any purpose is
 granted, subject to the following restrictions and understandings.
  1. Any copy made of this software must include this copyright notice
     in full.
  2. I have made no warranty or representation that the operation of
     this software will be error-free, and I am under no obligation to
     rovide any services, by way of maintenance, update, or otherwise.
  3. In conjunction with products arising from the use of this
     material, there shall be no use of my name in any advertising,
     promotional, or sales literature without prior written consent in
     each case.

Files: src/lr-dvr.scm
       src/lalr.scm
Copyright: 1984-1990 Free Software Foundation, Inc. (for the Bison source code translated in Scheme)
           1996 Dominique Boucher (for the translation in Scheme)
License: GPL-2+

Files: doc/bussproofs.sty
Copyright: 1994-1996 Samuel R. Buss.
License: free_but_change_filename
 This software may be used and distributed freely, except that
 if you make changes, you must change the file name to be different
 than bussproofs.sty to avoid compatibility problems.
 This is a *prerelease* version and is subject to change.
 Please report comments and bugs to sbuss@ucsd.edu.

Files: debian/*
Copyright: 2006 Freiric Barral <barral@math.lmu.de>
License: GPL-2+

License: GPL-2+
 On Debian systems you can find the full text of the GNU General Public
 License version 2 at /usr/share/common-licenses/GPL-2
