Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update dependency: deps/haskell-backend_release #425

Merged
merged 7 commits into from
Dec 20, 2023
Merged

Update dependency: deps/haskell-backend_release #425

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
9e32ee7
deps/haskell-backend_release: Set Version 4e9fb7af74bb0a6aa0b365bdb95…
Dec 14, 2023
e7eca1b
update haskell-backend to version 4e9fb7af74bb0a6aa0b365bdb955ac682cb…
Dec 14, 2023
e4f8bf1
deps/haskell-backend_release: Set Version 0f4666519bf78cf03383384aeaa…
Dec 14, 2023
6bea106
update haskell-backend to version 0f4666519bf78cf03383384aeaad0a074ae…
Dec 14, 2023
dac003e
Merge remote-tracking branch 'origin/main' into _update-deps/runtimev…
Dec 20, 2023
dd604b0
deps/haskell-backend_release: Set Version ca05f14b7957fec9f2a5ab3444c…
Dec 20, 2023
bb2fd70
update haskell-backend to version ca05f14b7957fec9f2a5ab3444cae01c5a7…
Dec 20, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion cabal.project
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,6 @@ source-repository-package
source-repository-package
type: git
location: https://github.com/runtimeverification/haskell-backend.git
tag: a5847301404583e16d55cd4d051b8e605d704fbc
tag: ca05f14b7957fec9f2a5ab3444cae01c5a76f12f
--sha256:
subdir: kore kore-rpc-types
2 changes: 1 addition & 1 deletion deps/haskell-backend_release
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
a5847301404583e16d55cd4d051b8e605d704fbc
ca05f14b7957fec9f2a5ab3444cae01c5a76f12f
8 changes: 4 additions & 4 deletions flake.lock
View file
Open in desktop

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
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
description = "hs-backend-booster";

inputs = {
haskell-backend.url = "github:runtimeverification/haskell-backend/a5847301404583e16d55cd4d051b8e605d704fbc";
haskell-backend.url = "github:runtimeverification/haskell-backend/ca05f14b7957fec9f2a5ab3444cae01c5a76f12f";
stacklock2nix.follows = "haskell-backend/stacklock2nix";
nixpkgs.follows = "haskell-backend/nixpkgs";
};
Expand Down
2 changes: 1 addition & 1 deletion stack.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ extra-deps:
- typerep-map-0.5.0.0
- monad-validate-1.2.0.1
- git: https://github.com/runtimeverification/haskell-backend.git
commit: a5847301404583e16d55cd4d051b8e605d704fbc
commit: ca05f14b7957fec9f2a5ab3444cae01c5a76f12f
subdirs:
- kore
- kore-rpc-types
Expand Down
12 changes: 6 additions & 6 deletions stack.yaml.lock
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -54,29 +54,29 @@ packages:
original:
hackage: monad-validate-1.2.0.1
- completed:
commit: a5847301404583e16d55cd4d051b8e605d704fbc
commit: ca05f14b7957fec9f2a5ab3444cae01c5a76f12f
git: https://github.com/runtimeverification/haskell-backend.git
name: kore
pantry-tree:
sha256: 30a502eda589be5af735b1b59760ce3e0235c0cae8961978a46b3564dd8db32b
sha256: 5e55ca5d13d80053b2c4ef46ea0590dc799b9a50283406b3cadf63dd3e52a736
size: 44685
subdir: kore
version: 0.60.0.0
original:
commit: a5847301404583e16d55cd4d051b8e605d704fbc
commit: ca05f14b7957fec9f2a5ab3444cae01c5a76f12f
git: https://github.com/runtimeverification/haskell-backend.git
subdir: kore
- completed:
commit: a5847301404583e16d55cd4d051b8e605d704fbc
commit: ca05f14b7957fec9f2a5ab3444cae01c5a76f12f
git: https://github.com/runtimeverification/haskell-backend.git
name: kore-rpc-types
pantry-tree:
sha256: 612bd29531bf7245dbc13176569e51e089d6887118d50566af326e079c18c18e
sha256: c9493d99798fa850782738ab91801b66b79b64a7f931b94d21d14a7144141516
size: 476
subdir: kore-rpc-types
version: 0.60.0.0
original:
commit: a5847301404583e16d55cd4d051b8e605d704fbc
commit: ca05f14b7957fec9f2a5ab3444cae01c5a76f12f
git: https://github.com/runtimeverification/haskell-backend.git
subdir: kore-rpc-types
snapshots:
Expand Down
Loading