From 6907313843564acb2de782fde9b1a2860f08009b Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 May 2024 19:23:21 +0000 Subject: [PATCH] flake.{nix,lock}: update Nix derivations --- flake.lock | 60 +++++++++++++++++++++++++++--------------------------- flake.nix | 4 ++-- 2 files changed, 32 insertions(+), 32 deletions(-) diff --git a/flake.lock b/flake.lock index 7045087c65..62673cc7b7 100644 --- a/flake.lock +++ b/flake.lock @@ -198,17 +198,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1716384169, - "narHash": "sha256-38gjUPxqG3unkeReIP3zQZ8OTVbjNtzLqagaV2ShjKo=", + "lastModified": 1716472952, + "narHash": "sha256-po4boMu90ofZW7sEpjltscPAIqMKok8teKjic/nd7Wk=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "e62fba2f0f774cd1ee68a41df3d648d7fe2e72e6", + "rev": "6e195d1cdd2e3f56389521a23d28125edc607c6e", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "e62fba2f0f774cd1ee68a41df3d648d7fe2e72e6", + "rev": "6e195d1cdd2e3f56389521a23d28125edc607c6e", "type": "github" } }, @@ -242,16 +242,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1716471750, - "narHash": "sha256-hICyh0/tYJf5mdd6macXJ4uriRakCogdIMNNqUgyu3A=", + "lastModified": 1716488862, + "narHash": "sha256-kmMAEAibU21Q1k4ZEd3Bl9+LTiNIgnMRVGxSOtpTPdw=", "owner": "runtimeverification", "repo": "k", - "rev": "f96245d1fe97055ce76ce55bac50a8841e2655e6", + "rev": "c9868b85db7f0514c952d7c5f3889e7d1d8a54b5", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.0.88", + "ref": "v7.0.89", "repo": "k", "type": "github" } @@ -293,16 +293,16 @@ ] }, "locked": { - "lastModified": 1716400974, - "narHash": "sha256-BwZAoBwz8v/43gHT1ILHVJVX88yGLZREt8VRhs0BRtg=", + "lastModified": 1716485030, + "narHash": "sha256-JL7OT8Sq1OCQpxHvV9jbE+UzdOBbyDIjKJ24zNAGCbo=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "0f10a29b03061cff9389051da487d485afc67679", + "rev": "765f930b36275c577931aae3cb5a05d362d210f9", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.26", + "ref": "v0.1.28", "repo": "llvm-backend", "type": "github" } @@ -331,33 +331,33 @@ }, "nixpkgs": { "locked": { - "lastModified": 1707163378, - "narHash": "sha256-oz+BzUDwtyircjjxv9aPYOS5gobxLCjD2il+gb/bCRo=", + "lastModified": 1716457947, + "narHash": "sha256-Y+exebcqeprnhEpoPJrEUZmNeO60qeOxkVHhqG/OEwQ=", "owner": "nixos", "repo": "nixpkgs", - "rev": "e2ffefe304d941bb98989847944f3b58e0adcdd5", + "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", "type": "github" }, "original": { "owner": "nixos", "repo": "nixpkgs", - "rev": "e2ffefe304d941bb98989847944f3b58e0adcdd5", + "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", "type": "github" } }, "nixpkgs_2": { "locked": { - "lastModified": 1707163378, - "narHash": "sha256-oz+BzUDwtyircjjxv9aPYOS5gobxLCjD2il+gb/bCRo=", + "lastModified": 1716457947, + "narHash": "sha256-Y+exebcqeprnhEpoPJrEUZmNeO60qeOxkVHhqG/OEwQ=", "owner": "nixos", "repo": "nixpkgs", - "rev": "e2ffefe304d941bb98989847944f3b58e0adcdd5", + "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", "type": "github" }, "original": { "owner": "nixos", "repo": "nixpkgs", - "rev": "e2ffefe304d941bb98989847944f3b58e0adcdd5", + "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", "type": "github" } }, @@ -447,17 +447,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1716471750, - "narHash": "sha256-hICyh0/tYJf5mdd6macXJ4uriRakCogdIMNNqUgyu3A=", + "lastModified": 1716488862, + "narHash": "sha256-kmMAEAibU21Q1k4ZEd3Bl9+LTiNIgnMRVGxSOtpTPdw=", "owner": "runtimeverification", "repo": "k", - "rev": "f96245d1fe97055ce76ce55bac50a8841e2655e6", + "rev": "c9868b85db7f0514c952d7c5f3889e7d1d8a54b5", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.0.88", + "ref": "v7.0.89", "repo": "k", "type": "github" } @@ -517,11 +517,11 @@ "nixpkgs": "nixpkgs" }, "locked": { - "lastModified": 1707492220, - "narHash": "sha256-KRndaUPzUumDlNcKF7KzA8F/EZKLYCvurh7Z13sw2PI=", + "lastModified": 1716459074, + "narHash": "sha256-IpahO+EkWdGl9QP7B2YXfJWpSfghjxgpz4ab47nRJY4=", "owner": "runtimeverification", "repo": "rv-nix-tools", - "rev": "abf86805a623948c941e603e2fc4c26a06ea6eb6", + "rev": "a65058865cda201de504f5546271b8e997a0be9c", "type": "github" }, "original": { @@ -535,11 +535,11 @@ "nixpkgs": "nixpkgs_2" }, "locked": { - "lastModified": 1707492220, - "narHash": "sha256-KRndaUPzUumDlNcKF7KzA8F/EZKLYCvurh7Z13sw2PI=", + "lastModified": 1716459074, + "narHash": "sha256-IpahO+EkWdGl9QP7B2YXfJWpSfghjxgpz4ab47nRJY4=", "owner": "runtimeverification", "repo": "rv-nix-tools", - "rev": "abf86805a623948c941e603e2fc4c26a06ea6eb6", + "rev": "a65058865cda201de504f5546271b8e997a0be9c", "type": "github" }, "original": { diff --git a/flake.nix b/flake.nix index d62d9b46d1..29d9bd0298 100644 --- a/flake.nix +++ b/flake.nix @@ -2,11 +2,11 @@ description = "A flake for the KEVM Semantics"; inputs = { - k-framework.url = "github:runtimeverification/k/v7.0.88"; + k-framework.url = "github:runtimeverification/k/v7.0.89"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; - pyk.url = "github:runtimeverification/k/v7.0.88?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.0.89?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; blockchain-k-plugin = {