Skip to content

Commit

Permalink
Bump curry-frontend to current master
Browse files Browse the repository at this point in the history
  • Loading branch information
fwcd committed Oct 10, 2024
1 parent 84936ab commit 9173760
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion stack.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ extra-deps:
- lsp-types-2.3.0.0
- set-extra-1.4.2
- git: https://git.ps.informatik.uni-kiel.de/curry/curry-frontend.git
commit: dd346c0c8c72979b8d195d241a8a19258745b134
commit: bd1750a68e011e56c176491a558885b5268173b5

# Override default flag values for local packages and extra-deps
# flags: {}
Expand Down
6 changes: 3 additions & 3 deletions stack.yaml.lock
Original file line number Diff line number Diff line change
Expand Up @@ -26,15 +26,15 @@ packages:
original:
hackage: set-extra-1.4.2
- completed:
commit: dd346c0c8c72979b8d195d241a8a19258745b134
commit: bd1750a68e011e56c176491a558885b5268173b5
git: https://git.ps.informatik.uni-kiel.de/curry/curry-frontend.git
name: curry-frontend
pantry-tree:
sha256: 3b2f6df898d989bf51fe83ee6bd73383e06fe07d1606dd0c0386ad6375c73109
sha256: 911cb32d609278b24516b1412aede02daa88f933dc2935399821d418b881ab46
size: 17097
version: 2.1.1
original:
commit: dd346c0c8c72979b8d195d241a8a19258745b134
commit: bd1750a68e011e56c176491a558885b5268173b5
git: https://git.ps.informatik.uni-kiel.de/curry/curry-frontend.git
snapshots:
- completed:
Expand Down

0 comments on commit 9173760

Please sign in to comment.