AU: 2 updated - FStar RssGuard

[skip ci] https://gist.github.com/747b3ede98c9404e5cb6a399595e7ad1/be506e4f9f6f8c45f7dfaeb7ced81c3704020e64
AdmiringWorm · Oct 17, 2018 · 69c1444 · 69c1444
1 parent 3e68f4c
commit 69c1444
Show file tree

Hide file tree

Showing 11 changed files with 35 additions and 47 deletions.
diff --git a/automatic/fstar/Changelog.md b/automatic/fstar/Changelog.md
@@ -1,5 +1,6 @@
 # ![F* language Changelog](https://img.shields.io/badge/F*%20language-Package%20Changelog-blue.svg?style=for-the-badge)
 
-## UPCOMING
-- Taken over as the maintainer of the fstar package
+## Version: 0.9.6.001 (2018-10-17)
 - **ENHANCEMENT:** Embedded the fstar package
+- Taken over as the maintainer of the fstar package
+
diff --git a/automatic/fstar/Readme.md b/automatic/fstar/Readme.md
@@ -1,4 +1,4 @@
-# [<img src="https://cdn.jsdelivr.net/gh/AdmiringWorm/chocolatey-packages@9ccc1bd8a9b4d7010facb296948c70aa3b3125c7/icons/fstar.png" height="48" width="48" /> ![F* language](https://img.shields.io/chocolatey/v/fstar.svg?label=F*%20language&style=for-the-badge)](https://chocolatey.org/packages/fstar)
+# [<img src="https://cdn.jsdelivr.net/gh/AdmiringWorm/chocolatey-packages@0557123379b71b0c289d0ca43351bc9f743141e4/icons/fstar.png" height="48" width="48" /> ![F* language](https://img.shields.io/chocolatey/v/fstar.svg?label=F*%20language&style=for-the-badge)](https://chocolatey.org/packages/fstar)
 
 F* (pronounced F star) is a general-purpose functional programming language with effects aimed at program verification. It puts together the automation of an SMT-backed deductive verification tool with the expressive power of a proof assistant based on dependent types. After verification, F* programs can be extracted to efficient OCaml, F#, or C code. This enables verifying the functional correctness and security of realistic applications, such as a verified HTTPS stack.
 

diff --git a/automatic/fstar/fstar.nuspec b/automatic/fstar/fstar.nuspec
@@ -2,14 +2,14 @@
 <!-- Do not remove this test for UTF-8: if “Ω” doesn’t appear as greek uppercase omega letter enclosed in quotation marks, you should use an editor that supports UTF-8, not this one. -->
 <package xmlns="http://schemas.microsoft.com/packaging/2015/06/nuspec.xsd">
   <metadata>
-    <id>fstar</id>
-    <version>0.9.6.0</version>
+    <id>FStar</id>
+    <version>0.9.6.001</version>
     <packageSourceUrl>https://github.com/AdmiringWorm/chocolatey-packages/tree/master/automatic/fstar</packageSourceUrl>
     <owners>AdmiringWorm, chantisnake</owners>
     <title>F* language</title>
     <authors>FStarLang</authors>
     <projectUrl>https://www.fstar-lang.org/</projectUrl>
-    <iconUrl>https://cdn.jsdelivr.net/gh/AdmiringWorm/chocolatey-packages@9ccc1bd8a9b4d7010facb296948c70aa3b3125c7/icons/fstar.png</iconUrl>
+    <iconUrl>https://cdn.jsdelivr.net/gh/AdmiringWorm/chocolatey-packages@0557123379b71b0c289d0ca43351bc9f743141e4/icons/fstar.png</iconUrl>
     <licenseUrl>https://github.com/FStarLang/FStar/blob/master/LICENSE</licenseUrl>
     <requireLicenseAcceptance>true</requireLicenseAcceptance>
     <projectSourceUrl>https://github.com/FStarLang/FStar</projectSourceUrl>
@@ -18,8 +18,12 @@
     <tags>fstar programming_language proof_assistant dependent_type fsharp ocaml foss cross-platform</tags>
     <summary>An ML-like language aimed at program verification</summary>
     <!-- Do not touch the description here in the nuspec file. Description is imported during update from the Readme.md file -->
