Package: maude / 3.1-2
Header
Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: maude
Upstream-Contact: Steven Eker <eker@csl.sri.com>
Source: http://maude.uc.uiuc.edu/
Files
Files | Copyright | License | Comment |
---|---|---|---|
* |
1997-2011 SRI International, Menlo Park, CA 94025, USA. |
GPL-2+ | ---- | src/3rdParty/MersenneTwister.h |
2000 - 2003, Richard J. Wagner |
BSD-like | For citation information see file debian/upstream-metadata.yaml | debian/* |
2011 Scott Christley <schristley@mac.com>, Andreas Tille <tille@debian.org> |
GPL-2+ | ---- |
Licenses
License: GPL-2+
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 program is distributed in the hope that it 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 this program; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. On Debian systems, the full text of the GNU General Public License version 2 can be found in the file `/usr/share/common-licenses/GPL-2'.