This package was debianized by Paul van Tilburg on Wed, 16 Jan 2008 15:48:45 +0100. It was downloaded from http://www.mcrl2.org/. Upstream Authors: * Jan Friso Groote , * Jeroen Keiren , * Aad Mathijssen , * Simona Orzan , * Bas Ploeger , * Frank Stappers , * Carst Tankink , * Yaroslav Usenko , * Muck van Weerdenburg , * Wieger Wesselink , * Jeroen van der Wulp . 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'.