This is the Debian packe for tla-tools, and it is built from sources
obtained from:

miles@gnu.org--gnu-2005/tla-tools--devo--0 
  http://sourcecontrol.net/~miles/miles@gnu.org--gnu-2005

Upstream Author: Miles Bader <miles@gnu.org>

Copyright:

 Copyright (C) 2003, 2004  Miles Bader <miles@gnu.org>

This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.

This package is maintained by Manoj Srivastava <srivasta@debian.org>.

 The debian specific changes are Copyright (c) 1995 Manoj Srivastava, and 
 distributed under the terms of the GNU General Public License.

On Debian GNU/Linux systems, the complete text of the GNU General
Public License can be found in `/usr/share/common-licenses/GPL'. 

    A copy of the GNU General Public License is also available at
    <URL:http://www.gnu.org/copyleft/gpl.html>.  You may also obtain
    it by writing to the Free Software Foundation, Inc., 51 Franklin
    St, Fifth Floor, Boston, MA 02110-1301 USA.

Manoj Srivastava <srivasta@debian.org>

arch-tag: d4250e44-a0e0-4ee0-adb9-2bd74f6eeb27