Drop an unneeded pkgs.

2022-08-02 10:24:21 -07:00
parent 01fc89623b
commit 149349a4f0
1 changed files with 1 additions and 1 deletions
@@ -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}";