diff --git a/flake.nix b/flake.nix
index b2857b9..fa4e654 100644
--- a/flake.nix
+++ b/flake.nix
@@ -14,12 +14,12 @@
       system:
       let
         pkgs = import nixpkgs { inherit system; };
-        agdasrc = pkgs.haskell.lib.sdistTarball (pkgs.fetchFromGitHub {
+        agdasrc = pkgs.fetchFromGitHub {
           owner = "agda";
           repo = "agda";
           rev = "5c29109f8212ef61b0091d62ef9c8bfdfa16cf36";
           hash = "sha256-qiV/tk+/b3xYPJcWVVd7x9jrQjBzl1TXHPNEQbKV2rA=";
-        });
+        };
         hpkgs =
           with pkgs;
           haskellPackages.override {