i give up

agda · Jan 24, 2025 · 47f7981 · 47f7981
1 parent 7e98cb5
commit 47f7981
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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 {