override agda manually

Author: liesnikov

flake.nix

@@ -8,7 +8,17 @@
     flake-utils.lib.eachDefaultSystem (system:
       let
         pkgs = import nixpkgs {inherit system;};
-        agda2lambox = pkgs.haskellPackages.callCabal2nix "agda2lambox" ./. {};
+        hpkgs = with pkgs; haskellPackages.override {
+          overrides = haskell.lib.packageSourceOverrides {
+            Agda = fetchFromGitHub {
+              owner = "agda";
+              repo = "agda";
+              rev = "5c29109f8212ef61b0091d62ef9c8bfdfa16cf36";
+              hash = "sha256-qiV/tk+/b3xYPJcWVVd7x9jrQjBzl1TXHPNEQbKV2rA=";
+            };
+          };
+        };
+        agda2lambox = hpkgs.callCabal2nix "agda2lambox" ./. {};
       in {
         packages = {
           inherit agda2lambox;