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 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 License: GPL-2+ Files: src/pp-sexp.scm Copyright: 1991 Marc Feeley 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 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