Update template for the F* project

kant2002 · Aug 6, 2024 · 86dd738 · 86dd738
1 parent 27b6e25
commit 86dd738
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/src/templates/content/ConsoleApplication-FStar/Company.ConsoleApplication1.fsproj b/src/templates/content/ConsoleApplication-FStar/Company.ConsoleApplication1.fsproj
@@ -5,6 +5,7 @@
     <TargetFramework Condition="'$(TargetFrameworkOverride)' == ''">net8.0</TargetFramework>
     <TargetFramework Condition="'$(TargetFrameworkOverride)' != ''">TargetFrameworkOverride</TargetFramework>
     <RootNamespace Condition="'$(name)' != '$(name{-VALUE-FORMS-}safe_namespace)'">Company.ConsoleApplication1</RootNamespace>
+    <LangVersion>5.0</LangVersion>
   </PropertyGroup>
 
   <ItemGroup>

diff --git a/src/templates/content/ConsoleApplication-FStar/global.json b/src/templates/content/ConsoleApplication-FStar/global.json
@@ -1,5 +1,5 @@
 {
   "msbuild-sdks": {
-    "FStarLang.Sdk": "0.1.0"
+    "FStarLang.Sdk": "0.1.2"
   }
 }
diff --git a/src/templates/content/ConsoleApplication-FStar/nuget.config b/src/templates/content/ConsoleApplication-FStar/nuget.config
@@ -3,7 +3,6 @@
     <packageSources>
         <!--To inherit the global NuGet package sources remove the <clear/> line below -->
         <clear />
-        <add key="fstar-experimental" value="https://codevision.pkgs.visualstudio.com/FStarLang/_packaging/fstarlang/nuget/v3/index.json" />
         <add key="nuget" value="https://api.nuget.org/v3/index.json" />
     </packageSources>
 </configuration>