From b57988170912da628c19ac9700addbad00220e70 Mon Sep 17 00:00:00 2001 From: Joe Watt Date: Sun, 5 May 2024 16:53:16 +0800 Subject: [PATCH 1/3] bump stack to lts-22.20 --- lib/haskell/anyall/stack.yaml | 2 +- lib/haskell/anyall/stack.yaml.lock | 6 +++--- lib/haskell/explainable/stack.yaml | 2 +- lib/haskell/explainable/stack.yaml.lock | 6 +++--- lib/haskell/extract/stack.yaml | 2 +- lib/haskell/extract/stack.yaml.lock | 6 +++--- lib/haskell/natural4/stack.yaml | 2 +- lib/haskell/natural4/stack.yaml.lock | 6 +++--- 8 files changed, 16 insertions(+), 16 deletions(-) diff --git a/lib/haskell/anyall/stack.yaml b/lib/haskell/anyall/stack.yaml index 2995c9a1b..8fa257529 100644 --- a/lib/haskell/anyall/stack.yaml +++ b/lib/haskell/anyall/stack.yaml @@ -17,7 +17,7 @@ # # resolver: ./custom-snapshot.yaml # resolver: https://example.com/snapshots/2018-01-01.yaml -resolver: lts-22.19 +resolver: lts-22.20 # User packages to be built. # Various formats can be used as shown in the example below. # diff --git a/lib/haskell/anyall/stack.yaml.lock b/lib/haskell/anyall/stack.yaml.lock index f8f20981a..535381a9a 100644 --- a/lib/haskell/anyall/stack.yaml.lock +++ b/lib/haskell/anyall/stack.yaml.lock @@ -6,7 +6,7 @@ packages: [] snapshots: - completed: - sha256: e5cac927cf7ccbd52aa41476baa68b88c564ee6ddc3bc573dbf4210069287fe7 + sha256: 4a0e5e187fbef423f9c60072bfb1dd56f2a01a07a2667eb1469bd79073cfceaf size: 713340 - url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/22/19.yaml - original: lts-22.19 + url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/22/20.yaml + original: lts-22.20 diff --git a/lib/haskell/explainable/stack.yaml b/lib/haskell/explainable/stack.yaml index b9f568dfe..9bfef559a 100644 --- a/lib/haskell/explainable/stack.yaml +++ b/lib/haskell/explainable/stack.yaml @@ -17,7 +17,7 @@ # # resolver: ./custom-snapshot.yaml # resolver: https://example.com/snapshots/2018-01-01.yaml -resolver: lts-22.19 +resolver: lts-22.20 # User packages to be built. # Various formats can be used as shown in the example below. diff --git a/lib/haskell/explainable/stack.yaml.lock b/lib/haskell/explainable/stack.yaml.lock index f8f20981a..535381a9a 100644 --- a/lib/haskell/explainable/stack.yaml.lock +++ b/lib/haskell/explainable/stack.yaml.lock @@ -6,7 +6,7 @@ packages: [] snapshots: - completed: - sha256: e5cac927cf7ccbd52aa41476baa68b88c564ee6ddc3bc573dbf4210069287fe7 + sha256: 4a0e5e187fbef423f9c60072bfb1dd56f2a01a07a2667eb1469bd79073cfceaf size: 713340 - url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/22/19.yaml - original: lts-22.19 + url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/22/20.yaml + original: lts-22.20 diff --git a/lib/haskell/extract/stack.yaml b/lib/haskell/extract/stack.yaml index b3bc68b14..14154ff42 100644 --- a/lib/haskell/extract/stack.yaml +++ b/lib/haskell/extract/stack.yaml @@ -17,7 +17,7 @@ # # resolver: ./custom-snapshot.yaml # resolver: https://example.com/snapshots/2018-01-01.yaml -resolver: lts-22.19 +resolver: lts-22.20 # User packages to be built. # Various formats can be used as shown in the example below. diff --git a/lib/haskell/extract/stack.yaml.lock b/lib/haskell/extract/stack.yaml.lock index 4a21b32e1..b004f8c63 100644 --- a/lib/haskell/extract/stack.yaml.lock +++ b/lib/haskell/extract/stack.yaml.lock @@ -13,7 +13,7 @@ packages: hackage: orgmode-0.1.0.1 snapshots: - completed: - sha256: e5cac927cf7ccbd52aa41476baa68b88c564ee6ddc3bc573dbf4210069287fe7 + sha256: 4a0e5e187fbef423f9c60072bfb1dd56f2a01a07a2667eb1469bd79073cfceaf size: 713340 - url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/22/19.yaml - original: lts-22.19 + url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/22/20.yaml + original: lts-22.20 diff --git a/lib/haskell/natural4/stack.yaml b/lib/haskell/natural4/stack.yaml index 61bef0b2e..4b710ba9d 100644 --- a/lib/haskell/natural4/stack.yaml +++ b/lib/haskell/natural4/stack.yaml @@ -9,7 +9,7 @@ # to be used for project dependencies. For example: # -resolver: lts-22.19 +resolver: lts-22.20 packages: - . diff --git a/lib/haskell/natural4/stack.yaml.lock b/lib/haskell/natural4/stack.yaml.lock index c0447ff06..247165fe2 100644 --- a/lib/haskell/natural4/stack.yaml.lock +++ b/lib/haskell/natural4/stack.yaml.lock @@ -92,7 +92,7 @@ packages: hackage: monadic-recursion-schemes-0.1.13.2 snapshots: - completed: - sha256: e5cac927cf7ccbd52aa41476baa68b88c564ee6ddc3bc573dbf4210069287fe7 + sha256: 4a0e5e187fbef423f9c60072bfb1dd56f2a01a07a2667eb1469bd79073cfceaf size: 713340 - url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/22/19.yaml - original: lts-22.19 + url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/22/20.yaml + original: lts-22.20 From f9e782955bf93652c9521cdc3e40faed22ea6baa Mon Sep 17 00:00:00 2001 From: Joe Watt Date: Sun, 5 May 2024 17:08:20 +0800 Subject: [PATCH 2/3] bump babyl4 commit --- lib/haskell/natural4/stack.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/haskell/natural4/stack.yaml b/lib/haskell/natural4/stack.yaml index 4b710ba9d..3e87a2a2f 100644 --- a/lib/haskell/natural4/stack.yaml +++ b/lib/haskell/natural4/stack.yaml @@ -32,7 +32,7 @@ extra-deps: # ../../../../baby-l4 # and then you would comment out this thing which can be updated less frequently as main receives pull requests. - github: smucclaw/baby-l4 - commit: ee7a71953070960e9f104e8900a48b5233d8b9a0 + commit: 6241eead2a7e99fbdf8d6a4c72135be371499c75 - github: smucclaw/gf-core commit: f85fbbaf41e804f1566cd914ef3986dda29978b3 From 4ea7aa45a1ee206e24a1763fba335a4865014215 Mon Sep 17 00:00:00 2001 From: Joe Watt Date: Sun, 5 May 2024 17:10:23 +0800 Subject: [PATCH 3/3] bump stack lock --- lib/haskell/natural4/stack.yaml.lock | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/lib/haskell/natural4/stack.yaml.lock b/lib/haskell/natural4/stack.yaml.lock index 247165fe2..96f670ddd 100644 --- a/lib/haskell/natural4/stack.yaml.lock +++ b/lib/haskell/natural4/stack.yaml.lock @@ -7,14 +7,14 @@ packages: - completed: name: baby-l4 pantry-tree: - sha256: ffa7fcdd0ef234d611634d8f10c8aa7c56781eb418bcde8d2c99301c92f73dee + sha256: dc7189c0671a8999d50a24df712b6d3f9fe178471072d344958f3afcbb6f5bde size: 12538 - sha256: 4ebfaef07d5d8d70e404b28f8ed5701c6e895e3bdc7cf085ca7b112de4a8ae8b - size: 3188831 - url: https://github.com/smucclaw/baby-l4/archive/ee7a71953070960e9f104e8900a48b5233d8b9a0.tar.gz + sha256: 8031057c894f1ff56d15c1788be130a29d4abb440baaf87780556f086c9af78f + size: 3188826 + url: https://github.com/smucclaw/baby-l4/archive/6241eead2a7e99fbdf8d6a4c72135be371499c75.tar.gz version: 0.1.2.1 original: - url: https://github.com/smucclaw/baby-l4/archive/ee7a71953070960e9f104e8900a48b5233d8b9a0.tar.gz + url: https://github.com/smucclaw/baby-l4/archive/6241eead2a7e99fbdf8d6a4c72135be371499c75.tar.gz - completed: name: gf pantry-tree: