AU: 1 updated - FStar

[skip ci] https://gist.github.com/747b3ede98c9404e5cb6a399595e7ad1/a11451841044f84b75cc50f2d38c5c5ebb4bbd3b
AdmiringWorm · Mar 6, 2022 · 8ccc1ed · 8ccc1ed
1 parent fc4dff2
commit 8ccc1ed
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/automatic/fstar/fstar.nuspec b/automatic/fstar/fstar.nuspec
@@ -3,7 +3,7 @@
 <package xmlns="http://schemas.microsoft.com/packaging/2015/06/nuspec.xsd">
   <metadata>
     <id>FStar</id>
-    <version>2022.03.01</version>
+    <version>2022.03.05</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/v2022.03.01)
+    <releaseNotes>[Software Changelog](https://github.com/FStarLang/FStar/releases/tag/v2022.03.05)
 [Package Changelog](https://github.com/AdmiringWorm/chocolatey-packages/blob/master/automatic/fstar/Changelog.md)</releaseNotes>
   </metadata>
   <files>

diff --git a/automatic/fstar/legal/VERIFICATION.txt b/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/v2022.03.01/fstar_2022.03.01_Windows_x64.zip>
+1. Download the following <https://github.com/FStarLang/FStar/releases/download/v2022.03.05/fstar_2022.03.05_Windows_x64.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: 4E95F08FFA977B9CD35A1DFAAF2F2D3A73BC3A28B3D79359ED0DBE4B874EF549
+  checksum: FA54F6A9005CF2AC4DE6CA4E0B6ECD076278802C09F124ABC2339A3FC67B2A8C
 
 The file 'LICENSE.txt' has been obtained from <https://github.com/FStarLang/FStar/blob/9c8606bf95c84ef69ef7991db2ed4a3d4a5cc194/LICENSE>
diff --git a/automatic/fstar/tools/chocolateyinstall.ps1 b/automatic/fstar/tools/chocolateyinstall.ps1
@@ -5,7 +5,7 @@ $toolsPath = Split-Path -Parent $MyInvocation.MyCommand.Definition
 $packageArgs = @{
   packageName = $env:ChocolateyPackageName
   file        = ''
-  file64      = "$toolsPath\fstar_2022.03.01_Windows_x64.zip"
+  file64      = "$toolsPath\fstar_2022.03.05_Windows_x64.zip"
   destination = $toolsPath
 }