Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
Coq v8.12.0 - Passed - Package Tests Results
<?xml version="1.0" encoding="utf-8"?>
<registrySnapshot xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
<user>S-1-5-21-1953236517-242735908-2433092285-500</user>
<keys>
<key installerType="Unknown" displayName="Coq Version 8.12.0" displayVersion="8.12.0">
<RegistryView>Registry32</RegistryView>
<KeyPath>HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\Windows\CurrentVersion\Uninstall\Coq</KeyPath>
<DefaultValue />
<InstallLocation><![CDATA[]]></InstallLocation>
<UninstallString><![CDATA["C:\Coq\Uninstall.exe"]]></UninstallString>
<HasQuietUninstall>false</HasQuietUninstall>
<Publisher><![CDATA[]]></Publisher>
<InstallDate />
<InstallSource><![CDATA[]]></InstallSource>
<Language />
<Version />
<VersionMajor />
<VersionMinor />
<SystemComponent>false</SystemComponent>
<WindowsInstaller>false</WindowsInstaller>
<NoRemove>false</NoRemove>
<NoModify>true</NoModify>
<NoRepair>true</NoRepair>
<ReleaseType />
<ParentKeyName />
</key>
</keys>
</registrySnapshot>

Coq v8.12.0 - Passed - Package Test Results

  • https://chocolatey.org/packages/Coq/8.12.0
  • Tested 27 Jul 2020 20:36:12 +00:00
  • Tested against win2012r2x64 (Windows Server 2012 R2 x64)
  • Tested with the latest version of choco, possibly a beta version.
  • Tested with chocolatey-package-verifier service v0.4.0-38-g3187e94
  • Install was successful.
  • Uninstall was successful.
