AU: 1 updated - FStar

[skip ci] https://gist.github.com/AdmiringWorm/747b3ede98c9404e5cb6a399595e7ad1/7852b326cfe0ae356367255ec927693c74a9ce5d

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.02.01</version>
+    <version>2023.04.08</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.02.01)
+    <releaseNotes>[Software Changelog](https://github.com/FStarLang/FStar/releases/tag/v2023.04.08)
 [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.02.01/fstar_2023.02.01_Windows_x64.zip>
+1. Download the following <https://github.com/FStarLang/FStar/releases/download/v2023.04.08/fstar_2023.04.08_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: 8E2EE58BD7B50C83F79C5AF17C6B99C30DD97A2DA6ADA9D7DEDD001AEDC0C133
+  checksum: 6D5F969694F667C5EAB165A866646A108FA0CDBF82D0D5900D9B4C8FF4D7EA15
 
 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.02.01_Windows_x64.zip"
+  file64      = "$toolsPath\fstar_2023.04.08_Windows_NT_x86_64.zip"
   destination = $toolsPath
 }