File fsharp-5.0.0.0-build-projects-required-for-mono.patch of Package fsharp

diff -uNr a/eng/build.sh b/eng/build.sh
--- a/eng/build.sh	2020-09-22 11:49:54.000000000 +0900
+++ b/eng/build.sh	2025-08-28 00:07:48.000000000 +0900
@@ -201,7 +201,7 @@
 function BuildSolution {
   BuildCategory="Build"
   BuildMessage="Error preparing build"
-  local solution="FSharp.sln"
+  local solution="fsharp-mono.proj"
   echo "$solution:"
 
   InitializeToolset