Skip to content

Commit

Permalink
flake.{nix,lock}: update Nix derivations
Browse files Browse the repository at this point in the history
  • Loading branch information
devops committed Oct 28, 2024
1 parent 5a29dc5 commit 7b256d3
Show file tree
Hide file tree
Showing 2 changed files with 13 additions and 13 deletions.
24 changes: 12 additions & 12 deletions flake.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion flake.nix
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
poetry2nix.follows = "k-framework/poetry2nix";
blockchain-k-plugin = {
url =
"github:runtimeverification/blockchain-k-plugin/a6b4c7d851afd9e2729901b515c6e699464611d7";
"github:runtimeverification/blockchain-k-plugin/c9264b240c00d1f6cc20e22aac83c94d1a499138";
inputs.flake-utils.follows = "k-framework/flake-utils";
inputs.nixpkgs.follows = "k-framework/nixpkgs";
};
Expand Down

0 comments on commit 7b256d3

Please sign in to comment.