From 91737602da49bd8412a99b828996fa16eb7b1170 Mon Sep 17 00:00:00 2001 From: fwcd Date: Thu, 10 Oct 2024 18:18:46 +0200 Subject: [PATCH] Bump curry-frontend to current master --- stack.yaml | 2 +- stack.yaml.lock | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/stack.yaml b/stack.yaml index 49b1e7e..fc66beb 100644 --- a/stack.yaml +++ b/stack.yaml @@ -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: {} diff --git a/stack.yaml.lock b/stack.yaml.lock index 2f2de89..aa46eef 100644 --- a/stack.yaml.lock +++ b/stack.yaml.lock @@ -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: