From 4ee35e031e5eb9cc296854031731fa720f71eeaf Mon Sep 17 00:00:00 2001
From: Chocolatey <chocolatey@realdimensions.net>
Date: Sat, 17 Feb 2018 08:11:27 +0000
Subject: [PATCH] AU: 1 updated - Coq [skip ci]
 https://gist.github.com/747b3ede98c9404e5cb6a399595e7ad1/6c9b82444eae15ea20b4fd97ccbdaa3bd2dbc5cf

---
 automatic/coq/coq.nuspec                    | 2 +-
 automatic/coq/legal/VERIFICATION.txt        | 8 ++++----
 automatic/coq/tools/chocolateyInstall.ps1   | 6 +++---
 automatic/coq/tools/chocolateyUninstall.ps1 | 4 ++--
 4 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/automatic/coq/coq.nuspec b/automatic/coq/coq.nuspec
index e58c77f76..403af28c7 100644
--- 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
index 05661addd..ee9afa069 100644
--- 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
index cb55c4a37..870a13204 100644
--- 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.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)
@@ -14,4 +14,4 @@ $packageArgs = @{
 
 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
index d557f4fc8..7e3787b9f 100644
--- 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)" }
 }