Skip to content

Commit

Permalink
Update dependency: deps/hs-backend-booster_release (#3886)
Browse files Browse the repository at this point in the history
Co-authored-by: devops <[email protected]>
  • Loading branch information
rv-jenkins and devops authored Dec 20, 2023
1 parent 81d0f42 commit 704b653
Show file tree
Hide file tree
Showing 5 changed files with 13 additions and 13 deletions.
2 changes: 1 addition & 1 deletion deps/hs-backend-booster_release
Original file line number Diff line number Diff line change
@@ -1 +1 @@
4ab3fc365696125d4d87c86bed9c766d90b2e7ae
c6edfad1aa4c085e2cc2978c6d7cdc885157b0fb
16 changes: 8 additions & 8 deletions flake.lock

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

4 changes: 2 additions & 2 deletions flake.nix
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
{
description = "K Framework";
inputs = {
haskell-backend.url = "github:runtimeverification/haskell-backend/a5847301404583e16d55cd4d051b8e605d704fbc";
haskell-backend.url = "github:runtimeverification/haskell-backend/ca05f14b7957fec9f2a5ab3444cae01c5a76f12f";
booster-backend = {
url = "github:runtimeverification/hs-backend-booster/4ab3fc365696125d4d87c86bed9c766d90b2e7ae";
url = "github:runtimeverification/hs-backend-booster/c6edfad1aa4c085e2cc2978c6d7cdc885157b0fb";
inputs.nixpkgs.follows = "haskell-backend/nixpkgs";
inputs.haskell-backend.follows = "haskell-backend";
inputs.stacklock2nix.follows = "haskell-backend/stacklock2nix";
Expand Down

0 comments on commit 704b653

Please sign in to comment.