From 149349a4f082a460c81aa433416e53d76a91c08a Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Sat, 30 Jul 2022 11:47:45 -0700
Subject: [PATCH] Drop an unneeded pkgs.

---
 pkgs/top-level/dotnet-packages.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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}";