Merge branch 'dev' of github.com:dktr0/Estuary into dev

dktr0 · Sep 7, 2023 · fca52ad · fca52ad
2 parents b6a1074 + 031ac3b
commit fca52ad
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/default.nix b/default.nix
@@ -144,8 +144,8 @@ in
           dontCheck (dontHaddock (self.callCabal2nix "punctual" (pkgs.fetchFromGitHub {
           owner = "dktr0";
           repo = "punctual";
-          sha256 = "10xph5q27sbcci74ml2j18kkymf66lzxw0j6ywswa4mvn5px4856";
-          rev = "fe18e43b960804a4ea9f336ebc724fe0852fc3a9";
+          sha256 = "07z23vf9hyydj2kbywzp0mjlxvhzmjh0z5irwrahzsrnij8gix9w";
+          rev = "d8a9f5df78f7c7c70a4dccdd311ca5a0a7a708f3";
         }) {}));
 
         musicw = self.callCabal2nix "musicw" (pkgs.fetchFromGitHub {