diff --git a/flake.lock b/flake.lock
index aa88fc48ec..e01a8e212a 100644
--- a/flake.lock
+++ b/flake.lock
@@ -28,11 +28,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1705309865,
-        "narHash": "sha256-HkTSsjmR3DE1xKr1M0bBWKyTl4f616166Przd2mwNxw=",
+        "lastModified": 1707037862,
+        "narHash": "sha256-jCNrmFDx+neh7Uz0Q2kmqz19Yyz8OxnGoZpzd2w3SME=",
         "owner": "shazow",
         "repo": "foundry.nix",
-        "rev": "883243b30a4b8dbb1b515b79b750e2caf7df1a79",
+        "rev": "03b8af1efb00c51dceaac92462dc77b1b57683e0",
         "type": "github"
       },
       "original": {
@@ -44,11 +44,11 @@
     },
     "nixpkgs": {
       "locked": {
-        "lastModified": 1705883077,
-        "narHash": "sha256-ByzHHX3KxpU1+V0erFy8jpujTufimh6KaS/Iv3AciHk=",
+        "lastModified": 1707205916,
+        "narHash": "sha256-fmRJilYGlB7VCt3XsdYxrA0u8e/K84O5xYucerUY0iM=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "5f5210aa20e343b7e35f40c033000db0ef80d7b9",
+        "rev": "8cc79aa39bbc6eaedaf286ae655b224c71e02907",
         "type": "github"
       },
       "original": {
@@ -76,11 +76,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1700417764,
-        "narHash": "sha256-ssdwqKWkYUd/Nr6P9veR4D/PrtlwGJkPoUQoEgVJVpo=",
+        "lastModified": 1706563406,
+        "narHash": "sha256-XoMphCwfqx00wx/2nALvMPEAmD32A8lwSmwI5MNopyA=",
         "owner": "hellwolf",
         "repo": "solc.nix",
-        "rev": "80d2e38e98e589872b0dc3770f838c4be847305e",
+        "rev": "c863de2fa3721fc4201484c084a49e996ce21e19",
         "type": "github"
       },
       "original": {
diff --git a/flake.nix b/flake.nix
index f6e72c8c9c..cc6427f5bd 100644
--- a/flake.nix
+++ b/flake.nix
@@ -22,7 +22,7 @@
     minDevSolcVer = "solc_0_8_11"; # minimum solidity version used for external development
     solcVer = "solc_0_8_23";
     ghcVer92 = "ghc928";
-    ghcVer94 = "ghc945";
+    ghcVer94 = "ghc948";
 
     pkgs = import nixpkgs {
       inherit system;
@@ -85,7 +85,7 @@
       hlint
       stylish-haskell
       # sage math
-      # sage # TODO: https://github.com/NixOS/nixpkgs/issues/282383#issuecomment-1902660815
+      sage
       # testing tooling
       gnuplot
       # yellowpaper pipeline tooling
diff --git a/packages/spec-haskell/pkgs/core/superfluid-protocol-spec-core.cabal b/packages/spec-haskell/pkgs/core/superfluid-protocol-spec-core.cabal
index 494888f220..745a9ef259 100644
--- a/packages/spec-haskell/pkgs/core/superfluid-protocol-spec-core.cabal
+++ b/packages/spec-haskell/pkgs/core/superfluid-protocol-spec-core.cabal
@@ -4,7 +4,7 @@ version:       0.0.1.0
 license:       MIT
 maintainer:    miao@superfluid.finance
 author:        Miao, ZhiCheng
-tested-with:   ghc ==9.2.4, ghc ==9.4.5
+tested-with:   ghc ==9.2.4, ghc ==9.4.8
 homepage:      https://www.superfluid.finance/
 synopsis:      Superfluid protocol core specifications in Haskell.
 description:
diff --git a/packages/spec-haskell/pkgs/semantic-money/semantic-money.cabal b/packages/spec-haskell/pkgs/semantic-money/semantic-money.cabal
index 8d3f573ede..b8e545aa45 100644
--- a/packages/spec-haskell/pkgs/semantic-money/semantic-money.cabal
+++ b/packages/spec-haskell/pkgs/semantic-money/semantic-money.cabal
@@ -4,7 +4,7 @@ version:       0.0.1.0
 license:       MIT
 maintainer:    miao@superfluid.finance
 author:        Miao, ZhiCheng
-tested-with:   ghc ==9.2.4, ghc ==9.4.5
+tested-with:   ghc ==9.2.4, ghc ==9.4.8
 homepage:      https://www.superfluid.finance/
 synopsis:      Semantic money - generalizing payment primitives.
 description:
diff --git a/packages/spec-haskell/pkgs/simple/superfluid-protocol-system-simple.cabal b/packages/spec-haskell/pkgs/simple/superfluid-protocol-system-simple.cabal
index 3489adc19f..bc4b627fe3 100644
--- a/packages/spec-haskell/pkgs/simple/superfluid-protocol-system-simple.cabal
+++ b/packages/spec-haskell/pkgs/simple/superfluid-protocol-system-simple.cabal
@@ -4,7 +4,7 @@ version:       0.0.1.0
 license:       MIT
 maintainer:    miao@superfluid.finance
 author:        Miao, ZhiCheng
-tested-with:   ghc ==9.2.4, ghc ==9.4.5
+tested-with:   ghc ==9.2.4, ghc ==9.4.8
 homepage:      https://www.superfluid.finance/
 synopsis:      Superfluid protocol simple system instances.
 description:
diff --git a/packages/spec-haskell/pkgs/validator/superfluid-protocol-spec-validator.cabal b/packages/spec-haskell/pkgs/validator/superfluid-protocol-spec-validator.cabal
index 43cb909ade..2a2b4d3362 100644
--- a/packages/spec-haskell/pkgs/validator/superfluid-protocol-spec-validator.cabal
+++ b/packages/spec-haskell/pkgs/validator/superfluid-protocol-spec-validator.cabal
@@ -4,7 +4,7 @@ version:       0.0.1.0
 license:       MIT
 maintainer:    miao@superfluid.finance
 author:        Miao, ZhiCheng
-tested-with:   ghc ==9.2.4, ghc ==9.4.5
+tested-with:   ghc ==9.2.4, ghc ==9.4.8
 homepage:      https://www.superfluid.finance/
 synopsis:      Superfluid protocol specifications validator.
 description: