This package was debianized by Freiric Barral <email@example.com> on
Wed, 1 Nov 2006 19:26:10 +0100.
It was downloaded from http://www.minlog-system.de/
Here is a list of files followed by their respective copyright holder
bit access and operations for integers for Scheme
Copyright (C) 1991, 1993, 2001, 2003, 2005 Aubrey Jaffer
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
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
pp-sexp.scm (modification of genwrite.scm):
generic write used by pretty-print and truncated-print.
Copyright (c) 1991, Marc Feeley
Author: Marc Feeley (firstname.lastname@example.org)
Distribution restrictions: none
Modified for Minlog by Stefan Schimanski <email@example.com>
Taken from slib 2d6, genwrite.scm and pp.scm
Copyright (C) 1984, 1989, 1990 Free Software Foundation, Inc.
(for the Bison source code translated in Scheme)
Copyright (C) 1996 Dominique Boucher
(for the translation in Scheme)
lalr.scm and lr-dvr.scm are free software; you can redistribute them
and/or modify them under the terms of the GNU General Public License
as published by the Free Software Foundation; either version 2, or (at
your option) any later version. lalr.scm and lr-dvr.scm are
distributed in the hope that they will be useful, but WITHOUT ANY
WARRANTY; without even the implied warranty of MERCHANTABILITY or
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
for more details. You should have received a copy of the GNU General
Public License along with lalr.scm; see the file COPYING. If not,
write to the Free Software Foundation, 675 Mass Ave, Cambridge, MA
02139, USA. Dominique Boucher -- Universite de Montreal Send
questions, comments or suggestions to firstname.lastname@example.org
bussproofs.sty. Version 0.6c:
(c) 1994,1995,1996. Copyright retained by Samuel R. Buss.
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 email@example.com.
All other files have the following copyright holder and license:
Copyright Holder: Helmut Schwichtenberg (firstname.lastname@example.org) and
members of the logic group (email@example.com)
minlog mail is firstname.lastname@example.org
You are free to distribute this software under the terms of the GNU
General Public License.
On Debian systems, the complete text of the GNU General Public License
can be found in the file `/usr/share/common-licenses/GPL'.