From d9f812d2fc5452a2794396a90e0ed6a2700adb0d Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Fri, 5 Aug 2022 16:08:49 -0700
Subject: [PATCH] Remove some binaries installed with Boogie that conflict with
 Dafny

---
 pkgs/top-level/dotnet-packages.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pkgs/top-level/dotnet-packages.nix b/pkgs/top-level/dotnet-packages.nix
index d62ebf95184..0e32d554fc3 100644
--- a/pkgs/top-level/dotnet-packages.nix
+++ b/pkgs/top-level/dotnet-packages.nix
@@ -154,6 +154,9 @@ let self = dotnetPackages // overrides; dotnetPackages = with self; {
 
     postFixup = ''
         ln -s "$out/bin/BoogieDriver" "$out/bin/boogie"
+        rm -f "$out/bin"/System.* "$out/bin"/Microsoft.*
+        rm -f "$out/bin"/NUnit3.*
+        rm -f "$out/bin"/*Tests
     '';
 
     meta = with lib; {