hot fix

install-k

@@ -1,6 +1,6 @@
 #!/bin/sh -e
 
-K_VERSION=6.1.0
+K_VERSION=6.1.47
 
 if [ `id -u` -ne 0 ]; then
   echo "$0: error: This script must be run as root."

package/debian/changelog

@@ -1,4 +1,4 @@
-kframework (6.1.0) unstable; urgency=medium
+kframework (6.1.47) unstable; urgency=medium
 
   * Initial Release.
 

package/version

@@ -1 +1 @@
-6.1.0
+6.1.47

web/pages/index.md

@@ -40,7 +40,7 @@ call/cc.
 
 ## Resources
 
-- K Approach and Vision: [slide presentation](https://drive.google.com/file/d/1iXda2NyGzKVWxkd02IlXj5Tq5cOM_gNd/view)
+- K Approach and Vision (2020): [slide presentation](https://drive.google.com/file/d/1iXda2NyGzKVWxkd02IlXj5Tq5cOM_gNd/view)
 - A set of <a href="/k-distribution/pl-tutorial/README.md">reference implementations and tutorials</a> for common programming language features and paradigms is available, although parts of these implementations may not be fully up to date with modern K features.
 - Read some papers about K on the [Formal Systems Laboratory (FSL)](https://fsl.cs.illinois.edu/publications/).
 - [Matching logic](http://matching-logic.org/) webpage at UIUC (USA).