Update to latest k, bringing in recent nix architecture changes (#324)

* update to latest k, bringing in recent nix arhitecture changes

* Set Version: 0.1.113

* cleanup

* Set Version: 0.1.114

---------

Co-authored-by: devops <[email protected]>

Author: goodlyrottenapple

.github/workflows/update-version.yml

@@ -53,11 +53,8 @@ jobs:
           git add deps/blockchain-k-plugin_release && git commit -m "deps/blockchain-k-plugin_release: sync release file version ${BKP_VERSION}" || true
       - name: 'Update Nix flake inputs'
         run: |
-          K_VERSION="$(cat deps/k_release)"
           PYKWASM_VERSION="$(cat deps/kwasm_release)"
           BKP_VERSION="$(cat deps/blockchain-k-plugin_release)"
-          sed -i 's!    k-framework.url = "github:runtimeverification/k/v[[:digit:]]\+\.[[:digit:]]\+\.[[:digit:]]\+"!    k-framework.url = "github:runtimeverification/k/'"v${K_VERSION}"'"!' flake.nix
-          sed -i 's!    pyk.url = "github:runtimeverification/k/v[[:digit:]]\+\.[[:digit:]]\+\.[[:digit:]]\+?dir=pyk"!    pyk.url = "github:runtimeverification/k/'"v${K_VERSION}"'?dir=pyk"!' flake.nix
           sed -i 's!    wasm-semantics.url = "github:runtimeverification/wasm-semantics/v[[:digit:]]\+\.[[:digit:]]\+\.[[:digit:]]\+"!    wasm-semantics.url = "github:runtimeverification/wasm-semantics/'"v${PYKWASM_VERSION}"'"!' flake.nix
           sed -i 's!        "github:runtimeverification/blockchain-k-plugin/.*";!        "github:runtimeverification/blockchain-k-plugin/'"${BKP_VERSION}"'";!' flake.nix
           nix flake update

deps/k_release

@@ -1 +1 @@
-7.1.85
+7.1.129

deps/kwasm_release

@@ -1 +1 @@
-0.1.95
+0.1.103