relicense as BSD 3 clause

LICENSE.md

@@ -1,78 +1,29 @@
-<!-- Copyright (c) 2010-2019 K Team. All Rights Reserved. -->
-==============================================================================
-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.

package/debian/copyright

@@ -1,78 +1,33 @@
-<!-- Copyright (c) 2010-2018 K Team. All Rights Reserved. -->
-==============================================================================
-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 <dwight.guth@runtimeverification.com>
+Source: https://github.com/kframework/k
+
+Files: *
+Copyright: 2010-2021 K Team <contact@runtimeverification.com>
+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.