AU: 1 updated - Coq

[skip ci] https://gist.github.com/747b3ede98c9404e5cb6a399595e7ad1/584194bd04fbfbb9440814a066899da98bc7778c
AdmiringWorm · Jul 9, 2018 · 47b52a5 · 47b52a5
1 parent 857ea0b
commit 47b52a5
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 8 deletions.
diff --git a/automatic/coq/coq.nuspec b/automatic/coq/coq.nuspec
@@ -3,7 +3,7 @@
 <package xmlns="http://schemas.microsoft.com/packaging/2015/06/nuspec.xsd">
   <metadata>
     <id>Coq</id>
-    <version>8.8.0</version>
+    <version>8.8.1</version>
     <packageSourceUrl>https://github.com/AdmiringWorm/chocolatey-packages/tree/master/automatic/coq</packageSourceUrl>
     <owners>AdmiringWorm, murray</owners>
     <title>The Coq proof assistant</title>
@@ -35,7 +35,7 @@ As a proof development system, Coq provides interactive proof methods, decision
 As a platform for the formalization of mathematics or the development of programs, Coq provides support for high-level notations, implicit contents and various other useful kinds of macros.
 ]]></description>
     <releaseNotes>
-[Software Changelog](https://github.com/coq/coq/blob/V8.8.0/CHANGES)
+[Software Changelog](https://github.com/coq/coq/blob/V8.8.1/CHANGES)
 [Package Changelog](https://github.com/AdmiringWorm/chocolatey-packages/blob/master/automatic/coq/Changelog.md)</releaseNotes>
     <dependencies>
       <dependency id="chocolatey-core.extension" version="1.3.3" />

diff --git a/automatic/coq/legal/VERIFICATION.txt b/automatic/coq/legal/VERIFICATION.txt
@@ -7,15 +7,15 @@ location on <https://github.com/coq/coq/releases/latest>
 and can be verified by doing the following:
 
 1. Download the following:
-  32-Bit software: <https://github.com/coq/coq/releases/download/V8.8.0/coq-8.8.0-installer-windows-i686.exe>
-  64-Bit software: <https://github.com/coq/coq/releases/download/V8.8.0/coq-8.8.0-installer-windows-x86_64.exe>
+  32-Bit software: <https://github.com/coq/coq/releases/download/V8.8.1/coq-8.8.1-installer-windows-i686.exe>
+  64-Bit software: <https://github.com/coq/coq/releases/download/V8.8.1/coq-8.8.1-installer-windows-x86_64.exe>
 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
-  checksum32: 8771E3D846ADE62A10EAE3D6E34B6C3B5C403AF07A6E09122C44867AA79B05E3
-  checksum64: FFDBB359A0B41E9679E697123AD016952A88C7642FE49CB0046ECCF0AC4472AF
+  checksum32: 71535E4753AB4C2C43CE69332F918BD4FDB8F1A48614602779585F1D73C22C06
+  checksum64: 2D07A5BDE119D231F19F541D50FB8CF7523E855021AA8E31FA78FABE50FE6224
 
 The file 'LICENSE.txt' has been obtained from <https://github.com/coq/coq/blob/27950e8d20578abb2b348618feb28f0426638820/LICENSE>
diff --git a/automatic/coq/tools/chocolateyInstall.ps1 b/automatic/coq/tools/chocolateyInstall.ps1
@@ -5,8 +5,8 @@ $toolsPath = Split-Path -parent $MyInvocation.MyCommand.Definition
 $packageArgs = @{
   packageName    = $env:ChocolateyPackageName
   fileType       = 'exe'
-  file           = "$toolsPath\coq-8.8.0-installer-windows-i686.exe"
-  file64         = "$toolsPath\coq-8.8.0-installer-windows-x86_64.exe"
+  file           = "$toolsPath\coq-8.8.1-installer-windows-i686.exe"
+  file64         = "$toolsPath\coq-8.8.1-installer-windows-x86_64.exe"
   softwareName   = 'coq*'
   silentArgs     = '/S'
   validExitCodes = @(0)