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 Aug 26, 2024
1 parent d0e5705 commit f08df83
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 @@ -12,7 +12,7 @@
poetry2nix.follows = "pyk/poetry2nix";
blockchain-k-plugin = {
url =
"github:runtimeverification/blockchain-k-plugin/44d875a9a36b14529c0bf40e7f36dc4f23429153";
"github:runtimeverification/blockchain-k-plugin/153c4a03f2493117467440386e549d8c748db6bf";
inputs.flake-utils.follows = "k-framework/flake-utils";
inputs.nixpkgs.follows = "k-framework/nixpkgs";
};
Expand Down

0 comments on commit f08df83

Please sign in to comment.