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

Jump to bottom

Update dependency: deps/haskell-backend_release #473

Merged
merged 4 commits into from
Jan 23, 2024
Merged

Update dependency: deps/haskell-backend_release #473

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
95dfba8
deps/haskell-backend_release: Set Version 32ed57a54c75e3d25718494ad30…
Jan 22, 2024
a7630eb
update haskell-backend to version 32ed57a54c75e3d25718494ad3047fb79f2…
Jan 22, 2024
65d4822
deps/haskell-backend_release: Set Version d9fa6aeb36407193b701059a543…
Jan 23, 2024
43a7b4e
update haskell-backend to version d9fa6aeb36407193b701059a54307b63688…
Jan 23, 2024
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: 25f07c8b37b85bf19c8ec0894b60a51cb5e73842
tag: d9fa6aeb36407193b701059a54307b6368841632
--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 @@
25f07c8b37b85bf19c8ec0894b60a51cb5e73842
d9fa6aeb36407193b701059a54307b6368841632
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/25f07c8b37b85bf19c8ec0894b60a51cb5e73842";
haskell-backend.url = "github:runtimeverification/haskell-backend/d9fa6aeb36407193b701059a54307b6368841632";
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: 25f07c8b37b85bf19c8ec0894b60a51cb5e73842
commit: d9fa6aeb36407193b701059a54307b6368841632
subdirs:
- kore
- kore-rpc-types
Expand Down
10 changes: 5 additions & 5 deletions stack.yaml.lock
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -54,20 +54,20 @@ packages:
original:
hackage: monad-validate-1.2.0.1
- completed:
commit: 25f07c8b37b85bf19c8ec0894b60a51cb5e73842
commit: d9fa6aeb36407193b701059a54307b6368841632
git: https://github.com/runtimeverification/haskell-backend.git
name: kore
pantry-tree:
sha256: e7f027352267a94ae6014e71b471331e3cd97d448379332e29d8a06b0907f783
sha256: 8d8922cd448afd3fcb11c9e45c06b092912d63916499d4afb403e12848092c98
size: 44685
subdir: kore
version: 0.60.0.0
original:
commit: 25f07c8b37b85bf19c8ec0894b60a51cb5e73842
commit: d9fa6aeb36407193b701059a54307b6368841632
git: https://github.com/runtimeverification/haskell-backend.git
subdir: kore
- completed:
commit: 25f07c8b37b85bf19c8ec0894b60a51cb5e73842
commit: d9fa6aeb36407193b701059a54307b6368841632
git: https://github.com/runtimeverification/haskell-backend.git
name: kore-rpc-types
pantry-tree:
Expand All @@ -76,7 +76,7 @@ packages:
subdir: kore-rpc-types
version: 0.60.0.0
original:
commit: 25f07c8b37b85bf19c8ec0894b60a51cb5e73842
commit: d9fa6aeb36407193b701059a54307b6368841632
git: https://github.com/runtimeverification/haskell-backend.git
subdir: kore-rpc-types
snapshots:
Expand Down
Loading