diff --git a/LICENSE.md b/LICENSE.md index e927e82f9c7..9e0326fe937 100644 --- a/LICENSE.md +++ b/LICENSE.md @@ -1,78 +1,29 @@ - -============================================================================== -The K Release License -============================================================================== -University of Illinois/NCSA -Open Source License +BSD 3-Clause License -Copyright (c) 2009-2015 University of Illinois at Urbana-Champaign. +Copyright (c) 2010-2021, K Team All rights reserved. -Developed by: - - K Team - - University of Illinois at Urbana-Champaign - University Alexandru-Ioan Cuza, Romania - Runtime Verification, Inc. - - http://kframework.org - -Permission is hereby granted, free of charge, to any person obtaining a copy of -this software and associated documentation files (the "Software"), to deal with -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: - -* Redistributions of source code must retain the above copyright notice, - this list of conditions and the following disclaimers. - -* Redistributions in binary form must reproduce the above copyright notice, - this list of conditions and the following disclaimers in the - documentation and/or other materials provided with the distribution. - -* Neither the names of the K Team, the University of Illinois at - Urbana-Champaign, the University Alexandru-Ioan Cuza, nor the names of - its contributors may be used to endorse or promote products derived from - this Software without specific prior written permission. - -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 -CONTRIBUTORS 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 WITH THE -SOFTWARE. - -============================================================================== -Copyrights and Licenses for Third Party Software Distributed with K: -============================================================================== -The K software contains code written by third parties. Such software will have -its own individual LICENSE file in the directory in which it appears. This -file will describe the copyrights, license, and restrictions which apply to -that code. - -The disclaimer of warranty in the University of Illinois Open Source License -applies to all code in the K Distribution, and nothing in any of the other -licenses gives permission to use the names of the K Team, the -University of Illinois, or the University Alexandru-Ioan Cuza to endorse or -promote products derived from this Software. - -The following pieces of software have additional or alternate copyrights, -licenses, and/or restrictions: - ---------------------------------------- -Stratego (http://strategoxt.org) is licensed under the LGPL license. - -Xstream (http://xstream.codehaus.org/) is licensed under the BSD license. - -XML Pull (http://www.xmlpull.org) API is free. - -Xpp3 (http://www.extreme.indiana.edu/xgws/xsoap/xpp) is licensed under Indiana -University Extreme! Lab Software License. - -KXML2 (http://kxml.sourceforge.net/kxml2/) is licensed under the BSD license. - -SSCTarjan (https://github.com/indy256/codelibrary) is licensed under the Unlicense. -Alphanum (http://www.davekoelle.com/alphanum.html) is licensed under the LGPL license. +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 copyright holder 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 COPYRIGHT HOLDERS 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 COPYRIGHT HOLDER 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. diff --git a/package/debian/copyright b/package/debian/copyright index 0d0d075d20b..613136d127a 100644 --- a/package/debian/copyright +++ b/package/debian/copyright @@ -1,78 +1,33 @@ - -============================================================================== -The K Release License -============================================================================== -University of Illinois/NCSA -Open Source License - -Copyright (c) 2009-2015 University of Illinois at Urbana-Champaign. -All rights reserved. - -Developed by: - - K Team - - University of Illinois at Urbana-Champaign - University Alexandru-Ioan Cuza, Romania - Runtime Verification, Inc. - - http://kframework.org - -Permission is hereby granted, free of charge, to any person obtaining a copy of -this software and associated documentation files (the "Software"), to deal with -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: - -* Redistributions of source code must retain the above copyright notice, - this list of conditions and the following disclaimers. - -* Redistributions in binary form must reproduce the above copyright notice, - this list of conditions and the following disclaimers in the - documentation and/or other materials provided with the distribution. - -* Neither the names of the K Team, the University of Illinois at - Urbana-Champaign, the University Alexandru-Ioan Cuza, nor the names of - its contributors may be used to endorse or promote products derived from - this Software without specific prior written permission. - -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 -CONTRIBUTORS 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 WITH THE -SOFTWARE. - -============================================================================== -Copyrights and Licenses for Third Party Software Distributed with K: -============================================================================== -The K software contains code written by third parties. Such software will have -its own individual LICENSE file in the directory in which it appears. This -file will describe the copyrights, license, and restrictions which apply to -that code. - -The disclaimer of warranty in the University of Illinois Open Source License -applies to all code in the K Distribution, and nothing in any of the other -licenses gives permission to use the names of the K Team, the -University of Illinois, or the University Alexandru-Ioan Cuza to endorse or -promote products derived from this Software. - -The following pieces of software have additional or alternate copyrights, -licenses, and/or restrictions: - ---------------------------------------- -Stratego (http://strategoxt.org) is licensed under the LGPL license. - -Xstream (http://xstream.codehaus.org/) is licensed under the BSD license. - -XML Pull (http://www.xmlpull.org) API is free. - -Xpp3 (http://www.extreme.indiana.edu/xgws/xsoap/xpp) is licensed under Indiana -University Extreme! Lab Software License. - -KXML2 (http://kxml.sourceforge.net/kxml2/) is licensed under the BSD license. - -SSCTarjan (https://github.com/indy256/codelibrary) is licensed under the Unlicense. -Alphanum (http://www.davekoelle.com/alphanum.html) is licensed under the LGPL license. +Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ +Upstream-Name: kframework +Upstream-Contact: Dwight Guth +Source: https://github.com/kframework/k + +Files: * +Copyright: 2010-2021 K Team +License: BSD-3-Clause + +License: BSD-3-Clause + 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 COPYRIGHT HOLDERS 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 HOLDERS 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.