diff --git a/pkgs/top-level/dotnet-packages.nix b/pkgs/top-level/dotnet-packages.nix
index 4f0b8b497ad..e8f6d7a7ed5 100644
--- a/pkgs/top-level/dotnet-packages.nix
+++ b/pkgs/top-level/dotnet-packages.nix
@@ -129,7 +129,7 @@ let self = dotnetPackages // overrides; dotnetPackages = with self; {
     pname = "Boogie";
     version = "2.15.7";
 
-    src = pkgs.fetchFromGitHub {
+    src = fetchFromGitHub {
       owner = "boogie-org";
       repo = "boogie";
       rev = "v${version}";