<?xml version="1.0" encoding="utf-8"?>
<fileSnapshot xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
<files>
<file path="C:\ProgramData\chocolatey\lib\Coq\Coq.nupkg" checksum="F12B2723D16224B4CDBBA8DD45613263" />
<file path="C:\ProgramData\chocolatey\lib\Coq\Coq.nuspec" checksum="661AACA5DE1CE7F726566403D2540E16" />
<file path="C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyInstall.ps1" checksum="3891B89F2B3C285598122A4A79AF05F2" />
<file path="C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyUninstall.ps1" checksum="A985B284D16501E6678AF87FE34BA9EF" />
</files>
</fileSnapshot>
2020-07-27 20:28:30,074 2744 [DEBUG] - XmlConfiguration is now operational
2020-07-27 20:28:30,245 2744 [INFO ] - ============================================================
2020-07-27 20:28:30,880 2744 [INFO ] - Chocolatey v0.10.15
2020-07-27 20:28:30,910 2744 [DEBUG] - Chocolatey is running on Windows v 6.3.9600.0
2020-07-27 20:28:30,910 2744 [DEBUG] - Attempting to delete file "C:/ProgramData/chocolatey/choco.exe.old".
2020-07-27 20:28:30,910 2744 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\choco.exe.old".
2020-07-27 20:28:30,940 2744 [DEBUG] - Command line: "C:\ProgramData\chocolatey\choco.exe" install Coq --version 8.12.0 -fdvy --execution-timeout=5400 --allow-downgrade
2020-07-27 20:28:30,956 2744 [DEBUG] - Received arguments: install Coq --version 8.12.0 -fdvy --execution-timeout=5400 --allow-downgrade
2020-07-27 20:28:31,095 2744 [DEBUG] - RemovePendingPackagesTask is now ready and waiting for PreRunMessage.
2020-07-27 20:28:31,111 2744 [DEBUG] - Sending message 'PreRunMessage' out if there are subscribers...
2020-07-27 20:28:31,143 2744 [DEBUG] - [Pending] Removing all pending packages that should not be considered installed...
2020-07-27 20:28:31,343 2744 [DEBUG] - Performing validation checks.
2020-07-27 20:28:31,359 2744 [DEBUG] - Global Configuration Validation Checks:
2020-07-27 20:28:31,374 2744 [DEBUG] - - Package Exit Code / Exit On Reboot = Checked
2020-07-27 20:28:31,374 2744 [DEBUG] - System State Validation Checks:
2020-07-27 20:28:31,390 2744 [DEBUG] - Reboot Requirement Checks:
2020-07-27 20:28:31,421 2744 [DEBUG] - - Pending Computer Rename = Checked
2020-07-27 20:28:31,435 2744 [DEBUG] - - Pending Component Based Servicing = Checked
2020-07-27 20:28:31,435 2744 [DEBUG] - - Pending Windows Auto Update = Checked
2020-07-27 20:28:31,452 2744 [DEBUG] - - Pending File Rename Operations = Checked
2020-07-27 20:28:31,452 2744 [DEBUG] - - Pending Windows Package Installer = Checked
2020-07-27 20:28:31,466 2744 [DEBUG] - - Pending Windows Package Installer SysWow64 = Checked
2020-07-27 20:28:31,483 2744 [INFO ] - 2 validations performed. 2 success(es), 0 warning(s), and 0 error(s).
2020-07-27 20:28:31,497 2744 [DEBUG] - The source 'c:\cached-packages;https://chocolatey.org/api/v2/' evaluated to a 'normal' source type
2020-07-27 20:28:31,513 2744 [DEBUG] -
NOTE: Hiding sensitive configuration data! Please double and triple
check to be sure no sensitive data is shown, especially if copying
output to a gist for review.
2020-07-27 20:28:31,606 2744 [DEBUG] - Configuration: CommandName='install'|
CacheLocation='C:\Users\Administrator\AppData\Local\Temp\chocolatey'|
ContainsLegacyPackageInstalls='True'|
CommandExecutionTimeoutSeconds='5400'|WebRequestTimeoutSeconds='30'|
Sources='c:\cached-packages;https://chocolatey.org/api/v2/'|
SourceType='normal'|Debug='True'|Verbose='True'|Trace='False'|
Force='True'|Noop='False'|HelpRequested='False'|
UnsuccessfulParsing='False'|RegularOutput='True'|QuietOutput='False'|
PromptForConfirmation='False'|AcceptLicense='True'|
AllowUnofficialBuild='False'|Input='Coq'|Version='8.12.0'|
AllVersions='False'|SkipPackageInstallProvider='False'|
PackageNames='Coq'|Prerelease='False'|ForceX86='False'|
OverrideArguments='False'|NotSilent='False'|
ApplyPackageParametersToDependencies='False'|
ApplyInstallArgumentsToDependencies='False'|IgnoreDependencies='False'|
AllowMultipleVersions='False'|AllowDowngrade='True'|
ForceDependencies='False'|Information.PlatformType='Windows'|
Information.PlatformVersion='6.3.9600.0'|
Information.PlatformName='Windows Server 2012 R2'|
Information.ChocolateyVersion='0.10.15.0'|
Information.ChocolateyProductVersion='0.10.15'|
Information.FullName='choco, Version=0.10.15.0, Culture=neutral, PublicKeyToken=79d02ea9cad655eb'|
Information.Is64BitOperatingSystem='True'|
Information.Is64BitProcess='True'|Information.IsInteractive='True'|
Information.UserName='vagrant'|
Information.UserDomainName='WIN-E5K8TM30719'|
Information.IsUserAdministrator='True'|
Information.IsUserSystemAccount='False'|
Information.IsUserRemoteDesktop='False'|
Information.IsUserRemote='True'|
Information.IsProcessElevated='True'|
Information.IsLicensedVersion='False'|Information.LicenseType='Foss'|
Information.CurrentDirectory='C:\Windows\system32'|
Features.AutoUninstaller='True'|Features.ChecksumFiles='True'|
Features.AllowEmptyChecksums='False'|
Features.AllowEmptyChecksumsSecure='True'|
Features.FailOnAutoUninstaller='False'|
Features.FailOnStandardError='False'|Features.UsePowerShellHost='True'|
Features.LogEnvironmentValues='True'|Features.LogWithoutColor='False'|
Features.VirusCheck='False'|
Features.FailOnInvalidOrMissingLicense='False'|
Features.IgnoreInvalidOptionsSwitches='True'|
Features.UsePackageExitCodes='True'|
Features.UseEnhancedExitCodes='False'|
Features.UseFipsCompliantChecksums='False'|
Features.ShowNonElevatedWarnings='True'|
Features.ShowDownloadProgress='False'|
Features.StopOnFirstPackageFailure='False'|
Features.UseRememberedArgumentsForUpgrades='False'|
Features.IgnoreUnfoundPackagesOnUpgradeOutdated='False'|
Features.SkipPackageUpgradesWhenNotInstalled='False'|
Features.RemovePackageInformationOnUninstall='False'|
Features.ExitOnRebootDetected='False'|
Features.LogValidationResultsOnWarnings='True'|
Features.UsePackageRepositoryOptimizations='True'|
Features.ScriptsCheckLastExitCode='False'|
ListCommand.LocalOnly='False'|
ListCommand.IdOnly='False'|ListCommand.IncludeRegistryPrograms='False'|
ListCommand.PageSize='25'|ListCommand.Exact='False'|
ListCommand.ByIdOnly='False'|ListCommand.ByTagOnly='False'|
ListCommand.IdStartsWith='False'|ListCommand.OrderByPopularity='False'|
ListCommand.ApprovedOnly='False'|
ListCommand.DownloadCacheAvailable='False'|
ListCommand.NotBroken='False'|
ListCommand.IncludeVersionOverrides='False'|
UpgradeCommand.FailOnUnfound='False'|
UpgradeCommand.FailOnNotInstalled='False'|
UpgradeCommand.NotifyOnlyAvailableUpgrades='False'|
UpgradeCommand.ExcludePrerelease='False'|
NewCommand.AutomaticPackage='False'|
NewCommand.UseOriginalTemplate='False'|SourceCommand.Command='unknown'|
SourceCommand.Priority='0'|SourceCommand.BypassProxy='False'|
SourceCommand.AllowSelfService='False'|
SourceCommand.VisibleToAdminsOnly='False'|
FeatureCommand.Command='unknown'|ConfigCommand.Command='unknown'|
ApiKeyCommand.Remove='False'|PinCommand.Command='unknown'|
OutdatedCommand.IgnorePinned='False'|Proxy.BypassOnLocal='True'|
2020-07-27 20:28:31,606 2744 [DEBUG] - _ Chocolatey:ChocolateyInstallCommand - Normal Run Mode _
2020-07-27 20:28:31,760 2744 [INFO ] - Installing the following packages:
2020-07-27 20:28:31,777 2744 [INFO ] - Coq
2020-07-27 20:28:31,777 2744 [INFO ] - By installing you accept licenses for the packages.
2020-07-27 20:28:31,822 2744 [DEBUG] - Current environment values (may contain sensitive data):
2020-07-27 20:28:31,822 2744 [DEBUG] - * 'TMP'='C:\Users\Administrator\AppData\Local\Temp' ('User')
2020-07-27 20:28:31,838 2744 [DEBUG] - * 'TEMP'='C:\Users\Administrator\AppData\Local\Temp' ('User')
2020-07-27 20:28:31,838 2744 [DEBUG] - * 'ChocolateyLastPathUpdate'='132400658289071043' ('User')
2020-07-27 20:28:31,853 2744 [DEBUG] - * 'FP_NO_HOST_CHECK'='NO' ('Machine')
2020-07-27 20:28:31,853 2744 [DEBUG] - * 'USERNAME'='SYSTEM' ('Machine')
2020-07-27 20:28:31,915 2744 [DEBUG] - * 'Path'='C:\Windows\system32;C:\Windows;C:\Windows\System32\Wbem;C:\Windows\System32\WindowsPowerShell\v1.0\;C:\Program Files (x86)\Git\cmd;C:\Program Files (x86)\Git\bin;C:\ProgramData\chocolatey\bin;' ('Machine')
2020-07-27 20:28:31,915 2744 [DEBUG] - * 'ComSpec'='C:\Windows\system32\cmd.exe' ('Machine')
2020-07-27 20:28:31,930 2744 [DEBUG] - * 'TMP'='C:\Windows\TEMP' ('Machine')
2020-07-27 20:28:31,930 2744 [DEBUG] - * 'OS'='Windows_NT' ('Machine')
2020-07-27 20:28:31,930 2744 [DEBUG] - * 'windir'='C:\Windows' ('Machine')
2020-07-27 20:28:31,945 2744 [DEBUG] - * 'PROCESSOR_ARCHITECTURE'='AMD64' ('Machine')
2020-07-27 20:28:31,945 2744 [DEBUG] - * 'TEMP'='C:\Windows\TEMP' ('Machine')
2020-07-27 20:28:31,962 2744 [DEBUG] - * 'PATHEXT'='.COM;.EXE;.BAT;.CMD;.VBS;.VBE;.JS;.JSE;.WSF;.WSH;.MSC' ('Machine')
2020-07-27 20:28:31,962 2744 [DEBUG] - * 'PSModulePath'='C:\Windows\system32\WindowsPowerShell\v1.0\Modules\' ('Machine')
2020-07-27 20:28:31,976 2744 [DEBUG] - * 'NUMBER_OF_PROCESSORS'='1' ('Machine')
2020-07-27 20:28:31,976 2744 [DEBUG] - * 'PROCESSOR_LEVEL'='16' ('Machine')
2020-07-27 20:28:31,992 2744 [DEBUG] - * 'PROCESSOR_IDENTIFIER'='AMD64 Family 16 Model 6 Stepping 3, AuthenticAMD' ('Machine')
2020-07-27 20:28:31,992 2744 [DEBUG] - * 'PROCESSOR_REVISION'='0603' ('Machine')
2020-07-27 20:28:32,008 2744 [DEBUG] - * 'HOME'='C:\Users\Administrator' ('Machine')
2020-07-27 20:28:32,008 2744 [DEBUG] - * 'ChocolateyInstall'='C:\ProgramData\chocolatey' ('Machine')
2020-07-27 20:28:35,240 2744 [INFO ] - [NuGet] Attempting to resolve dependency 'chocolatey-core.extension (= 1.3.3)'.
2020-07-27 20:28:37,376 2744 [INFO ] - [NuGet] Installing 'chocolatey-core.extension 1.3.5.1'.
2020-07-27 20:28:37,404 2744 [DEBUG] - [NuGet] Added file 'chocolatey-core.psm1' to folder 'chocolatey-core.extension\extensions'.
2020-07-27 20:28:37,404 2744 [DEBUG] - [NuGet] Added file 'Get-AppInstallLocation.ps1' to folder 'chocolatey-core.extension\extensions'.
2020-07-27 20:28:37,417 2744 [DEBUG] - [NuGet] Added file 'Get-AvailableDriveLetter.ps1' to folder 'chocolatey-core.extension\extensions'.
2020-07-27 20:28:37,417 2744 [DEBUG] - [NuGet] Added file 'Get-EffectiveProxy.ps1' to folder 'chocolatey-core.extension\extensions'.
2020-07-27 20:28:37,473 2744 [DEBUG] - [NuGet] Added file 'Get-PackageCacheLocation.ps1' to folder 'chocolatey-core.extension\extensions'.
2020-07-27 20:28:37,473 2744 [DEBUG] - [NuGet] Added file 'Get-PackageParameters.ps1' to folder 'chocolatey-core.extension\extensions'.
2020-07-27 20:28:37,488 2744 [DEBUG] - [NuGet] Added file 'Get-UninstallRegistryKey.ps1' to folder 'chocolatey-core.extension\extensions'.
2020-07-27 20:28:37,488 2744 [DEBUG] - [NuGet] Added file 'Get-WebContent.ps1' to folder 'chocolatey-core.extension\extensions'.
2020-07-27 20:28:37,500 2744 [DEBUG] - [NuGet] Added file 'Register-Application.ps1' to folder 'chocolatey-core.extension\extensions'.
2020-07-27 20:28:37,500 2744 [DEBUG] - [NuGet] Added file 'Remove-Process.ps1' to folder 'chocolatey-core.extension\extensions'.
2020-07-27 20:28:37,528 2744 [DEBUG] - [NuGet] Added file 'chocolatey-core.extension.nupkg' to folder 'chocolatey-core.extension'.
2020-07-27 20:28:37,933 2744 [DEBUG] - [NuGet] Added file 'chocolatey-core.extension.nuspec' to folder 'chocolatey-core.extension'.
2020-07-27 20:28:37,933 2744 [INFO ] - [NuGet] Successfully installed 'chocolatey-core.extension 1.3.5.1'.
2020-07-27 20:28:37,947 2744 [INFO ] -
chocolatey-core.extension v1.3.5.1 (forced)
2020-07-27 20:28:37,988 2744 [INFO ] - chocolatey-core.extension package files install completed. Performing other installation steps.
2020-07-27 20:28:38,462 2744 [DEBUG] - Capturing package files in 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension'
2020-07-27 20:28:38,462 2744 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\chocolatey-core.extension.nupkg'
with checksum '7F066B11D65D07704BDB0A9D8FB4437F'
2020-07-27 20:28:38,475 2744 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\chocolatey-core.extension.nuspec'
with checksum 'D71F7B1D873058AA1A6CE4EA7CD21AE8'
2020-07-27 20:28:38,475 2744 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\chocolatey-core.psm1'
with checksum '8007E67FDE249548DBF78D1DC8AFDCCC'
2020-07-27 20:28:38,475 2744 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Get-AppInstallLocation.ps1'
with checksum 'D036C97BC50A3731BF69A15417F60E72'
2020-07-27 20:28:38,475 2744 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Get-AvailableDriveLetter.ps1'
with checksum '2F386746AFC2ACB9561DFB245239B93F'
2020-07-27 20:28:38,489 2744 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Get-EffectiveProxy.ps1'
with checksum '3895F062D2D91D9D32D1FC57A619066C'
2020-07-27 20:28:38,489 2744 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Get-PackageCacheLocation.ps1'
with checksum '77A378E5C659E5A53D2D64E276159B62'
2020-07-27 20:28:38,489 2744 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Get-PackageParameters.ps1'
with checksum 'C08B3AF8CA150B6609DF2B978B693269'
2020-07-27 20:28:38,489 2744 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Get-UninstallRegistryKey.ps1'
with checksum '3FAA5C11AAFC4EA35BB98EA797446C97'
2020-07-27 20:28:38,503 2744 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Get-WebContent.ps1'
with checksum '57D013E581EFEA3D4D8366183C9A5797'
2020-07-27 20:28:38,503 2744 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Register-Application.ps1'
with checksum 'D2853E569DAC9A341642BA76EC4FB411'
2020-07-27 20:28:38,503 2744 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Remove-Process.ps1'
with checksum 'CFDFB899BE8491454B264BF7C5EF08BA'
2020-07-27 20:28:38,545 2744 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\extensions".
2020-07-27 20:28:38,559 2744 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\extensions\chocolatey-core".
2020-07-27 20:28:38,573 2744 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\chocolatey-core.psm1"
to "C:\ProgramData\chocolatey\extensions\chocolatey-core\chocolatey-core.psm1".
2020-07-27 20:28:38,586 2744 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Get-AppInstallLocation.ps1"
to "C:\ProgramData\chocolatey\extensions\chocolatey-core\Get-AppInstallLocation.ps1".
2020-07-27 20:28:38,586 2744 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Get-AvailableDriveLetter.ps1"
to "C:\ProgramData\chocolatey\extensions\chocolatey-core\Get-AvailableDriveLetter.ps1".
2020-07-27 20:28:38,600 2744 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Get-EffectiveProxy.ps1"
to "C:\ProgramData\chocolatey\extensions\chocolatey-core\Get-EffectiveProxy.ps1".
2020-07-27 20:28:38,600 2744 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Get-PackageCacheLocation.ps1"
to "C:\ProgramData\chocolatey\extensions\chocolatey-core\Get-PackageCacheLocation.ps1".
2020-07-27 20:28:38,614 2744 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Get-PackageParameters.ps1"
to "C:\ProgramData\chocolatey\extensions\chocolatey-core\Get-PackageParameters.ps1".
2020-07-27 20:28:38,614 2744 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Get-UninstallRegistryKey.ps1"
to "C:\ProgramData\chocolatey\extensions\chocolatey-core\Get-UninstallRegistryKey.ps1".
2020-07-27 20:28:38,628 2744 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Get-WebContent.ps1"
to "C:\ProgramData\chocolatey\extensions\chocolatey-core\Get-WebContent.ps1".
2020-07-27 20:28:38,628 2744 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Register-Application.ps1"
to "C:\ProgramData\chocolatey\extensions\chocolatey-core\Register-Application.ps1".
2020-07-27 20:28:38,643 2744 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Remove-Process.ps1"
to "C:\ProgramData\chocolatey\extensions\chocolatey-core\Remove-Process.ps1".
2020-07-27 20:28:39,994 2744 [WARN ] - Installed/updated chocolatey-core extensions.
2020-07-27 20:28:40,118 2744 [DEBUG] - Adding 'Hidden' attribute(s) to 'C:\ProgramData\chocolatey\.chocolatey'.
2020-07-27 20:28:40,160 2744 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\.chocolatey\chocolatey-core.extension.1.3.5.1".
2020-07-27 20:28:40,215 2744 [DEBUG] - There was no original file at 'C:\ProgramData\chocolatey\.chocolatey\chocolatey-core.extension.1.3.5.1\.files'
2020-07-27 20:28:40,229 2744 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\chocolatey-core.extension.1.3.5.1\.extra".
2020-07-27 20:28:40,243 2744 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\chocolatey-core.extension.1.3.5.1\.version".
2020-07-27 20:28:40,243 2744 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\chocolatey-core.extension.1.3.5.1\.sxs".
2020-07-27 20:28:40,258 2744 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\chocolatey-core.extension.1.3.5.1\.pin".
2020-07-27 20:28:40,271 2744 [DEBUG] - Sending message 'HandlePackageResultCompletedMessage' out if there are subscribers...
2020-07-27 20:28:40,285 2744 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\chocolatey-core.extension\.chocolateyPending".
2020-07-27 20:28:40,299 2744 [INFO ] - The install of chocolatey-core.extension was successful.
2020-07-27 20:28:40,314 2744 [INFO ] - Software installed to 'C:\ProgramData\chocolatey\extensions\chocolatey-core'
2020-07-27 20:28:40,327 2744 [INFO ] - [NuGet] Installing 'Coq 8.12.0'.
2020-07-27 20:28:40,327 2744 [DEBUG] - [NuGet] Added file 'chocolateyInstall.ps1' to folder 'Coq\tools'.
2020-07-27 20:28:40,341 2744 [DEBUG] - [NuGet] Added file 'chocolateyUninstall.ps1' to folder 'Coq\tools'.
2020-07-27 20:28:40,354 2744 [DEBUG] - [NuGet] Added file 'Coq.nupkg' to folder 'Coq'.
2020-07-27 20:28:40,563 2744 [DEBUG] - [NuGet] Added file 'Coq.nuspec' to folder 'Coq'.
2020-07-27 20:28:40,563 2744 [INFO ] - [NuGet] Successfully installed 'Coq 8.12.0'.
2020-07-27 20:28:40,563 2744 [INFO ] -
Coq v8.12.0 (forced)
2020-07-27 20:28:40,563 2744 [INFO ] - coq package files install completed. Performing other installation steps.
2020-07-27 20:28:40,605 2744 [DEBUG] - Setting installer args for Coq
2020-07-27 20:28:40,605 2744 [DEBUG] - Setting package parameters for Coq
2020-07-27 20:28:40,605 2744 [DEBUG] - Contents of 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyInstall.ps1':
2020-07-27 20:28:40,634 2744 [DEBUG] - $ErrorActionPreference = 'Stop'
$packageArgs = @{
packageName = $env:ChocolateyPackageName
fileType = 'exe'
url = 'https://github.com/coq/coq/releases/download/V8.12.0/coq-8.12.0-installer-windows-i686.exe'
url64bit = 'https://github.com/coq/coq/releases/download/V8.12.0/coq-8.12.0-installer-windows-x86_64.exe'
softwareName = 'coq*'
checksum = '519b17b4c9bd893cf27b9228dd8359a104ba10159a4a8f90c55a33632776a3d9'
checksumType = 'sha256'
checksum64 = 'e957be5a013669215639e34f954727824f385b785d0e2a8bdf08a6078c26c1a6'
checksumType64 = 'sha256'
silentArgs = '/S'
validExitCodes = @(0)
}
Install-ChocolateyPackage @packageArgs
2020-07-27 20:28:40,842 2744 [DEBUG] - Calling built-in PowerShell host with ['[System.Threading.Thread]::CurrentThread.CurrentCulture = '';[System.Threading.Thread]::CurrentThread.CurrentUICulture = ''; & import-module -name 'C:\ProgramData\chocolatey\helpers\chocolateyInstaller.psm1'; & 'C:\ProgramData\chocolatey\helpers\chocolateyScriptRunner.ps1' -packageScript 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyInstall.ps1' -installArguments '' -packageParameters ''']
2020-07-27 20:28:40,842 2744 [DEBUG] - Redirecting System.Management.Automation.resources, Version=3.0.0.0, Culture=en-US, PublicKeyToken=31bf3856ad364e35, requested by ''
2020-07-27 20:28:41,789 2744 [DEBUG] - Host version is 4.0, PowerShell Version is '4.0' and CLR Version is '4.0.30319.33440'.
2020-07-27 20:28:42,123 2744 [INFO ] - VERBOSE: Exporting function 'Format-FileSize'.
2020-07-27 20:28:42,123 2744 [INFO ] - VERBOSE: Exporting function 'Get-ChecksumValid'.
2020-07-27 20:28:42,123 2744 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyUnzip'.
2020-07-27 20:28:42,137 2744 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyWebFile'.
2020-07-27 20:28:42,137 2744 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariable'.
2020-07-27 20:28:42,137 2744 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariableNames'.
2020-07-27 20:28:42,137 2744 [INFO ] - VERBOSE: Exporting function 'Get-FtpFile'.
2020-07-27 20:28:42,151 2744 [INFO ] - VERBOSE: Exporting function 'Get-OSArchitectureWidth'.
2020-07-27 20:28:42,151 2744 [INFO ] - VERBOSE: Exporting function 'Get-PackageParameters'.
2020-07-27 20:28:42,151 2744 [INFO ] - VERBOSE: Exporting function 'Get-PackageParametersBuiltIn'.
2020-07-27 20:28:42,151 2744 [INFO ] - VERBOSE: Exporting function 'Get-ToolsLocation'.
2020-07-27 20:28:42,165 2744 [INFO ] - VERBOSE: Exporting function 'Get-UACEnabled'.
2020-07-27 20:28:42,165 2744 [INFO ] - VERBOSE: Exporting function 'Get-UninstallRegistryKey'.
2020-07-27 20:28:42,165 2744 [INFO ] - VERBOSE: Exporting function 'Get-VirusCheckValid'.
2020-07-27 20:28:42,165 2744 [INFO ] - VERBOSE: Exporting function 'Get-WebFile'.
2020-07-27 20:28:42,179 2744 [INFO ] - VERBOSE: Exporting function 'Get-WebFileName'.
2020-07-27 20:28:42,179 2744 [INFO ] - VERBOSE: Exporting function 'Get-WebHeaders'.
2020-07-27 20:28:42,179 2744 [INFO ] - VERBOSE: Exporting function 'Install-BinFile'.
2020-07-27 20:28:42,192 2744 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyDesktopLink'.
2020-07-27 20:28:42,192 2744 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyEnvironmentVariable'.
2020-07-27 20:28:42,192 2744 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyExplorerMenuItem'.
2020-07-27 20:28:42,206 2744 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyFileAssociation'.
2020-07-27 20:28:42,206 2744 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyInstallPackage'.
2020-07-27 20:28:42,206 2744 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPackage'.
2020-07-27 20:28:42,220 2744 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPath'.
2020-07-27 20:28:42,220 2744 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPinnedTaskBarItem'.
2020-07-27 20:28:42,220 2744 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPowershellCommand'.
2020-07-27 20:28:42,235 2744 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyShortcut'.
2020-07-27 20:28:42,290 2744 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyVsixPackage'.
2020-07-27 20:28:42,290 2744 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyZipPackage'.
2020-07-27 20:28:42,304 2744 [INFO ] - VERBOSE: Exporting function 'Install-Vsix'.
2020-07-27 20:28:42,304 2744 [INFO ] - VERBOSE: Exporting function 'Set-EnvironmentVariable'.
2020-07-27 20:28:42,304 2744 [INFO ] - VERBOSE: Exporting function 'Set-PowerShellExitCode'.
2020-07-27 20:28:42,317 2744 [INFO ] - VERBOSE: Exporting function 'Start-ChocolateyProcessAsAdmin'.
2020-07-27 20:28:42,317 2744 [INFO ] - VERBOSE: Exporting function 'Test-ProcessAdminRights'.
2020-07-27 20:28:42,317 2744 [INFO ] - VERBOSE: Exporting function 'Uninstall-BinFile'.
2020-07-27 20:28:42,317 2744 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyEnvironmentVariable'.
2020-07-27 20:28:42,331 2744 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyPackage'.
2020-07-27 20:28:42,331 2744 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyZipPackage'.
2020-07-27 20:28:42,331 2744 [INFO ] - VERBOSE: Exporting function 'Update-SessionEnvironment'.
2020-07-27 20:28:42,346 2744 [INFO ] - VERBOSE: Exporting function 'Write-ChocolateyFailure'.
2020-07-27 20:28:42,346 2744 [INFO ] - VERBOSE: Exporting function 'Write-ChocolateySuccess'.
2020-07-27 20:28:42,346 2744 [INFO ] - VERBOSE: Exporting function 'Write-FileUpdateLog'.
2020-07-27 20:28:42,360 2744 [INFO ] - VERBOSE: Exporting function 'Write-FunctionCallLogMessage'.
2020-07-27 20:28:42,360 2744 [INFO ] - VERBOSE: Exporting alias 'Get-ProcessorBits'.
2020-07-27 20:28:42,360 2744 [INFO ] - VERBOSE: Exporting alias 'Get-OSBitness'.
2020-07-27 20:28:42,374 2744 [INFO ] - VERBOSE: Exporting alias 'Get-InstallRegistryKey'.
2020-07-27 20:28:42,374 2744 [INFO ] - VERBOSE: Exporting alias 'Generate-BinFile'.
2020-07-27 20:28:42,374 2744 [INFO ] - VERBOSE: Exporting alias 'Add-BinFile'.
2020-07-27 20:28:42,387 2744 [INFO ] - VERBOSE: Exporting alias 'Start-ChocolateyProcess'.
2020-07-27 20:28:42,387 2744 [INFO ] - VERBOSE: Exporting alias 'Invoke-ChocolateyProcess'.
2020-07-27 20:28:42,387 2744 [INFO ] - VERBOSE: Exporting alias 'Remove-BinFile'.
2020-07-27 20:28:42,387 2744 [INFO ] - VERBOSE: Exporting alias 'refreshenv'.
2020-07-27 20:28:42,430 2744 [DEBUG] - Loading community extensions
2020-07-27 20:28:42,457 2744 [DEBUG] - Importing 'C:\ProgramData\chocolatey\extensions\chocolatey-core\chocolatey-core.psm1'
2020-07-27 20:28:42,457 2744 [INFO ] - VERBOSE: Loading module from path 'C:\ProgramData\chocolatey\extensions\chocolatey-core\chocolatey-core.psm1'.
2020-07-27 20:28:42,778 2744 [INFO ] - VERBOSE: Exporting function 'Get-UninstallRegistryKey'.
2020-07-27 20:28:42,778 2744 [INFO ] - VERBOSE: Exporting function 'Get-AppInstallLocation'.
2020-07-27 20:28:42,791 2744 [INFO ] - VERBOSE: Exporting function 'Get-AvailableDriveLetter'.
2020-07-27 20:28:42,791 2744 [INFO ] - VERBOSE: Exporting function 'Get-EffectiveProxy'.
2020-07-27 20:28:42,791 2744 [INFO ] - VERBOSE: Exporting function 'Get-PackageCacheLocation'.
2020-07-27 20:28:42,805 2744 [INFO ] - VERBOSE: Exporting function 'Get-PackageParameters'.
2020-07-27 20:28:42,805 2744 [INFO ] - VERBOSE: Exporting function 'Get-WebContent'.
2020-07-27 20:28:42,805 2744 [INFO ] - VERBOSE: Exporting function 'Register-Application'.
2020-07-27 20:28:42,819 2744 [INFO ] - VERBOSE: Exporting function 'Remove-Process'.
2020-07-27 20:28:42,819 2744 [INFO ] - VERBOSE: Importing function 'Get-AppInstallLocation'.
2020-07-27 20:28:42,819 2744 [INFO ] - VERBOSE: Importing function 'Get-AvailableDriveLetter'.
2020-07-27 20:28:42,833 2744 [INFO ] - VERBOSE: Importing function 'Get-EffectiveProxy'.
2020-07-27 20:28:42,833 2744 [INFO ] - VERBOSE: Importing function 'Get-PackageCacheLocation'.
2020-07-27 20:28:42,833 2744 [INFO ] - VERBOSE: Importing function 'Get-PackageParameters'.
2020-07-27 20:28:42,847 2744 [INFO ] - VERBOSE: Importing function 'Get-UninstallRegistryKey'.
2020-07-27 20:28:42,847 2744 [INFO ] - VERBOSE: Importing function 'Get-WebContent'.
2020-07-27 20:28:42,861 2744 [INFO ] - VERBOSE: Importing function 'Register-Application'.
2020-07-27 20:28:42,861 2744 [INFO ] - VERBOSE: Importing function 'Remove-Process'.
2020-07-27 20:28:42,875 2744 [INFO ] - VERBOSE: Exporting function 'Format-FileSize'.
2020-07-27 20:28:42,875 2744 [INFO ] - VERBOSE: Exporting function 'Get-ChecksumValid'.
2020-07-27 20:28:42,889 2744 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyUnzip'.
2020-07-27 20:28:42,889 2744 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyWebFile'.
2020-07-27 20:28:42,889 2744 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariable'.
2020-07-27 20:28:42,902 2744 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariableNames'.
2020-07-27 20:28:42,902 2744 [INFO ] - VERBOSE: Exporting function 'Get-FtpFile'.
2020-07-27 20:28:42,902 2744 [INFO ] - VERBOSE: Exporting function 'Get-OSArchitectureWidth'.
2020-07-27 20:28:42,902 2744 [INFO ] - VERBOSE: Exporting function 'Get-PackageParameters'.
2020-07-27 20:28:42,916 2744 [INFO ] - VERBOSE: Exporting function 'Get-PackageParametersBuiltIn'.
2020-07-27 20:28:42,916 2744 [INFO ] - VERBOSE: Exporting function 'Get-ToolsLocation'.
2020-07-27 20:28:42,931 2744 [INFO ] - VERBOSE: Exporting function 'Get-UACEnabled'.
2020-07-27 20:28:42,931 2744 [INFO ] - VERBOSE: Exporting function 'Get-UninstallRegistryKey'.
2020-07-27 20:28:42,945 2744 [INFO ] - VERBOSE: Exporting function 'Get-VirusCheckValid'.
2020-07-27 20:28:42,945 2744 [INFO ] - VERBOSE: Exporting function 'Get-WebFile'.
2020-07-27 20:28:42,959 2744 [INFO ] - VERBOSE: Exporting function 'Get-WebFileName'.
2020-07-27 20:28:42,959 2744 [INFO ] - VERBOSE: Exporting function 'Get-WebHeaders'.
2020-07-27 20:28:42,973 2744 [INFO ] - VERBOSE: Exporting function 'Install-BinFile'.
2020-07-27 20:28:42,973 2744 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyDesktopLink'.
2020-07-27 20:28:43,000 2744 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyEnvironmentVariable'.
2020-07-27 20:28:43,000 2744 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyExplorerMenuItem'.
2020-07-27 20:28:43,014 2744 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyFileAssociation'.
2020-07-27 20:28:43,014 2744 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyInstallPackage'.
2020-07-27 20:28:43,027 2744 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPackage'.
2020-07-27 20:28:43,027 2744 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPath'.
2020-07-27 20:28:43,042 2744 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPinnedTaskBarItem'.
2020-07-27 20:28:43,042 2744 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPowershellCommand'.
2020-07-27 20:28:43,056 2744 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyShortcut'.
2020-07-27 20:28:43,069 2744 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyVsixPackage'.
2020-07-27 20:28:43,069 2744 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyZipPackage'.
2020-07-27 20:28:43,069 2744 [INFO ] - VERBOSE: Exporting function 'Install-Vsix'.
2020-07-27 20:28:43,083 2744 [INFO ] - VERBOSE: Exporting function 'Set-EnvironmentVariable'.
2020-07-27 20:28:43,083 2744 [INFO ] - VERBOSE: Exporting function 'Set-PowerShellExitCode'.
2020-07-27 20:28:43,097 2744 [INFO ] - VERBOSE: Exporting function 'Start-ChocolateyProcessAsAdmin'.
2020-07-27 20:28:43,097 2744 [INFO ] - VERBOSE: Exporting function 'Test-ProcessAdminRights'.
2020-07-27 20:28:43,112 2744 [INFO ] - VERBOSE: Exporting function 'Uninstall-BinFile'.
2020-07-27 20:28:43,112 2744 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyEnvironmentVariable'.
2020-07-27 20:28:43,125 2744 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyPackage'.
2020-07-27 20:28:43,125 2744 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyZipPackage'.
2020-07-27 20:28:43,139 2744 [INFO ] - VERBOSE: Exporting function 'Update-SessionEnvironment'.
2020-07-27 20:28:43,139 2744 [INFO ] - VERBOSE: Exporting function 'Write-ChocolateyFailure'.
2020-07-27 20:28:43,153 2744 [INFO ] - VERBOSE: Exporting function 'Write-ChocolateySuccess'.
2020-07-27 20:28:43,153 2744 [INFO ] - VERBOSE: Exporting function 'Write-FileUpdateLog'.
2020-07-27 20:28:43,168 2744 [INFO ] - VERBOSE: Exporting function 'Write-FunctionCallLogMessage'.
2020-07-27 20:28:43,168 2744 [INFO ] - VERBOSE: Exporting function 'Get-AppInstallLocation'.
2020-07-27 20:28:43,181 2744 [INFO ] - VERBOSE: Exporting function 'Get-AvailableDriveLetter'.
2020-07-27 20:28:43,181 2744 [INFO ] - VERBOSE: Exporting function 'Get-EffectiveProxy'.
2020-07-27 20:28:43,195 2744 [INFO ] - VERBOSE: Exporting function 'Get-PackageCacheLocation'.
2020-07-27 20:28:43,195 2744 [INFO ] - VERBOSE: Exporting function 'Get-WebContent'.
2020-07-27 20:28:43,209 2744 [INFO ] - VERBOSE: Exporting function 'Register-Application'.
2020-07-27 20:28:43,209 2744 [INFO ] - VERBOSE: Exporting function 'Remove-Process'.
2020-07-27 20:28:43,223 2744 [INFO ] - VERBOSE: Exporting alias 'Get-ProcessorBits'.
2020-07-27 20:28:43,223 2744 [INFO ] - VERBOSE: Exporting alias 'Get-OSBitness'.
2020-07-27 20:28:43,236 2744 [INFO ] - VERBOSE: Exporting alias 'Get-InstallRegistryKey'.
2020-07-27 20:28:43,236 2744 [INFO ] - VERBOSE: Exporting alias 'Generate-BinFile'.
2020-07-27 20:28:43,236 2744 [INFO ] - VERBOSE: Exporting alias 'Add-BinFile'.
2020-07-27 20:28:43,251 2744 [INFO ] - VERBOSE: Exporting alias 'Start-ChocolateyProcess'.
2020-07-27 20:28:43,251 2744 [INFO ] - VERBOSE: Exporting alias 'Invoke-ChocolateyProcess'.
2020-07-27 20:28:43,265 2744 [INFO ] - VERBOSE: Exporting alias 'Remove-BinFile'.
2020-07-27 20:28:43,265 2744 [INFO ] - VERBOSE: Exporting alias 'refreshenv'.
2020-07-27 20:28:43,279 2744 [INFO ] - VERBOSE: Importing function 'Format-FileSize'.
2020-07-27 20:28:43,279 2744 [INFO ] - VERBOSE: Importing function 'Get-AppInstallLocation'.
2020-07-27 20:28:43,293 2744 [INFO ] - VERBOSE: Importing function 'Get-AvailableDriveLetter'.
2020-07-27 20:28:43,293 2744 [INFO ] - VERBOSE: Importing function 'Get-ChecksumValid'.
2020-07-27 20:28:43,306 2744 [INFO ] - VERBOSE: Importing function 'Get-ChocolateyUnzip'.
2020-07-27 20:28:43,320 2744 [INFO ] - VERBOSE: Importing function 'Get-ChocolateyWebFile'.
2020-07-27 20:28:43,320 2744 [INFO ] - VERBOSE: Importing function 'Get-EffectiveProxy'.
2020-07-27 20:28:43,320 2744 [INFO ] - VERBOSE: Importing function 'Get-EnvironmentVariable'.
2020-07-27 20:28:43,335 2744 [INFO ] - VERBOSE: Importing function 'Get-EnvironmentVariableNames'.
2020-07-27 20:28:43,349 2744 [INFO ] - VERBOSE: Importing function 'Get-FtpFile'.
2020-07-27 20:28:43,349 2744 [INFO ] - VERBOSE: Importing function 'Get-OSArchitectureWidth'.
2020-07-27 20:28:43,362 2744 [INFO ] - VERBOSE: Importing function 'Get-PackageCacheLocation'.
2020-07-27 20:28:43,362 2744 [INFO ] - VERBOSE: Importing function 'Get-PackageParameters'.
2020-07-27 20:28:43,376 2744 [INFO ] - VERBOSE: Importing function 'Get-PackageParametersBuiltIn'.
2020-07-27 20:28:43,390 2744 [INFO ] - VERBOSE: Importing function 'Get-ToolsLocation'.
2020-07-27 20:28:43,390 2744 [INFO ] - VERBOSE: Importing function 'Get-UACEnabled'.
2020-07-27 20:28:43,403 2744 [INFO ] - VERBOSE: Importing function 'Get-UninstallRegistryKey'.
2020-07-27 20:28:43,403 2744 [INFO ] - VERBOSE: Importing function 'Get-VirusCheckValid'.
2020-07-27 20:28:43,417 2744 [INFO ] - VERBOSE: Importing function 'Get-WebContent'.
2020-07-27 20:28:43,417 2744 [INFO ] - VERBOSE: Importing function 'Get-WebFile'.
2020-07-27 20:28:43,432 2744 [INFO ] - VERBOSE: Importing function 'Get-WebFileName'.
2020-07-27 20:28:43,432 2744 [INFO ] - VERBOSE: Importing function 'Get-WebHeaders'.
2020-07-27 20:28:43,446 2744 [INFO ] - VERBOSE: Importing function 'Install-BinFile'.
2020-07-27 20:28:43,446 2744 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyDesktopLink'.
2020-07-27 20:28:43,459 2744 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyEnvironmentVariable'.
2020-07-27 20:28:43,459 2744 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyExplorerMenuItem'.
2020-07-27 20:28:43,473 2744 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyFileAssociation'.
2020-07-27 20:28:43,473 2744 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyInstallPackage'.
2020-07-27 20:28:43,488 2744 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPackage'.
2020-07-27 20:28:43,488 2744 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPath'.
2020-07-27 20:28:43,501 2744 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPinnedTaskBarItem'.
2020-07-27 20:28:43,501 2744 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPowershellCommand'.
2020-07-27 20:28:43,515 2744 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyShortcut'.
2020-07-27 20:28:43,515 2744 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyVsixPackage'.
2020-07-27 20:28:43,529 2744 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyZipPackage'.
2020-07-27 20:28:43,529 2744 [INFO ] - VERBOSE: Importing function 'Install-Vsix'.
2020-07-27 20:28:43,543 2744 [INFO ] - VERBOSE: Importing function 'Register-Application'.
2020-07-27 20:28:43,543 2744 [INFO ] - VERBOSE: Importing function 'Remove-Process'.
2020-07-27 20:28:43,557 2744 [INFO ] - VERBOSE: Importing function 'Set-EnvironmentVariable'.
2020-07-27 20:28:43,557 2744 [INFO ] - VERBOSE: Importing function 'Set-PowerShellExitCode'.
2020-07-27 20:28:43,571 2744 [INFO ] - VERBOSE: Importing function 'Start-ChocolateyProcessAsAdmin'.
2020-07-27 20:28:43,571 2744 [INFO ] - VERBOSE: Importing function 'Test-ProcessAdminRights'.
2020-07-27 20:28:43,585 2744 [INFO ] - VERBOSE: Importing function 'Uninstall-BinFile'.
2020-07-27 20:28:43,598 2744 [INFO ] - VERBOSE: Importing function 'Uninstall-ChocolateyEnvironmentVariable'.
2020-07-27 20:28:43,598 2744 [INFO ] - VERBOSE: Importing function 'Uninstall-ChocolateyPackage'.
2020-07-27 20:28:43,612 2744 [INFO ] - VERBOSE: Importing function 'Uninstall-ChocolateyZipPackage'.
2020-07-27 20:28:43,612 2744 [INFO ] - VERBOSE: Importing function 'Update-SessionEnvironment'.
2020-07-27 20:28:43,626 2744 [INFO ] - VERBOSE: Importing function 'Write-ChocolateyFailure'.
2020-07-27 20:28:43,626 2744 [INFO ] - VERBOSE: Importing function 'Write-ChocolateySuccess'.
2020-07-27 20:28:43,641 2744 [INFO ] - VERBOSE: Importing function 'Write-FileUpdateLog'.
2020-07-27 20:28:43,641 2744 [INFO ] - VERBOSE: Importing function 'Write-FunctionCallLogMessage'.
2020-07-27 20:28:43,654 2744 [INFO ] - VERBOSE: Importing alias 'Add-BinFile'.
2020-07-27 20:28:43,654 2744 [INFO ] - VERBOSE: Importing alias 'Generate-BinFile'.
2020-07-27 20:28:43,669 2744 [INFO ] - VERBOSE: Importing alias 'Get-InstallRegistryKey'.
2020-07-27 20:28:43,669 2744 [INFO ] - VERBOSE: Importing alias 'Get-OSBitness'.
2020-07-27 20:28:43,682 2744 [INFO ] - VERBOSE: Importing alias 'Get-ProcessorBits'.
2020-07-27 20:28:43,682 2744 [INFO ] - VERBOSE: Importing alias 'Invoke-ChocolateyProcess'.
2020-07-27 20:28:43,696 2744 [INFO ] - VERBOSE: Importing alias 'refreshenv'.
2020-07-27 20:28:43,696 2744 [INFO ] - VERBOSE: Importing alias 'Remove-BinFile'.
2020-07-27 20:28:43,710 2744 [INFO ] - VERBOSE: Importing alias 'Start-ChocolateyProcess'.
2020-07-27 20:28:43,863 2744 [DEBUG] - ---------------------------Script Execution---------------------------
2020-07-27 20:28:43,877 2744 [DEBUG] - Running 'ChocolateyScriptRunner' for Coq v8.12.0 with packageScript 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyInstall.ps1', packageFolder:'C:\ProgramData\chocolatey\lib\Coq', installArguments: '', packageParameters: '',
2020-07-27 20:28:43,975 2744 [DEBUG] - Running 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyInstall.ps1'
2020-07-27 20:28:44,086 2744 [DEBUG] - Running Install-ChocolateyPackage -url 'https://github.com/coq/coq/releases/download/V8.12.0/coq-8.12.0-installer-windows-i686.exe' -silentArgs '/S' -url64bit 'https://github.com/coq/coq/releases/download/V8.12.0/coq-8.12.0-installer-windows-x86_64.exe' -checksum '519b17b4c9bd893cf27b9228dd8359a104ba10159a4a8f90c55a33632776a3d9' -checksum64 'e957be5a013669215639e34f954727824f385b785d0e2a8bdf08a6078c26c1a6' -checksumType 'sha256' -packageName 'Coq' -fileType 'exe' -validExitCodes '0' -checksumType64 'sha256'
2020-07-27 20:28:44,393 2744 [DEBUG] - Running Get-ChocolateyWebFile -packageName 'Coq' -fileFullPath 'C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.12.0\CoqInstall.exe' -url 'https://github.com/coq/coq/releases/download/V8.12.0/coq-8.12.0-installer-windows-i686.exe' -url64bit 'https://github.com/coq/coq/releases/download/V8.12.0/coq-8.12.0-installer-windows-x86_64.exe' -checksum '519b17b4c9bd893cf27b9228dd8359a104ba10159a4a8f90c55a33632776a3d9' -checksumType 'sha256' -checksum64 'e957be5a013669215639e34f954727824f385b785d0e2a8bdf08a6078c26c1a6' -checksumType64 'sha256' -options 'System.Collections.Hashtable' -getOriginalFileName 'True'
2020-07-27 20:28:44,434 2744 [DEBUG] - Running Get-ProcessorBits -compare '64'
2020-07-27 20:28:44,462 2744 [DEBUG] - CPU is 64 bit
2020-07-27 20:28:44,476 2744 [DEBUG] - Setting url to 'https://github.com/coq/coq/releases/download/V8.12.0/coq-8.12.0-installer-windows-x86_64.exe' and bitPackage to 64
2020-07-27 20:28:44,783 2744 [DEBUG] - Running Get-WebFileName -url 'https://github.com/coq/coq/releases/download/V8.12.0/coq-8.12.0-installer-windows-x86_64.exe' -defaultName 'CoqInstall.exe'
2020-07-27 20:28:46,259 2744 [DEBUG] - Using header 'Content-Disposition' to determine file name.
2020-07-27 20:28:46,276 2744 [DEBUG] - File name determined from url is 'coq-8.12.0-installer-windows-x86_64.exe'
2020-07-27 20:28:46,320 2744 [DEBUG] - Running Get-WebHeaders -url 'https://github.com/coq/coq/releases/download/V8.12.0/coq-8.12.0-installer-windows-x86_64.exe' -ErrorAction 'Stop'
2020-07-27 20:28:46,337 2744 [DEBUG] - Setting the UserAgent to 'chocolatey command line'
2020-07-27 20:28:46,337 2744 [DEBUG] - Request Headers:
2020-07-27 20:28:46,351 2744 [DEBUG] - 'Accept':'*/*'
2020-07-27 20:28:46,351 2744 [DEBUG] - 'User-Agent':'chocolatey command line'
2020-07-27 20:28:46,871 2744 [DEBUG] - Response Headers:
2020-07-27 20:28:46,888 2744 [DEBUG] - 'x-amz-id-2':'RTcioZTy4yjk6yAmHASCBIQA0pi+pQoSPgi61rXnDd+TwcMdl14vEBRd+ozTGG0Bn058W/sMN1I='
2020-07-27 20:28:46,888 2744 [DEBUG] - 'x-amz-request-id':'6B4569F2301468C2'
2020-07-27 20:28:46,888 2744 [DEBUG] - 'Content-Disposition':'attachment; filename=coq-8.12.0-installer-windows-x86_64.exe'
2020-07-27 20:28:46,888 2744 [DEBUG] - 'Accept-Ranges':'bytes'
2020-07-27 20:28:46,903 2744 [DEBUG] - 'Content-Length':'212904984'
2020-07-27 20:28:46,903 2744 [DEBUG] - 'Content-Type':'application/octet-stream'
2020-07-27 20:28:46,903 2744 [DEBUG] - 'Date':'Mon, 27 Jul 2020 20:28:48 GMT'
2020-07-27 20:28:46,903 2744 [DEBUG] - 'ETag':'"19f843fd28a634c9791a85d9dbffe775"'
2020-07-27 20:28:46,903 2744 [DEBUG] - 'Last-Modified':'Mon, 27 Jul 2020 11:37:00 GMT'
2020-07-27 20:28:46,918 2744 [DEBUG] - 'Server':'AmazonS3'
2020-07-27 20:28:46,934 2744 [INFO ] - Downloading Coq 64 bit
from 'https://github.com/coq/coq/releases/download/V8.12.0/coq-8.12.0-installer-windows-x86_64.exe'
2020-07-27 20:28:46,948 2744 [INFO ] -
2020-07-27 20:28:46,979 2744 [DEBUG] - Running Get-WebFile -url 'https://github.com/coq/coq/releases/download/V8.12.0/coq-8.12.0-installer-windows-x86_64.exe' -fileName 'C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.12.0\coq-8.12.0-installer-windows-x86_64.exe' -options 'System.Collections.Hashtable'
2020-07-27 20:28:46,995 2744 [DEBUG] - Setting request timeout to 30000
2020-07-27 20:28:46,995 2744 [DEBUG] - Setting read/write timeout to 5400000
2020-07-27 20:28:46,995 2744 [DEBUG] - Setting the UserAgent to 'chocolatey command line'
2020-07-27 20:28:47,913 2744 [DEBUG] - Downloading https://github.com/coq/coq/releases/download/V8.12.0/coq-8.12.0-installer-windows-x86_64.exe to C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.12.0\coq-8.12.0-installer-windows-x86_64.exe
2020-07-27 20:32:58,865 2744 [INFO ] -
2020-07-27 20:32:58,882 2744 [INFO ] - Download of coq-8.12.0-installer-windows-x86_64.exe (203.04 MB) completed.
2020-07-27 20:32:58,882 2744 [INFO ] -
2020-07-27 20:33:01,929 2744 [DEBUG] - No runtime virus checking built into FOSS Chocolatey. Check out Pro/Business - https://chocolatey.org/compare
2020-07-27 20:33:01,962 2744 [DEBUG] - Verifying package provided checksum of 'e957be5a013669215639e34f954727824f385b785d0e2a8bdf08a6078c26c1a6' for 'C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.12.0\coq-8.12.0-installer-windows-x86_64.exe'.
2020-07-27 20:33:02,007 2744 [DEBUG] - Running Get-ChecksumValid -file 'C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.12.0\coq-8.12.0-installer-windows-x86_64.exe' -checksum 'e957be5a013669215639e34f954727824f385b785d0e2a8bdf08a6078c26c1a6' -checksumType 'sha256' -originalUrl 'https://github.com/coq/coq/releases/download/V8.12.0/coq-8.12.0-installer-windows-x86_64.exe'
2020-07-27 20:33:02,038 2744 [DEBUG] - checksum.exe found at 'C:\ProgramData\chocolatey\helpers\..\tools\checksum.exe'
2020-07-27 20:33:02,053 2744 [DEBUG] - Executing command ['C:\ProgramData\chocolatey\helpers\..\tools\checksum.exe' -c="e957be5a013669215639e34f954727824f385b785d0e2a8bdf08a6078c26c1a6" -t="sha256" -f="C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.12.0\coq-8.12.0-installer-windows-x86_64.exe"]
2020-07-27 20:33:06,007 2744 [DEBUG] - Command ['C:\ProgramData\chocolatey\helpers\..\tools\checksum.exe' -c="e957be5a013669215639e34f954727824f385b785d0e2a8bdf08a6078c26c1a6" -t="sha256" -f="C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.12.0\coq-8.12.0-installer-windows-x86_64.exe"] exited with '0'.
2020-07-27 20:33:06,069 2744 [DEBUG] - Running Install-ChocolateyInstallPackage -packageName 'Coq' -fileType 'exe' -silentArgs '/S' -file 'C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.12.0\coq-8.12.0-installer-windows-x86_64.exe' -validExitCodes '0' -useOnlyPackageSilentArguments 'False'
2020-07-27 20:33:06,085 2744 [DEBUG] - Running Get-ProcessorBits -compare '32'
2020-07-27 20:33:06,085 2744 [INFO ] - Installing Coq...
2020-07-27 20:33:06,100 2744 [INFO ] -
2020-07-27 20:33:06,288 2744 [DEBUG] - Running Start-ChocolateyProcessAsAdmin -validExitCodes '0' -workingDirectory 'C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.12.0' -statements '/S ' -exeToRun 'C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.12.0\coq-8.12.0-installer-windows-x86_64.exe'
2020-07-27 20:33:06,288 2744 [DEBUG] - Unable to use current location for Working Directory. Using Cache Location instead.
2020-07-27 20:33:06,366 2744 [DEBUG] - Test-ProcessAdminRights: returning True
2020-07-27 20:33:06,398 2744 [DEBUG] - Elevating permissions and running ["C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.12.0\coq-8.12.0-installer-windows-x86_64.exe" /S ]. This may take a while, depending on the statements.
2020-07-27 20:35:10,600 2744 [DEBUG] - Command ["C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.12.0\coq-8.12.0-installer-windows-x86_64.exe" /S ] exited with '0'.
2020-07-27 20:35:10,772 2744 [DEBUG] - Finishing 'Start-ChocolateyProcessAsAdmin'
2020-07-27 20:35:11,287 2744 [INFO ] - Coq has been installed.
2020-07-27 20:35:11,303 2744 [INFO ] -
2020-07-27 20:35:11,303 2744 [DEBUG] - ----------------------------------------------------------------------
2020-07-27 20:35:11,397 2744 [DEBUG] - Built-in PowerShell host called with ['[System.Threading.Thread]::CurrentThread.CurrentCulture = '';[System.Threading.Thread]::CurrentThread.CurrentUICulture = ''; & import-module -name 'C:\ProgramData\chocolatey\helpers\chocolateyInstaller.psm1'; & 'C:\ProgramData\chocolatey\helpers\chocolateyScriptRunner.ps1' -packageScript 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyInstall.ps1' -installArguments '' -packageParameters '''] exited with '0'.
2020-07-27 20:35:11,414 2744 [DEBUG] - Calling command ['"C:\Windows\System32\shutdown.exe" /a']
2020-07-27 20:35:11,445 2744 [DEBUG] - Command ['"C:\Windows\System32\shutdown.exe" /a'] exited with '1116'
2020-07-27 20:35:11,459 2744 [INFO ] - coq may be able to be automatically uninstalled.
2020-07-27 20:35:11,459 2744 [DEBUG] - Capturing package files in 'C:\ProgramData\chocolatey\lib\Coq'
2020-07-27 20:35:11,459 2744 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\Coq\Coq.nupkg'
with checksum 'F12B2723D16224B4CDBBA8DD45613263'
2020-07-27 20:35:11,459 2744 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\Coq\Coq.nuspec'
with checksum '661AACA5DE1CE7F726566403D2540E16'
2020-07-27 20:35:11,475 2744 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyInstall.ps1'
with checksum '3891B89F2B3C285598122A4A79AF05F2'
2020-07-27 20:35:11,475 2744 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyUninstall.ps1'
with checksum 'A985B284D16501E6678AF87FE34BA9EF'
2020-07-27 20:35:11,475 2744 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\.chocolatey\Coq.8.12.0".
2020-07-27 20:35:11,586 2744 [DEBUG] - There was no original file at 'C:\ProgramData\chocolatey\.chocolatey\Coq.8.12.0\.registry'
2020-07-27 20:35:11,600 2744 [DEBUG] - There was no original file at 'C:\ProgramData\chocolatey\.chocolatey\Coq.8.12.0\.files'
2020-07-27 20:35:11,600 2744 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\Coq.8.12.0\.extra".
2020-07-27 20:35:11,615 2744 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\Coq.8.12.0\.version".
2020-07-27 20:35:11,615 2744 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\Coq.8.12.0\.sxs".
2020-07-27 20:35:11,615 2744 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\Coq.8.12.0\.pin".
2020-07-27 20:35:11,631 2744 [DEBUG] - Sending message 'HandlePackageResultCompletedMessage' out if there are subscribers...
2020-07-27 20:35:11,631 2744 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\Coq\.chocolateyPending".
2020-07-27 20:35:11,631 2744 [INFO ] - The install of coq was successful.
2020-07-27 20:35:11,631 2744 [INFO ] - Software installed as 'exe', install location is likely default.
2020-07-27 20:35:11,647 2744 [DEBUG] - Attempting to delete file "C:\Users\Administrator\AppData\Local\NuGet\Cache\Coq.8.12.0.nupkg".
2020-07-27 20:35:11,725 2744 [WARN ] -
Chocolatey installed 2/2 packages.
See the log for details (C:\ProgramData\chocolatey\logs\chocolatey.log).
2020-07-27 20:35:11,725 2744 [DEBUG] - Sending message 'PostRunMessage' out if there are subscribers...
2020-07-27 20:35:11,788 2744 [DEBUG] - Exiting with 0
2020-07-27 20:35:51,147 2156 [DEBUG] - XmlConfiguration is now operational
2020-07-27 20:35:51,288 2156 [INFO ] - ============================================================
2020-07-27 20:35:51,866 2156 [INFO ] - Chocolatey v0.10.15
2020-07-27 20:35:51,912 2156 [DEBUG] - Chocolatey is running on Windows v 6.3.9600.0
2020-07-27 20:35:51,929 2156 [DEBUG] - Attempting to delete file "C:/ProgramData/chocolatey/choco.exe.old".
2020-07-27 20:35:51,929 2156 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\choco.exe.old".
2020-07-27 20:35:51,960 2156 [DEBUG] - Command line: "C:\ProgramData\chocolatey\choco.exe" uninstall Coq --version 8.12.0 -dvy --execution-timeout=5400
2020-07-27 20:35:51,960 2156 [DEBUG] - Received arguments: uninstall Coq --version 8.12.0 -dvy --execution-timeout=5400
2020-07-27 20:35:52,100 2156 [DEBUG] - RemovePendingPackagesTask is now ready and waiting for PreRunMessage.
2020-07-27 20:35:52,147 2156 [DEBUG] - Sending message 'PreRunMessage' out if there are subscribers...
2020-07-27 20:35:52,164 2156 [DEBUG] - [Pending] Removing all pending packages that should not be considered installed...
2020-07-27 20:35:52,335 2156 [DEBUG] - Performing validation checks.
2020-07-27 20:35:52,350 2156 [DEBUG] - Global Configuration Validation Checks:
2020-07-27 20:35:52,350 2156 [DEBUG] - - Package Exit Code / Exit On Reboot = Checked
2020-07-27 20:35:52,350 2156 [DEBUG] - System State Validation Checks:
2020-07-27 20:35:52,367 2156 [DEBUG] - Reboot Requirement Checks:
2020-07-27 20:35:52,382 2156 [DEBUG] - - Pending Computer Rename = Checked
2020-07-27 20:35:52,382 2156 [DEBUG] - - Pending Component Based Servicing = Checked
2020-07-27 20:35:52,397 2156 [DEBUG] - - Pending Windows Auto Update = Checked
2020-07-27 20:35:52,397 2156 [DEBUG] - - Pending File Rename Operations = Checked
2020-07-27 20:35:52,412 2156 [DEBUG] - - Pending Windows Package Installer = Checked
2020-07-27 20:35:52,412 2156 [DEBUG] - - Pending Windows Package Installer SysWow64 = Checked
2020-07-27 20:35:52,430 2156 [INFO ] - 2 validations performed. 2 success(es), 0 warning(s), and 0 error(s).
2020-07-27 20:35:52,459 2156 [DEBUG] - The source 'c:\cached-packages;https://chocolatey.org/api/v2/' evaluated to a 'normal' source type
2020-07-27 20:35:52,475 2156 [DEBUG] -
NOTE: Hiding sensitive configuration data! Please double and triple
check to be sure no sensitive data is shown, especially if copying
output to a gist for review.
2020-07-27 20:35:52,522 2156 [DEBUG] - Configuration: CommandName='uninstall'|
CacheLocation='C:\Users\Administrator\AppData\Local\Temp\chocolatey'|
ContainsLegacyPackageInstalls='True'|
CommandExecutionTimeoutSeconds='5400'|WebRequestTimeoutSeconds='30'|
Sources='c:\cached-packages;https://chocolatey.org/api/v2/'|
SourceType='normal'|Debug='True'|Verbose='True'|Trace='False'|
Force='False'|Noop='False'|HelpRequested='False'|
UnsuccessfulParsing='False'|RegularOutput='True'|QuietOutput='False'|
PromptForConfirmation='False'|AcceptLicense='True'|
AllowUnofficialBuild='False'|Input='Coq'|Version='8.12.0'|
AllVersions='False'|SkipPackageInstallProvider='False'|
PackageNames='Coq'|Prerelease='False'|ForceX86='False'|
OverrideArguments='False'|NotSilent='False'|
ApplyPackageParametersToDependencies='False'|
ApplyInstallArgumentsToDependencies='False'|IgnoreDependencies='False'|
AllowMultipleVersions='False'|AllowDowngrade='False'|
ForceDependencies='False'|Information.PlatformType='Windows'|
Information.PlatformVersion='6.3.9600.0'|
Information.PlatformName='Windows Server 2012 R2'|
Information.ChocolateyVersion='0.10.15.0'|
Information.ChocolateyProductVersion='0.10.15'|
Information.FullName='choco, Version=0.10.15.0, Culture=neutral, PublicKeyToken=79d02ea9cad655eb'|
Information.Is64BitOperatingSystem='True'|
Information.Is64BitProcess='True'|Information.IsInteractive='True'|
Information.UserName='vagrant'|
Information.UserDomainName='WIN-E5K8TM30719'|
Information.IsUserAdministrator='True'|
Information.IsUserSystemAccount='False'|
Information.IsUserRemoteDesktop='False'|
Information.IsUserRemote='True'|
Information.IsProcessElevated='True'|
Information.IsLicensedVersion='False'|Information.LicenseType='Foss'|
Information.CurrentDirectory='C:\Windows\system32'|
Features.AutoUninstaller='True'|Features.ChecksumFiles='True'|
Features.AllowEmptyChecksums='False'|
Features.AllowEmptyChecksumsSecure='True'|
Features.FailOnAutoUninstaller='False'|
Features.FailOnStandardError='False'|Features.UsePowerShellHost='True'|
Features.LogEnvironmentValues='True'|Features.LogWithoutColor='False'|
Features.VirusCheck='False'|
Features.FailOnInvalidOrMissingLicense='False'|
Features.IgnoreInvalidOptionsSwitches='True'|
Features.UsePackageExitCodes='True'|
Features.UseEnhancedExitCodes='False'|
Features.UseFipsCompliantChecksums='False'|
Features.ShowNonElevatedWarnings='True'|
Features.ShowDownloadProgress='False'|
Features.StopOnFirstPackageFailure='False'|
Features.UseRememberedArgumentsForUpgrades='False'|
Features.IgnoreUnfoundPackagesOnUpgradeOutdated='False'|
Features.SkipPackageUpgradesWhenNotInstalled='False'|
Features.RemovePackageInformationOnUninstall='False'|
Features.ExitOnRebootDetected='False'|
Features.LogValidationResultsOnWarnings='True'|
Features.UsePackageRepositoryOptimizations='True'|
Features.ScriptsCheckLastExitCode='False'|
ListCommand.LocalOnly='False'|
ListCommand.IdOnly='False'|ListCommand.IncludeRegistryPrograms='False'|
ListCommand.PageSize='25'|ListCommand.Exact='False'|
ListCommand.ByIdOnly='False'|ListCommand.ByTagOnly='False'|
ListCommand.IdStartsWith='False'|ListCommand.OrderByPopularity='False'|
ListCommand.ApprovedOnly='False'|
ListCommand.DownloadCacheAvailable='False'|
ListCommand.NotBroken='False'|
ListCommand.IncludeVersionOverrides='False'|
UpgradeCommand.FailOnUnfound='False'|
UpgradeCommand.FailOnNotInstalled='False'|
UpgradeCommand.NotifyOnlyAvailableUpgrades='False'|
UpgradeCommand.ExcludePrerelease='False'|
NewCommand.AutomaticPackage='False'|
NewCommand.UseOriginalTemplate='False'|SourceCommand.Command='unknown'|
SourceCommand.Priority='0'|SourceCommand.BypassProxy='False'|
SourceCommand.AllowSelfService='False'|
SourceCommand.VisibleToAdminsOnly='False'|
FeatureCommand.Command='unknown'|ConfigCommand.Command='unknown'|
ApiKeyCommand.Remove='False'|PinCommand.Command='unknown'|
OutdatedCommand.IgnorePinned='False'|Proxy.BypassOnLocal='True'|
2020-07-27 20:35:52,522 2156 [DEBUG] - _ Chocolatey:ChocolateyUninstallCommand - Normal Run Mode _
2020-07-27 20:35:52,539 2156 [INFO ] - Uninstalling the following packages:
2020-07-27 20:35:52,539 2156 [INFO ] - Coq
2020-07-27 20:35:52,568 2156 [DEBUG] - Current environment values (may contain sensitive data):
2020-07-27 20:35:52,568 2156 [DEBUG] - * 'TMP'='C:\Users\Administrator\AppData\Local\Temp' ('User')
2020-07-27 20:35:52,568 2156 [DEBUG] - * 'TEMP'='C:\Users\Administrator\AppData\Local\Temp' ('User')
2020-07-27 20:35:52,568 2156 [DEBUG] - * 'ChocolateyLastPathUpdate'='132400658289071043' ('User')
2020-07-27 20:35:52,584 2156 [DEBUG] - * 'FP_NO_HOST_CHECK'='NO' ('Machine')
2020-07-27 20:35:52,584 2156 [DEBUG] - * 'USERNAME'='SYSTEM' ('Machine')
2020-07-27 20:35:52,584 2156 [DEBUG] - * 'Path'='C:\Windows\system32;C:\Windows;C:\Windows\System32\Wbem;C:\Windows\System32\WindowsPowerShell\v1.0\;C:\Program Files (x86)\Git\cmd;C:\Program Files (x86)\Git\bin;C:\ProgramData\chocolatey\bin;' ('Machine')
2020-07-27 20:35:52,600 2156 [DEBUG] - * 'ComSpec'='C:\Windows\system32\cmd.exe' ('Machine')
2020-07-27 20:35:52,600 2156 [DEBUG] - * 'TMP'='C:\Windows\TEMP' ('Machine')
2020-07-27 20:35:52,600 2156 [DEBUG] - * 'OS'='Windows_NT' ('Machine')
2020-07-27 20:35:52,615 2156 [DEBUG] - * 'windir'='C:\Windows' ('Machine')
2020-07-27 20:35:52,615 2156 [DEBUG] - * 'PROCESSOR_ARCHITECTURE'='AMD64' ('Machine')
2020-07-27 20:35:52,615 2156 [DEBUG] - * 'TEMP'='C:\Windows\TEMP' ('Machine')
2020-07-27 20:35:52,631 2156 [DEBUG] - * 'PATHEXT'='.COM;.EXE;.BAT;.CMD;.VBS;.VBE;.JS;.JSE;.WSF;.WSH;.MSC' ('Machine')
2020-07-27 20:35:52,631 2156 [DEBUG] - * 'PSModulePath'='C:\Windows\system32\WindowsPowerShell\v1.0\Modules\' ('Machine')
2020-07-27 20:35:52,647 2156 [DEBUG] - * 'NUMBER_OF_PROCESSORS'='1' ('Machine')
2020-07-27 20:35:52,647 2156 [DEBUG] - * 'PROCESSOR_LEVEL'='16' ('Machine')
2020-07-27 20:35:52,647 2156 [DEBUG] - * 'PROCESSOR_IDENTIFIER'='AMD64 Family 16 Model 6 Stepping 3, AuthenticAMD' ('Machine')
2020-07-27 20:35:52,664 2156 [DEBUG] - * 'PROCESSOR_REVISION'='0603' ('Machine')
2020-07-27 20:35:52,664 2156 [DEBUG] - * 'HOME'='C:\Users\Administrator' ('Machine')
2020-07-27 20:35:52,664 2156 [DEBUG] - * 'ChocolateyInstall'='C:\ProgramData\chocolatey' ('Machine')
2020-07-27 20:35:53,303 2156 [DEBUG] - Running list with the following filter = ''
2020-07-27 20:35:53,459 2156 [DEBUG] - --- Start of List ---
2020-07-27 20:35:54,178 2156 [DEBUG] - Coq 8.12.0
2020-07-27 20:35:54,196 2156 [DEBUG] - --- End of List ---
2020-07-27 20:35:54,506 2156 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\lib-bkp".
2020-07-27 20:35:54,506 2156 [DEBUG] - Backing up existing Coq prior to operation.
2020-07-27 20:35:54,523 2156 [DEBUG] - Moving 'C:\ProgramData\chocolatey\lib\Coq'
to 'C:\ProgramData\chocolatey\lib-bkp\Coq'
2020-07-27 20:35:56,537 2156 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\lib\Coq".
2020-07-27 20:35:56,554 2156 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\Coq\Coq.nupkg"
to "C:\ProgramData\chocolatey\lib\Coq\Coq.nupkg".
2020-07-27 20:35:56,569 2156 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\Coq\Coq.nuspec"
to "C:\ProgramData\chocolatey\lib\Coq\Coq.nuspec".
2020-07-27 20:35:56,569 2156 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\lib\Coq\tools".
2020-07-27 20:35:56,569 2156 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\Coq\tools\chocolateyInstall.ps1"
to "C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyInstall.ps1".
2020-07-27 20:35:56,584 2156 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\Coq\tools\chocolateyUninstall.ps1"
to "C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyUninstall.ps1".
2020-07-27 20:35:58,147 2156 [DEBUG] - Capturing package files in 'C:\ProgramData\chocolatey\lib\Coq'
2020-07-27 20:35:58,162 2156 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\Coq\Coq.nupkg'
with checksum 'F12B2723D16224B4CDBBA8DD45613263'
2020-07-27 20:35:58,178 2156 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\Coq\Coq.nuspec'
with checksum '661AACA5DE1CE7F726566403D2540E16'
2020-07-27 20:35:58,178 2156 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyInstall.ps1'
with checksum '3891B89F2B3C285598122A4A79AF05F2'
2020-07-27 20:35:58,195 2156 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyUninstall.ps1'
with checksum 'A985B284D16501E6678AF87FE34BA9EF'
2020-07-27 20:35:58,617 2156 [INFO ] - [NuGet] Uninstalling 'Coq 8.12.0'.
2020-07-27 20:35:58,631 2156 [INFO ] -
Coq v8.12.0
2020-07-27 20:35:58,694 2156 [DEBUG] - Setting installer args for Coq
2020-07-27 20:35:58,710 2156 [DEBUG] - Setting package parameters for Coq
2020-07-27 20:35:58,710 2156 [DEBUG] - Contents of 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyUninstall.ps1':
2020-07-27 20:35:58,740 2156 [DEBUG] - $ErrorActionPreference = 'Stop'
$packageArgs = @{
packageName = $env:ChocolateyPackageName
softwareName = 'coq*'
fileType = 'exe'
silentArgs = '/S'
validExitCodes = @(@(0))
}
$uninstalled = $false
[array]$key = Get-UninstallRegistryKey @packageArgs
if ($key.Count -eq 1) {
$key | ForEach-Object {
$packageArgs['file'] = "$($_.UninstallString)"
Uninstall-ChocolateyPackage @packageArgs
Write-Host "^^ No it hasn't just yet..."
Write-Host "Waiting for the uninstall process to close..."
# Sleep a few seconds to allow the uninstall process to spawn
Start-Sleep -seconds 5
while (($process = Get-Process "AU_*", "Coq*" -ea 0)) {
if ($process) {
$process | Wait-Process
}
}
}
}
elseif ($key.Count -eq 0) {
Write-Warning "$packageName has already been uninstalled by other means."
}
elseif ($key.Count -gt 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 | ForEach-Object { Write-Warning "- $($_.DisplayName)" }
}
2020-07-27 20:35:58,881 2156 [DEBUG] - Calling built-in PowerShell host with ['[System.Threading.Thread]::CurrentThread.CurrentCulture = '';[System.Threading.Thread]::CurrentThread.CurrentUICulture = ''; & import-module -name 'C:\ProgramData\chocolatey\helpers\chocolateyInstaller.psm1'; & 'C:\ProgramData\chocolatey\helpers\chocolateyScriptRunner.ps1' -packageScript 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyUninstall.ps1' -installArguments '' -packageParameters ''']
2020-07-27 20:35:58,881 2156 [DEBUG] - Redirecting System.Management.Automation.resources, Version=3.0.0.0, Culture=en-US, PublicKeyToken=31bf3856ad364e35, requested by ''
2020-07-27 20:35:59,444 2156 [DEBUG] - Host version is 4.0, PowerShell Version is '4.0' and CLR Version is '4.0.30319.33440'.
2020-07-27 20:35:59,850 2156 [INFO ] - VERBOSE: Exporting function 'Format-FileSize'.
2020-07-27 20:35:59,850 2156 [INFO ] - VERBOSE: Exporting function 'Get-ChecksumValid'.
2020-07-27 20:35:59,850 2156 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyUnzip'.
2020-07-27 20:35:59,866 2156 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyWebFile'.
2020-07-27 20:35:59,866 2156 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariable'.
2020-07-27 20:35:59,866 2156 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariableNames'.
2020-07-27 20:35:59,881 2156 [INFO ] - VERBOSE: Exporting function 'Get-FtpFile'.
2020-07-27 20:35:59,881 2156 [INFO ] - VERBOSE: Exporting function 'Get-OSArchitectureWidth'.
2020-07-27 20:35:59,881 2156 [INFO ] - VERBOSE: Exporting function 'Get-PackageParameters'.
2020-07-27 20:35:59,897 2156 [INFO ] - VERBOSE: Exporting function 'Get-PackageParametersBuiltIn'.
2020-07-27 20:35:59,897 2156 [INFO ] - VERBOSE: Exporting function 'Get-ToolsLocation'.
2020-07-27 20:35:59,897 2156 [INFO ] - VERBOSE: Exporting function 'Get-UACEnabled'.
2020-07-27 20:35:59,913 2156 [INFO ] - VERBOSE: Exporting function 'Get-UninstallRegistryKey'.
2020-07-27 20:35:59,913 2156 [INFO ] - VERBOSE: Exporting function 'Get-VirusCheckValid'.
2020-07-27 20:35:59,913 2156 [INFO ] - VERBOSE: Exporting function 'Get-WebFile'.
2020-07-27 20:35:59,928 2156 [INFO ] - VERBOSE: Exporting function 'Get-WebFileName'.
2020-07-27 20:35:59,928 2156 [INFO ] - VERBOSE: Exporting function 'Get-WebHeaders'.
2020-07-27 20:35:59,928 2156 [INFO ] - VERBOSE: Exporting function 'Install-BinFile'.
2020-07-27 20:35:59,928 2156 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyDesktopLink'.
2020-07-27 20:35:59,944 2156 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyEnvironmentVariable'.
2020-07-27 20:35:59,944 2156 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyExplorerMenuItem'.
2020-07-27 20:35:59,944 2156 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyFileAssociation'.
2020-07-27 20:35:59,959 2156 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyInstallPackage'.
2020-07-27 20:35:59,959 2156 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPackage'.
2020-07-27 20:35:59,959 2156 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPath'.
2020-07-27 20:35:59,975 2156 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPinnedTaskBarItem'.
2020-07-27 20:35:59,975 2156 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPowershellCommand'.
2020-07-27 20:35:59,975 2156 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyShortcut'.
2020-07-27 20:35:59,991 2156 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyVsixPackage'.
2020-07-27 20:35:59,991 2156 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyZipPackage'.
2020-07-27 20:35:59,991 2156 [INFO ] - VERBOSE: Exporting function 'Install-Vsix'.
2020-07-27 20:36:00,006 2156 [INFO ] - VERBOSE: Exporting function 'Set-EnvironmentVariable'.
2020-07-27 20:36:00,006 2156 [INFO ] - VERBOSE: Exporting function 'Set-PowerShellExitCode'.
2020-07-27 20:36:00,006 2156 [INFO ] - VERBOSE: Exporting function 'Start-ChocolateyProcessAsAdmin'.
2020-07-27 20:36:00,022 2156 [INFO ] - VERBOSE: Exporting function 'Test-ProcessAdminRights'.
2020-07-27 20:36:00,022 2156 [INFO ] - VERBOSE: Exporting function 'Uninstall-BinFile'.
2020-07-27 20:36:00,022 2156 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyEnvironmentVariable'.
2020-07-27 20:36:00,039 2156 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyPackage'.
2020-07-27 20:36:00,039 2156 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyZipPackage'.
2020-07-27 20:36:00,039 2156 [INFO ] - VERBOSE: Exporting function 'Update-SessionEnvironment'.
2020-07-27 20:36:00,053 2156 [INFO ] - VERBOSE: Exporting function 'Write-ChocolateyFailure'.
2020-07-27 20:36:00,053 2156 [INFO ] - VERBOSE: Exporting function 'Write-ChocolateySuccess'.
2020-07-27 20:36:00,053 2156 [INFO ] - VERBOSE: Exporting function 'Write-FileUpdateLog'.
2020-07-27 20:36:00,068 2156 [INFO ] - VERBOSE: Exporting function 'Write-FunctionCallLogMessage'.
2020-07-27 20:36:00,085 2156 [INFO ] - VERBOSE: Exporting alias 'Get-ProcessorBits'.
2020-07-27 20:36:00,085 2156 [INFO ] - VERBOSE: Exporting alias 'Get-OSBitness'.
2020-07-27 20:36:00,100 2156 [INFO ] - VERBOSE: Exporting alias 'Get-InstallRegistryKey'.
2020-07-27 20:36:00,147 2156 [INFO ] - VERBOSE: Exporting alias 'Generate-BinFile'.
2020-07-27 20:36:00,147 2156 [INFO ] - VERBOSE: Exporting alias 'Add-BinFile'.
2020-07-27 20:36:00,162 2156 [INFO ] - VERBOSE: Exporting alias 'Start-ChocolateyProcess'.
2020-07-27 20:36:00,162 2156 [INFO ] - VERBOSE: Exporting alias 'Invoke-ChocolateyProcess'.
2020-07-27 20:36:00,162 2156 [INFO ] - VERBOSE: Exporting alias 'Remove-BinFile'.
2020-07-27 20:36:00,178 2156 [INFO ] - VERBOSE: Exporting alias 'refreshenv'.
2020-07-27 20:36:00,225 2156 [DEBUG] - Loading community extensions
2020-07-27 20:36:00,273 2156 [DEBUG] - Importing 'C:\ProgramData\chocolatey\extensions\chocolatey-core\chocolatey-core.psm1'
2020-07-27 20:36:00,287 2156 [INFO ] - VERBOSE: Loading module from path 'C:\ProgramData\chocolatey\extensions\chocolatey-core\chocolatey-core.psm1'.
2020-07-27 20:36:00,554 2156 [INFO ] - VERBOSE: Exporting function 'Get-UninstallRegistryKey'.
2020-07-27 20:36:00,554 2156 [INFO ] - VERBOSE: Exporting function 'Get-AppInstallLocation'.
2020-07-27 20:36:00,569 2156 [INFO ] - VERBOSE: Exporting function 'Get-AvailableDriveLetter'.
2020-07-27 20:36:00,569 2156 [INFO ] - VERBOSE: Exporting function 'Get-EffectiveProxy'.
2020-07-27 20:36:00,569 2156 [INFO ] - VERBOSE: Exporting function 'Get-PackageCacheLocation'.
2020-07-27 20:36:00,584 2156 [INFO ] - VERBOSE: Exporting function 'Get-PackageParameters'.
2020-07-27 20:36:00,584 2156 [INFO ] - VERBOSE: Exporting function 'Get-WebContent'.
2020-07-27 20:36:00,584 2156 [INFO ] - VERBOSE: Exporting function 'Register-Application'.
2020-07-27 20:36:00,600 2156 [INFO ] - VERBOSE: Exporting function 'Remove-Process'.
2020-07-27 20:36:00,600 2156 [INFO ] - VERBOSE: Importing function 'Get-AppInstallLocation'.
2020-07-27 20:36:00,615 2156 [INFO ] - VERBOSE: Importing function 'Get-AvailableDriveLetter'.
2020-07-27 20:36:00,615 2156 [INFO ] - VERBOSE: Importing function 'Get-EffectiveProxy'.
2020-07-27 20:36:00,615 2156 [INFO ] - VERBOSE: Importing function 'Get-PackageCacheLocation'.
2020-07-27 20:36:00,631 2156 [INFO ] - VERBOSE: Importing function 'Get-PackageParameters'.
2020-07-27 20:36:00,631 2156 [INFO ] - VERBOSE: Importing function 'Get-UninstallRegistryKey'.
2020-07-27 20:36:00,631 2156 [INFO ] - VERBOSE: Importing function 'Get-WebContent'.
2020-07-27 20:36:00,647 2156 [INFO ] - VERBOSE: Importing function 'Register-Application'.
2020-07-27 20:36:00,647 2156 [INFO ] - VERBOSE: Importing function 'Remove-Process'.
2020-07-27 20:36:00,647 2156 [INFO ] - VERBOSE: Exporting function 'Format-FileSize'.
2020-07-27 20:36:00,662 2156 [INFO ] - VERBOSE: Exporting function 'Get-ChecksumValid'.
2020-07-27 20:36:00,662 2156 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyUnzip'.
2020-07-27 20:36:00,662 2156 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyWebFile'.
2020-07-27 20:36:00,662 2156 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariable'.
2020-07-27 20:36:00,678 2156 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariableNames'.
2020-07-27 20:36:00,678 2156 [INFO ] - VERBOSE: Exporting function 'Get-FtpFile'.
2020-07-27 20:36:00,678 2156 [INFO ] - VERBOSE: Exporting function 'Get-OSArchitectureWidth'.
2020-07-27 20:36:00,695 2156 [INFO ] - VERBOSE: Exporting function 'Get-PackageParameters'.
2020-07-27 20:36:00,695 2156 [INFO ] - VERBOSE: Exporting function 'Get-PackageParametersBuiltIn'.
2020-07-27 20:36:00,695 2156 [INFO ] - VERBOSE: Exporting function 'Get-ToolsLocation'.
2020-07-27 20:36:00,709 2156 [INFO ] - VERBOSE: Exporting function 'Get-UACEnabled'.
2020-07-27 20:36:00,709 2156 [INFO ] - VERBOSE: Exporting function 'Get-UninstallRegistryKey'.
2020-07-27 20:36:00,709 2156 [INFO ] - VERBOSE: Exporting function 'Get-VirusCheckValid'.
2020-07-27 20:36:00,726 2156 [INFO ] - VERBOSE: Exporting function 'Get-WebFile'.
2020-07-27 20:36:00,726 2156 [INFO ] - VERBOSE: Exporting function 'Get-WebFileName'.
2020-07-27 20:36:00,726 2156 [INFO ] - VERBOSE: Exporting function 'Get-WebHeaders'.
2020-07-27 20:36:00,740 2156 [INFO ] - VERBOSE: Exporting function 'Install-BinFile'.
2020-07-27 20:36:00,740 2156 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyDesktopLink'.
2020-07-27 20:36:00,756 2156 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyEnvironmentVariable'.
2020-07-27 20:36:00,756 2156 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyExplorerMenuItem'.
2020-07-27 20:36:00,772 2156 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyFileAssociation'.
2020-07-27 20:36:00,772 2156 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyInstallPackage'.
2020-07-27 20:36:00,787 2156 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPackage'.
2020-07-27 20:36:00,787 2156 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPath'.
2020-07-27 20:36:00,787 2156 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPinnedTaskBarItem'.
2020-07-27 20:36:00,803 2156 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPowershellCommand'.
2020-07-27 20:36:00,803 2156 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyShortcut'.
2020-07-27 20:36:00,803 2156 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyVsixPackage'.
2020-07-27 20:36:00,819 2156 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyZipPackage'.
2020-07-27 20:36:00,819 2156 [INFO ] - VERBOSE: Exporting function 'Install-Vsix'.
2020-07-27 20:36:00,835 2156 [INFO ] - VERBOSE: Exporting function 'Set-EnvironmentVariable'.
2020-07-27 20:36:00,835 2156 [INFO ] - VERBOSE: Exporting function 'Set-PowerShellExitCode'.
2020-07-27 20:36:00,850 2156 [INFO ] - VERBOSE: Exporting function 'Start-ChocolateyProcessAsAdmin'.
2020-07-27 20:36:00,850 2156 [INFO ] - VERBOSE: Exporting function 'Test-ProcessAdminRights'.
2020-07-27 20:36:00,850 2156 [INFO ] - VERBOSE: Exporting function 'Uninstall-BinFile'.
2020-07-27 20:36:00,865 2156 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyEnvironmentVariable'.
2020-07-27 20:36:00,865 2156 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyPackage'.
2020-07-27 20:36:00,881 2156 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyZipPackage'.
2020-07-27 20:36:00,881 2156 [INFO ] - VERBOSE: Exporting function 'Update-SessionEnvironment'.
2020-07-27 20:36:00,897 2156 [INFO ] - VERBOSE: Exporting function 'Write-ChocolateyFailure'.
2020-07-27 20:36:00,897 2156 [INFO ] - VERBOSE: Exporting function 'Write-ChocolateySuccess'.
2020-07-27 20:36:00,912 2156 [INFO ] - VERBOSE: Exporting function 'Write-FileUpdateLog'.
2020-07-27 20:36:00,912 2156 [INFO ] - VERBOSE: Exporting function 'Write-FunctionCallLogMessage'.
2020-07-27 20:36:00,928 2156 [INFO ] - VERBOSE: Exporting function 'Get-AppInstallLocation'.
2020-07-27 20:36:00,928 2156 [INFO ] - VERBOSE: Exporting function 'Get-AvailableDriveLetter'.
2020-07-27 20:36:00,945 2156 [INFO ] - VERBOSE: Exporting function 'Get-EffectiveProxy'.
2020-07-27 20:36:00,945 2156 [INFO ] - VERBOSE: Exporting function 'Get-PackageCacheLocation'.
2020-07-27 20:36:00,959 2156 [INFO ] - VERBOSE: Exporting function 'Get-WebContent'.
2020-07-27 20:36:00,959 2156 [INFO ] - VERBOSE: Exporting function 'Register-Application'.
2020-07-27 20:36:00,975 2156 [INFO ] - VERBOSE: Exporting function 'Remove-Process'.
2020-07-27 20:36:00,975 2156 [INFO ] - VERBOSE: Exporting alias 'Get-ProcessorBits'.
2020-07-27 20:36:00,990 2156 [INFO ] - VERBOSE: Exporting alias 'Get-OSBitness'.
2020-07-27 20:36:00,990 2156 [INFO ] - VERBOSE: Exporting alias 'Get-InstallRegistryKey'.
2020-07-27 20:36:00,990 2156 [INFO ] - VERBOSE: Exporting alias 'Generate-BinFile'.
2020-07-27 20:36:01,007 2156 [INFO ] - VERBOSE: Exporting alias 'Add-BinFile'.
2020-07-27 20:36:01,022 2156 [INFO ] - VERBOSE: Exporting alias 'Start-ChocolateyProcess'.
2020-07-27 20:36:01,022 2156 [INFO ] - VERBOSE: Exporting alias 'Invoke-ChocolateyProcess'.
2020-07-27 20:36:01,037 2156 [INFO ] - VERBOSE: Exporting alias 'Remove-BinFile'.
2020-07-27 20:36:01,037 2156 [INFO ] - VERBOSE: Exporting alias 'refreshenv'.
2020-07-27 20:36:01,037 2156 [INFO ] - VERBOSE: Importing function 'Format-FileSize'.
2020-07-27 20:36:01,053 2156 [INFO ] - VERBOSE: Importing function 'Get-AppInstallLocation'.
2020-07-27 20:36:01,053 2156 [INFO ] - VERBOSE: Importing function 'Get-AvailableDriveLetter'.
2020-07-27 20:36:01,070 2156 [INFO ] - VERBOSE: Importing function 'Get-ChecksumValid'.
2020-07-27 20:36:01,070 2156 [INFO ] - VERBOSE: Importing function 'Get-ChocolateyUnzip'.
2020-07-27 20:36:01,084 2156 [INFO ] - VERBOSE: Importing function 'Get-ChocolateyWebFile'.
2020-07-27 20:36:01,084 2156 [INFO ] - VERBOSE: Importing function 'Get-EffectiveProxy'.
2020-07-27 20:36:01,100 2156 [INFO ] - VERBOSE: Importing function 'Get-EnvironmentVariable'.
2020-07-27 20:36:01,100 2156 [INFO ] - VERBOSE: Importing function 'Get-EnvironmentVariableNames'.
2020-07-27 20:36:01,117 2156 [INFO ] - VERBOSE: Importing function 'Get-FtpFile'.
2020-07-27 20:36:01,117 2156 [INFO ] - VERBOSE: Importing function 'Get-OSArchitectureWidth'.
2020-07-27 20:36:01,131 2156 [INFO ] - VERBOSE: Importing function 'Get-PackageCacheLocation'.
2020-07-27 20:36:01,131 2156 [INFO ] - VERBOSE: Importing function 'Get-PackageParameters'.
2020-07-27 20:36:01,148 2156 [INFO ] - VERBOSE: Importing function 'Get-PackageParametersBuiltIn'.
2020-07-27 20:36:01,148 2156 [INFO ] - VERBOSE: Importing function 'Get-ToolsLocation'.
2020-07-27 20:36:01,162 2156 [INFO ] - VERBOSE: Importing function 'Get-UACEnabled'.
2020-07-27 20:36:01,162 2156 [INFO ] - VERBOSE: Importing function 'Get-UninstallRegistryKey'.
2020-07-27 20:36:01,178 2156 [INFO ] - VERBOSE: Importing function 'Get-VirusCheckValid'.
2020-07-27 20:36:01,178 2156 [INFO ] - VERBOSE: Importing function 'Get-WebContent'.
2020-07-27 20:36:01,194 2156 [INFO ] - VERBOSE: Importing function 'Get-WebFile'.
2020-07-27 20:36:01,194 2156 [INFO ] - VERBOSE: Importing function 'Get-WebFileName'.
2020-07-27 20:36:01,210 2156 [INFO ] - VERBOSE: Importing function 'Get-WebHeaders'.
2020-07-27 20:36:01,225 2156 [INFO ] - VERBOSE: Importing function 'Install-BinFile'.
2020-07-27 20:36:01,225 2156 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyDesktopLink'.
2020-07-27 20:36:01,240 2156 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyEnvironmentVariable'.
2020-07-27 20:36:01,240 2156 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyExplorerMenuItem'.
2020-07-27 20:36:01,256 2156 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyFileAssociation'.
2020-07-27 20:36:01,256 2156 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyInstallPackage'.
2020-07-27 20:36:01,272 2156 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPackage'.
2020-07-27 20:36:01,272 2156 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPath'.
2020-07-27 20:36:01,287 2156 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPinnedTaskBarItem'.
2020-07-27 20:36:01,287 2156 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPowershellCommand'.
2020-07-27 20:36:01,319 2156 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyShortcut'.
2020-07-27 20:36:01,319 2156 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyVsixPackage'.
2020-07-27 20:36:01,335 2156 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyZipPackage'.
2020-07-27 20:36:01,335 2156 [INFO ] - VERBOSE: Importing function 'Install-Vsix'.
2020-07-27 20:36:01,351 2156 [INFO ] - VERBOSE: Importing function 'Register-Application'.
2020-07-27 20:36:01,351 2156 [INFO ] - VERBOSE: Importing function 'Remove-Process'.
2020-07-27 20:36:01,366 2156 [INFO ] - VERBOSE: Importing function 'Set-EnvironmentVariable'.
2020-07-27 20:36:01,381 2156 [INFO ] - VERBOSE: Importing function 'Set-PowerShellExitCode'.
2020-07-27 20:36:01,381 2156 [INFO ] - VERBOSE: Importing function 'Start-ChocolateyProcessAsAdmin'.
2020-07-27 20:36:01,397 2156 [INFO ] - VERBOSE: Importing function 'Test-ProcessAdminRights'.
2020-07-27 20:36:01,397 2156 [INFO ] - VERBOSE: Importing function 'Uninstall-BinFile'.
2020-07-27 20:36:01,412 2156 [INFO ] - VERBOSE: Importing function 'Uninstall-ChocolateyEnvironmentVariable'.
2020-07-27 20:36:01,412 2156 [INFO ] - VERBOSE: Importing function 'Uninstall-ChocolateyPackage'.
2020-07-27 20:36:01,412 2156 [INFO ] - VERBOSE: Importing function 'Uninstall-ChocolateyZipPackage'.
2020-07-27 20:36:01,429 2156 [INFO ] - VERBOSE: Importing function 'Update-SessionEnvironment'.
2020-07-27 20:36:01,444 2156 [INFO ] - VERBOSE: Importing function 'Write-ChocolateyFailure'.
2020-07-27 20:36:01,444 2156 [INFO ] - VERBOSE: Importing function 'Write-ChocolateySuccess'.
2020-07-27 20:36:01,459 2156 [INFO ] - VERBOSE: Importing function 'Write-FileUpdateLog'.
2020-07-27 20:36:01,459 2156 [INFO ] - VERBOSE: Importing function 'Write-FunctionCallLogMessage'.
2020-07-27 20:36:01,475 2156 [INFO ] - VERBOSE: Importing alias 'Add-BinFile'.
2020-07-27 20:36:01,475 2156 [INFO ] - VERBOSE: Importing alias 'Generate-BinFile'.
2020-07-27 20:36:01,506 2156 [INFO ] - VERBOSE: Importing alias 'Get-InstallRegistryKey'.
2020-07-27 20:36:01,506 2156 [INFO ] - VERBOSE: Importing alias 'Get-OSBitness'.
2020-07-27 20:36:01,523 2156 [INFO ] - VERBOSE: Importing alias 'Get-ProcessorBits'.
2020-07-27 20:36:01,523 2156 [INFO ] - VERBOSE: Importing alias 'Invoke-ChocolateyProcess'.
2020-07-27 20:36:01,537 2156 [INFO ] - VERBOSE: Importing alias 'refreshenv'.
2020-07-27 20:36:01,537 2156 [INFO ] - VERBOSE: Importing alias 'Remove-BinFile'.
2020-07-27 20:36:01,553 2156 [INFO ] - VERBOSE: Importing alias 'Start-ChocolateyProcess'.
2020-07-27 20:36:01,819 2156 [DEBUG] - ---------------------------Script Execution---------------------------
2020-07-27 20:36:01,836 2156 [DEBUG] - Running 'ChocolateyScriptRunner' for Coq v8.12.0 with packageScript 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyUninstall.ps1', packageFolder:'C:\ProgramData\chocolatey\lib\Coq', installArguments: '', packageParameters: '',
2020-07-27 20:36:01,881 2156 [DEBUG] - Running 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyUninstall.ps1'
2020-07-27 20:36:02,242 2156 [DEBUG] - Running 'Get-UninstallRegistryKey' for 'Coq' with SoftwareName:'coq*'
2020-07-27 20:36:02,256 2156 [INFO ] - VERBOSE: Retrieving all uninstall registry keys
2020-07-27 20:36:02,444 2156 [DEBUG] - Registry uninstall keys on system: 32
2020-07-27 20:36:02,444 2156 [DEBUG] - Error handling check: 'Get-ItemProperty' fails if a registry key is encoded incorrectly.
2020-07-27 20:36:02,555 2156 [DEBUG] - Found 1 uninstall registry key(s) with SoftwareName:'coq*'
2020-07-27 20:36:02,662 2156 [DEBUG] - Running Uninstall-ChocolateyPackage -packageName 'Coq' -fileType 'exe' -validExitCodes '0' -silentArgs '/S' -file '"C:\Coq\Uninstall.exe"'
2020-07-27 20:36:02,709 2156 [INFO ] - Uninstalling Coq...
2020-07-27 20:36:02,709 2156 [INFO ] -
2020-07-27 20:36:02,850 2156 [DEBUG] - Running Start-ChocolateyProcessAsAdmin -validExitCodes '0' -statements '/S ' -exeToRun '"C:\Coq\Uninstall.exe"'
2020-07-27 20:36:02,943 2156 [DEBUG] - Unable to use current location for Working Directory. Using Cache Location instead.
2020-07-27 20:36:03,022 2156 [DEBUG] - Test-ProcessAdminRights: returning True
2020-07-27 20:36:03,057 2156 [DEBUG] - Elevating permissions and running ["C:\Coq\Uninstall.exe" /S ]. This may take a while, depending on the statements.
2020-07-27 20:36:03,538 2156 [DEBUG] - Command ["C:\Coq\Uninstall.exe" /S ] exited with '0'.
2020-07-27 20:36:03,569 2156 [DEBUG] - Finishing 'Start-ChocolateyProcessAsAdmin'
2020-07-27 20:36:03,585 2156 [INFO ] - 0
2020-07-27 20:36:03,585 2156 [INFO ] - Coq has been uninstalled.
2020-07-27 20:36:03,585 2156 [INFO ] -
2020-07-27 20:36:03,585 2156 [INFO ] - ^^ No it hasn't just yet...
2020-07-27 20:36:03,600 2156 [INFO ] -
2020-07-27 20:36:03,600 2156 [INFO ] - Waiting for the uninstall process to close...
2020-07-27 20:36:03,600 2156 [INFO ] -
2020-07-27 20:36:08,679 2156 [DEBUG] - ----------------------------------------------------------------------
2020-07-27 20:36:08,694 2156 [DEBUG] - Built-in PowerShell host called with ['[System.Threading.Thread]::CurrentThread.CurrentCulture = '';[System.Threading.Thread]::CurrentThread.CurrentUICulture = ''; & import-module -name 'C:\ProgramData\chocolatey\helpers\chocolateyInstaller.psm1'; & 'C:\ProgramData\chocolatey\helpers\chocolateyScriptRunner.ps1' -packageScript 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyUninstall.ps1' -installArguments '' -packageParameters '''] exited with '0'.
2020-07-27 20:36:08,756 2156 [INFO ] - Running auto uninstaller...
2020-07-27 20:36:08,756 2156 [DEBUG] - Sleeping for 2 seconds to allow Windows to finish cleaning up.
2020-07-27 20:36:10,834 2156 [DEBUG] - Preparing uninstall key '"C:\Coq\Uninstall.exe"' for 'Coq Version 8.12.0'
2020-07-27 20:36:11,068 2156 [INFO ] - Skipping auto uninstaller - 'Coq Version 8.12.0' appears to have been uninstalled already by other means.
2020-07-27 20:36:11,178 2156 [DEBUG] - Searched for install path '' - found? False
2020-07-27 20:36:11,194 2156 [DEBUG] - Searched for registry key 'HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\Windows\CurrentVersion\Uninstall\Coq' value 'InstallLocation' - found? False
2020-07-27 20:36:11,194 2156 [DEBUG] - Calling command ['"C:\Windows\System32\shutdown.exe" /a']
2020-07-27 20:36:11,225 2156 [DEBUG] - Command ['"C:\Windows\System32\shutdown.exe" /a'] exited with '1116'
2020-07-27 20:36:11,242 2156 [DEBUG] - Attempting to delete directory "C:\ProgramData\chocolatey\lib-bkp\coq".
2020-07-27 20:36:11,304 2156 [DEBUG] - [NuGet] Removed file 'chocolateyInstall.ps1' to folder 'C:\ProgramData\chocolatey\lib\Coq\tools'.
2020-07-27 20:36:11,304 2156 [DEBUG] - [NuGet] Removed file 'chocolateyUninstall.ps1' to folder 'C:\ProgramData\chocolatey\lib\Coq\tools'.
2020-07-27 20:36:11,319 2156 [DEBUG] - [NuGet] Removed folder 'C:\ProgramData\chocolatey\lib\Coq\tools'.
2020-07-27 20:36:11,319 2156 [DEBUG] - [NuGet] Removed file 'Coq.nuspec' to folder 'C:\ProgramData\chocolatey\lib\Coq'.
2020-07-27 20:36:11,334 2156 [DEBUG] - [NuGet] Removed file 'Coq.nupkg' to folder 'C:\ProgramData\chocolatey\lib\Coq'.
2020-07-27 20:36:11,334 2156 [DEBUG] - [NuGet] Removed folder 'C:\ProgramData\chocolatey\lib\Coq'.
2020-07-27 20:36:11,334 2156 [INFO ] - [NuGet] Successfully uninstalled 'Coq 8.12.0'.
2020-07-27 20:36:11,351 2156 [INFO ] - Coq has been successfully uninstalled.
2020-07-27 20:36:11,365 2156 [DEBUG] - Removing nupkg if it still exists.
2020-07-27 20:36:11,365 2156 [DEBUG] - Ensuring removal of installation files.
2020-07-27 20:36:11,382 2156 [DEBUG] - Ensuring removal of package cache files.
2020-07-27 20:36:11,382 2156 [DEBUG] - Attempting to delete directory "C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.12.0".
2020-07-27 20:36:11,445 2156 [WARN ] -
Chocolatey uninstalled 1/1 packages.
See the log for details (C:\ProgramData\chocolatey\logs\chocolatey.log).
2020-07-27 20:36:11,490 2156 [DEBUG] - Sending message 'PostRunMessage' out if there are subscribers...
2020-07-27 20:36:11,522 2156 [DEBUG] - Exiting with 0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.