-    <description></description>
-    <releaseNotes>s</releaseNotes>
+    <description><![CDATA[F* (pronounced F star) is a general-purpose functional programming language with effects aimed at program verification. It puts together the automation of an SMT-backed deductive verification tool with the expressive power of a proof assistant based on dependent types. After verification, F* programs can be extracted to efficient OCaml, F#, or C code. This enables verifying the functional correctness and security of realistic applications, such as a verified HTTPS stack.
+
+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/v0.9.6.0)
+[Package Changelog](https://github.com/AdmiringWorm/chocolatey-packages/blob/master/fstar/Changelog.md)</releaseNotes>
   </metadata>
   <files>
     <file src="legal\**" target="legal" />

diff --git a/automatic/fstar/legal/VERIFICATION.txt b/automatic/fstar/legal/VERIFICATION.txt
@@ -12,7 +12,7 @@ and can be verified by doing the following:
   - Use chocolatey utility 'checksum.exe'
 3. The checksums should match the following:
 
-  checksum type:
-  checksum:
+  checksum type: sha256
+  checksum: 566139126C1F8DCB0B2A398E6C3779FA16EE15E2B9C96EA7749DADE5B7F05806
 
 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,9 +5,9 @@ $toolsPath = Split-Path -parent $MyInvocation.MyCommand.Definition
 $packageArgs = @{
   packageName = $env:ChocolateyPackageName
   file        = ''
-  file64      = "$toolsPath\"
+  file64      = "$toolsPath\fstar_0.9.6.0_Windows_x64.zip"
   destination = $toolsPath
 }
 
 Get-ChocolateyUnzip @packageArgs
-rm $toolsPath\*.zip -ea 0
+Remove-Item $toolsPath\*.zip -ea 0
diff --git a/automatic/rssguard/Changelog.md b/automatic/rssguard/Changelog.md
@@ -1,5 +1,6 @@
 # ![Rss Guard Changelog](https://img.shields.io/badge/Rss%20Guard-Package%20Changelog-blue.svg?style=for-the-badge)
 
-## UPCOMING
-- Taken over as the maintainer of the rssguard package
+## Version: 3.5.6.20181017 (2018-10-17)
 - **ENHANCEMENT:** Embedded the rssguard package
+- Taken over as the maintainer of the rssguard package
+
diff --git a/automatic/rssguard/Readme.md b/automatic/rssguard/Readme.md
@@ -1,3 +1,3 @@
-# [<img src="https://cdn.jsdelivr.net/gh/AdmiringWorm/chocolatey-packages@752bfa80d1bad1a4cc05b50d2d2bda7ccb2732f0/icons/rssguard.png" height="48" width="48" /> ![Rss Guard](https://img.shields.io/chocolatey/v/rssguard.svg?label=Rss%20Guard&style=for-the-badge)](https://chocolatey.org/packages/rssguard)
+# [<img src="https://cdn.jsdelivr.net/gh/AdmiringWorm/chocolatey-packages@65eb2336a848018e45cd35b91549c0feec221dd8/icons/rssguard.png" height="48" width="48" /> ![Rss Guard](https://img.shields.io/chocolatey/v/rssguard.svg?label=Rss%20Guard&style=for-the-badge)](https://chocolatey.org/packages/rssguard)
 
 RSS Guard is simple, light and easy-to-use RSS/ATOM feed aggregator developed using Qt framework which supports online feed synchronization.
diff --git a/automatic/rssguard/legal/VERIFICATION.txt b/automatic/rssguard/legal/VERIFICATION.txt
@@ -6,13 +6,13 @@ The embedded software have been downloaded from the listed download
 location on <https://github.com/martinrotter/rssguard/releases>
 and can be verified by doing the following:
 
-1. Download the following <>
+1. Download the following <https://github.com/martinrotter/rssguard/releases/download/3.5.6/rssguard-3.5.6-50af26f-win64.7z>
 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:
-  checksum:
+  checksum type: sha256
+  checksum: 0B8D0A96963441A3B8FB0ADA291BEB963A32DC90D496E15896A96961D6AD9FC5
 
 The file 'LICENSE.txt' has been obtained from <https://github.com/martinrotter/rssguard/blob/4dd04d6db544a665b1d87a7f9478766cdf3c687e/LICENSE.md>
diff --git a/automatic/rssguard/rssguard.json b/automatic/rssguard/rssguard.json
@@ -1,3 +1,3 @@
-{
-  "3.5": "3.5.6"
+{
+    "3.5":  "3.5.6.20181017"
 }
diff --git a/automatic/rssguard/rssguard.nuspec b/automatic/rssguard/rssguard.nuspec
@@ -2,14 +2,14 @@
 <!-- Do not remove this test for UTF-8: if “Ω” doesn’t appear as greek uppercase omega letter enclosed in quotation marks, you should use an editor that supports UTF-8, not this one. -->
 <package xmlns="http://schemas.microsoft.com/packaging/2015/06/nuspec.xsd">
   <metadata>
-    <id>rssguard</id>
-    <version>3.5.6</version>
+    <id>RssGuard</id>
+    <version>3.5.6.20181017</version>
     <packageSourceUrl>https://github.com/AdmiringWorm/chocolatey-packages/tree/master/automatic/rssguard</packageSourceUrl>
     <owners>AdmiringWorm, chantisnake</owners>
     <title>Rss Guard</title>
     <authors>martinrotter</authors>
     <projectUrl>https://github.com/martinrotter/rssguard</projectUrl>
-    <iconUrl>https://cdn.jsdelivr.net/gh/AdmiringWorm/chocolatey-packages@752bfa80d1bad1a4cc05b50d2d2bda7ccb2732f0/icons/rssguard.png</iconUrl>
+    <iconUrl>https://cdn.jsdelivr.net/gh/AdmiringWorm/chocolatey-packages@65eb2336a848018e45cd35b91549c0feec221dd8/icons/rssguard.png</iconUrl>
     <licenseUrl>https://github.com/martinrotter/rssguard/blob/master/LICENSE.md</licenseUrl>
     <requireLicenseAcceptance>true</requireLicenseAcceptance>
     <projectSourceUrl>https://github.com/martinrotter/rssguard</projectSourceUrl>
@@ -18,28 +18,10 @@
     <tags>rssguard rss qt foss cross-platform</tags>
     <summary>RSS Guard is simple (yet powerful) feed reader. This is the official project repository.</summary>
     <!-- Do not touch the description here in the nuspec file. Description is imported during update from the Readme.md file -->
-    <description>RSS Guard
-=========
-
-[![AppVeyor](https://img.shields.io/appveyor/ci/martinrotter/rssguard.svg?maxAge=360)](https://ci.appveyor.com/project/martinrotter/rssguard)
-[![Travis CI](https://img.shields.io/travis/martinrotter/rssguard.svg?maxAge=360)](https://travis-ci.org/martinrotter/rssguard)
-[![Total downloads](https://img.shields.io/github/downloads/martinrotter/rssguard/total.svg?maxAge=360)](#)
-[![Version](https://img.shields.io/github/release/martinrotter/rssguard.svg?maxAge=360)](#)
-[![GitHub issues](https://img.shields.io/github/issues/martinrotter/rssguard.svg?maxAge=360)](#)
-[![AUR](https://img.shields.io/aur/votes/rssguard.svg?maxAge=3600)](https://aur.archlinux.org/packages/rssguard/)
-[![License](https://img.shields.io/github/license/martinrotter/rssguard.svg?maxAge=360000)](#)
-
-Welcome to RSS Guard website. You can find here basic information.
-
-RSS Guard is simple, light and easy-to-use RSS/ATOM feed aggregator developed using Qt framework which supports online feed synchronization.
-
-#### You can support this project via donations [HERE](https://www.paypal.com/cgi-bin/webscr?cmd=_s-xclick&amp;hosted_button_id=XMWPLPK893VH4).
-
-#### See [Wiki](https://github.com/martinrotter/rssguard/wiki) for more information about features, download links and other stuff.</description>
-    <releaseNotes>
-[Software Changelog](https://github.com/martinrotter/rssguard/releases/tag/3.5.6)
-[Package Changelog](https://github.com/AdmiringWorm/chocolatey-packages/blob/master/rssguard/Changelog.md)
-    </releaseNotes>
+    <description><![CDATA[RSS Guard is simple, light and easy-to-use RSS/ATOM feed aggregator developed using Qt framework which supports online feed synchronization.
+]]></description>
+    <releaseNotes>[Software Changelog](https://github.com/martinrotter/rssguard/releases/tag/3.5.6)
+  [Package Changelog](https://github.com/AdmiringWorm/chocolatey-packages/blob/master/rssguard/Changelog.md)</releaseNotes>
     <dependencies>
       <dependency id="chocolatey-core.extension" version="1.3.3" />
     </dependencies>

diff --git a/automatic/rssguard/tools/chocolateyinstall.ps1 b/automatic/rssguard/tools/chocolateyinstall.ps1
@@ -5,9 +5,9 @@ $toolsPath = Split-Path -parent $MyInvocation.MyCommand.Definition
 $packageArgs = @{
   packageName = $env:ChocolateyPackageName
   file        = ''
-  file64      = "$toolsPath\"
+  file64      = "$toolsPath\rssguard-3.5.6-50af26f-win64.7z"
   destination = $toolsPath
 }
 
 Get-ChocolateyUnzip @packageArgs
-rm $toolsPath\*.zip -ea 0
+Remove-Item $toolsPath\*.zip -ea 0