This package was debianized by Paul van Tilburg <paulvt@debian.org> on
Wed, 16 Jan 2008 15:48:45 +0100.

It was downloaded from http://www.mcrl2.org/.

Upstream Authors: 

    * Jan Friso Groote <j.f.groote@tue.nl>,
    * Jeroen Keiren <j.j.a.keiren@student.tue.nl>,
    * Aad Mathijssen <a.h.j.mathijssen@tue.nl>,
    * Simona Orzan <s.m.orzan@tue.nl>,
    * Bas Ploeger <s.c.w.ploeger@tue.nl>,
    * Frank Stappers <f.p.m.stappers@tue.nl>,
    * Carst Tankink <c.tankink@student.tue.nl>,
    * Yaroslav Usenko <y.s.usenko@tue.nl>,
    * Muck van Weerdenburg <m.j.van.weerdenburg@tue.nl>,
    * Wieger Wesselink <j.w.wesselink@tue.nl>,
    * Jeroen van der Wulp <j.v.d.wulp@tue.nl>.

The following copyright holds for all files except the files found in the
3rd-party subdirectory (for which the copyright and license is given
below):

Copyright (C) 2005-2012 Eindhoven University of Technology

    Boost Software License - Version 1.0 - August 17th, 2003

    Permission is hereby granted, free of charge, to any person or
    organization obtaining a copy of the software and accompanying
    documentation covered by this license (the "Software") to use,
    reproduce, display, distribute, execute, and transmit the Software, and
    to prepare derivative works of the Software, and to permit
    third-parties to whom the Software is furnished to do so, all subject
    to the following:

    The copyright notices in the Software and this entire statement,
    including the above license grant, this restriction and the following
    disclaimer, must be included in all copies of the Software, in whole or
    in part, and all derivative works of the Software, unless such copies
    or derivative works are solely in the form of machine-executable object
    code generated by a source language processor.

    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, TITLE AND
    NON-INFRINGEMENT.  IN NO EVENT SHALL THE COPYRIGHT HOLDERS OR ANYONE
    DISTRIBUTING THE SOFTWARE BE LIABLE FOR ANY DAMAGES OR OTHER LIABILITY,
    WHETHER IN CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
    CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
    SOFTWARE.

---
The files in 3rd-party/aterm are Copyright (C) 2002-2007 CWI, except for
3rd-party/aterm/source/md5.* and 3rd-party/aterm/include/aterm/md5.h
which are Copyright (C) 1991-2, RSA Data Security, Inc.
The files are licensed and redistributed under the BSD license:

    Copyright (c) The Regents of the University of California.
    All rights reserved.

    Redistribution and use in source and binary forms, with or without
    modification, are permitted provided that the following conditions
    are met:
    1. Redistributions of source code must retain the above copyright
       notice, this list of conditions and the following disclaimer.
    2. 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.
    3. Neither the name of the University nor the names of its contributors
       may be used to endorse or promote products derived from this software
       without specific prior written permission.

    THIS SOFTWARE IS PROVIDED BY THE REGENTS 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 REGENTS 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.

---
The files in 3rd-party/gl2ps are Copyright (C) 1999-2006 Christophe Geuzaine
and are licensed and redistributed under the GNU Library General Public
License, version 2 or any later version.  On Debian systems, the complete
text of this license can be found in /usr/share/common-licenses/LGPL-2.

---
The files in 3rd-party/svc are Copyright (C) 2000 Stichting Mathematisch Centrum
and are licensed and redistributed under the GNU Lesser General Public
License, version 2.1 or any later version.  On Debian systems, the complete
text of this license can be found in /usr/share/common-licenses/GPL-2.

---
The files 3rd-party/ticpp/*/ticpp* are (C) 2006 Ryan Pusztai, Ryan Mulder
and are licensed under the following license:

    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.

The files 3rd-party/ticpp/*/tinyxml* are (C) 2000-2006 Lee Thomason
and are licensed under the following license:

    This software is provided 'as-is', without any express or implied
    warranty. In no event will the authors be held liable for any
    damages arising from the use of this software.

    Permission is granted to anyone to use this software for any
    purpose, including commercial applications, and to alter it and
    redistribute it freely, subject to the following restrictions:

    1. The origin of this software must not be misrepresented; you must
    not claim that you wrote the original software. If you use this
    software in a product, an acknowledgment in the product documentation
    would be appreciated but is not required.

    2. Altered source versions must be plainly marked as such, and
    must not be misrepresented as being the original software.

    3. This notice may not be removed or altered from any source
    distribution.

---
The files in 3rd-party/tr are Copyright (C) 1997 Brian Paul
and are licensed and redistributed under the GNU Library Public License,
version 2.  On Debian systems, the complete text of this license can be
found in /usr/share/common-licenses/LGPL-2.
 
---
The Debian packaging is Copyright (C) 2008, Paul van Tilburg 
and is licensed under the GPL.  On Debian systems, the complete text of
this license can be found in /usr/share/common-licenses/GPL'.
