AU: 1 updated - Coq

[skip ci] https://gist.github.com/747b3ede98c9404e5cb6a399595e7ad1/6c9b82444eae15ea20b4fd97ccbdaa3bd2dbc5cf
AdmiringWorm · Feb 17, 2018 · 4ee35e0 · 4ee35e0
1 parent edfb0dd
commit 4ee35e0
Show file tree

Hide file tree

Showing 4 changed files with 10 additions and 10 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.7.1</version>
+    <version>8.7.2</version>
     <packageSourceUrl>https://github.com/AdmiringWorm/chocolatey-packages/tree/master/automatic/coq</packageSourceUrl>
     <owners>AdmiringWorm, murray</owners>
     <title>The Coq proof assistant</title>

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.7.1/coq-8.7.1-installer-windows-i686.exe>
-  64-Bit software: <https://github.com/coq/coq/releases/download/V8.7.1/coq-8.7.1-installer-windows-x86_64.exe>
+  32-Bit software: <https://github.com/coq/coq/releases/download/V8.7.2/coq-8.7.2-installer-windows-i686.exe>
+  64-Bit software: <https://github.com/coq/coq/releases/download/V8.7.2/coq-8.7.2-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: 537263A23A978CC8F281F208259DC23CB26EE93191D24B8A4C7FC6873856D187
-  checksum64: 7696F2326831E227B7BF5F3EC569D9C34B8E8F5BDD8ABFD4AA97E317DBA5569B
+  checksum32: D2AFDA8871279E8B04601C07A429B46CBE13431ED7BAD92D9099EBE143E251B6
+  checksum64: 37ACBECEF6450CD6B3E55224A8327AF139A8437DDAB811953AC9CB37B8A768EB
 
 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,13 +5,13 @@ $toolsPath = Split-Path -parent $MyInvocation.MyCommand.Definition
 $packageArgs = @{
   packageName    = $env:ChocolateyPackageName
   fileType       = 'exe'
-  file           = "$toolsPath\coq-8.7.1-installer-windows-i686.exe"
-  file64         = "$toolsPath\coq-8.7.1-installer-windows-x86_64.exe"
+  file           = "$toolsPath\coq-8.7.2-installer-windows-i686.exe"
+  file64         = "$toolsPath\coq-8.7.2-installer-windows-x86_64.exe"
   softwareName   = 'coq*'
   silentArgs     = '/S'
   validExitCodes = @(0)
 }
 
 Install-ChocolateyInstallPackage @packageArgs
 
-ls $toolsPath\*.exe | % { rm $_ -ea 0; if (Test-Path $_) { sc "$_.ignore" } }
+Get-ChildItem $toolsPath\*.exe | ForEach-Object { Remove-Item $_ -ea 0; if (Test-Path $_) { Set-Content "$_.ignore" } }
diff --git a/automatic/coq/tools/chocolateyUninstall.ps1 b/automatic/coq/tools/chocolateyUninstall.ps1
@@ -13,7 +13,7 @@ $uninstalled = $false
 [array]$key = Get-UninstallRegistryKey @packageArgs
 
 if ($key.Count -eq 1) {
-  $key | % {
+  $key | ForEach-Object {
     $packageArgs['file'] = "$($_.UninstallString)"
 
     Uninstall-ChocolateyPackage @packageArgs
@@ -24,5 +24,5 @@ if ($key.Count -eq 1) {
   Write-Warning "$($key.Count) matches found!"
   Write-Warning "To prevent accidental data loss, no programs will be uninstalled."
   Write-Warning "Please alert the package maintainer that the following keys were matched:"
-  $key | % { Write-Warning "- $($_.DisplayName)" }
+  $key | ForEach-Object { Write-Warning "- $($_.DisplayName)" }
 }