diff --git a/eng/Version.Details.xml b/eng/Version.Details.xml
index 0f64f53dbf3..b626b2458b5 100644
--- a/eng/Version.Details.xml
+++ b/eng/Version.Details.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="utf-8"?>
 <Dependencies>
-  <Source Uri="https://github.com/dotnet/dotnet" Mapping="fsharp" Sha="721dc7a2a59416b21fc49447d264009d708d6000" BarId="265489" />
+  <Source Uri="https://github.com/dotnet/dotnet" Mapping="fsharp" Sha="025e4e597746eafc5a736195b66aeb321455d64c" BarId="267041" />
   <ProductDependencies>
     <Dependency Name="Microsoft.SourceBuild.Intermediate.source-build-reference-packages" Version="9.0.0-alpha.1.25223.3">
       <Uri>https://github.com/dotnet/source-build-reference-packages</Uri>
diff --git a/proto.proj b/proto.proj
index eb0814976ea..69497f54883 100644
--- a/proto.proj
+++ b/proto.proj
@@ -7,7 +7,8 @@
   <!-- This needs to be built only in the inner VMR build proto invocation, but not the outer VMR build invocation.
        The project does not import Arcade targets so we only have the properties that were passed in, rather than
        calculated properties like DotNetBuildPhase. -->
-  <ItemGroup Condition="'$(DotNetBuildSourceOnly)'!='true' or '$(DotNetBuildInnerRepo)' == 'true'">
+  <!-- TODO: Remove this condition when fsharp upgraded to Arcade 10 -->
+  <ItemGroup Condition="'$(DotNetBuildOrchestrator)' == 'true' or '$(DotNetBuildSourceOnly)' != 'true' or '$(DotNetBuildInnerRepo)' == 'true'">
     <Projects Include="buildtools\fslex\fslex.fsproj" />
     <Projects Include="buildtools\fsyacc\fsyacc.fsproj" />
     <Projects Include="buildtools\AssemblyCheck\AssemblyCheck.fsproj" />