From 19ca1a8da7edc7c769f3ff421895867c147aed6c Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 3 Jul 2024 11:46:13 +0000
Subject: [PATCH] flake.{nix,lock}: update Nix derivations

---
 flake.lock | 14 +++++++-------
 flake.nix  |  2 +-
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/flake.lock b/flake.lock
index ef8d20d7..3cece2d9 100644
--- a/flake.lock
+++ b/flake.lock
@@ -838,16 +838,16 @@
         "wasm-semantics": "wasm-semantics"
       },
       "locked": {
-        "lastModified": 1719822464,
-        "narHash": "sha256-6zZm9E8Nx3pV/9oVv9ihHPq6X0nsvtmpl7wLAZt0h98=",
+        "lastModified": 1720006929,
+        "narHash": "sha256-ZP7opf2SMmEVAiHpu2VZqf5qmx5A2R/DY+pxJNLOY44=",
         "owner": "runtimeverification",
         "repo": "mx-semantics",
-        "rev": "626a9177f5d613f15cd14ec81e5b5f7b35ca798f",
+        "rev": "352ce4d81102a5ad33f44cdabe5c7b80c60d6302",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.89",
+        "ref": "v0.1.90",
         "repo": "mx-semantics",
         "type": "github"
       }
@@ -1551,11 +1551,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1719800573,
-        "narHash": "sha256-9DLgG4T6l7cc4pJNOCcXGUwHsFfUp8KLsiwed65MdHk=",
+        "lastModified": 1719973106,
+        "narHash": "sha256-IGCdN/m7DfwUfxZjFnlTiTtpwSHCb01P/LWavAKD2jw=",
         "owner": "oxalica",
         "repo": "rust-overlay",
-        "rev": "648b25dd9c3acd255dc50c1eb3ca8b987856f675",
+        "rev": "fb733500aead50880b9b301f34a0061bf997d6f2",
         "type": "github"
       },
       "original": {
diff --git a/flake.nix b/flake.nix
index 71e56533..e68e333c 100644
--- a/flake.nix
+++ b/flake.nix
@@ -6,7 +6,7 @@
     pyk.url = "github:runtimeverification/k/v7.1.30?dir=pyk";
     nixpkgs-pyk.follows = "pyk/nixpkgs";
     poetry2nix.follows = "pyk/poetry2nix";
-    mx-semantics.url = "github:runtimeverification/mx-semantics/v0.1.89";
+    mx-semantics.url = "github:runtimeverification/mx-semantics/v0.1.90";
     nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
     rv-utils.url = "github:runtimeverification/rv-nix-tools";