AU: 1 updated - FStar

[skip ci] https://gist.github.com/AdmiringWorm/747b3ede98c9404e5cb6a399595e7ad1/712c92270a113baa03d78dae1cb44d8113da934e

automatic/fstar/fstar.nuspec

@@ -3,7 +3,7 @@
 <package xmlns="http://schemas.microsoft.com/packaging/2015/06/nuspec.xsd">
   <metadata>
     <id>FStar</id>
-    <version>2023.04.25</version>
+    <version>2023.09.03</version>
     <packageSourceUrl>https://github.com/admiringworm/chocolatey-packages/tree/master/automatic/fstar</packageSourceUrl>
     <owners>AdmiringWorm, chantisnake</owners>
     <title>F* language</title>
@@ -22,7 +22,7 @@
 
 F*'s type system includes dependent types, monadic effects, refinement types, and a weakest precondition calculus. Together, these features allow expressing precise and compact specifications for programs, including functional correctness and security properties. The F* type-checker aims to prove that programs meet their specifications using a combination of SMT solving and interactive proofs.
 ]]></description>
-    <releaseNotes>[Software Changelog](https://github.com/FStarLang/FStar/releases/tag/v2023.04.25)
+    <releaseNotes>[Software Changelog](https://github.com/FStarLang/FStar/releases/tag/v2023.09.03)
 [Package Changelog](https://github.com/AdmiringWorm/chocolatey-packages/blob/master/automatic/fstar/Changelog.md)</releaseNotes>
   </metadata>
   <files>

automatic/fstar/legal/VERIFICATION.txt

@@ -6,13 +6,13 @@ The embedded software have been downloaded from the listed download
 location on <https://github.com/FStarLang/FStar/releases>
 and can be verified by doing the following:
 
-1. Download the following <https://github.com/FStarLang/FStar/releases/download/v2023.04.25/fstar_2023.04.25_Windows_NT_x86_64.zip>
+1. Download the following <https://github.com/FStarLang/FStar/releases/download/v2023.09.03/fstar_2023.09.03_Windows_NT_x86_64.zip>
 2. Get the checksum using one of the following methods:
   - Using powershell function 'Get-FileHash'
   - Use chocolatey utility 'checksum.exe'
 3. The checksums should match the following:
 
   checksum type: sha256
-  checksum: 775F6BC201A370E5A7EED4C39949714D0E51445E2754041E3CCABEC67CFC73F6
+  checksum: CCED4DD0701DF2F63E7C6719DB9B8737FD10F368DD1AF028AB247A718E7A6910
 
 The file 'LICENSE.txt' has been obtained from <https://github.com/FStarLang/FStar/blob/9c8606bf95c84ef69ef7991db2ed4a3d4a5cc194/LICENSE>

automatic/fstar/tools/chocolateyinstall.ps1

@@ -5,7 +5,7 @@ $toolsPath = Split-Path -Parent $MyInvocation.MyCommand.Definition
 $packageArgs = @{
   packageName = $env:ChocolateyPackageName
   file        = ''
-  file64      = "$toolsPath\fstar_2023.04.25_Windows_NT_x86_64.zip"
+  file64      = "$toolsPath\fstar_2023.09.03_Windows_NT_x86_64.zip"
   destination = $toolsPath
 }