Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
Coq v8.12.1 - 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.1" displayVersion="8.12.1">
<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.1 - Passed - Package Test Results

  • https://chocolatey.org/packages/Coq/8.12.1
  • Tested 19 Nov 2020 05:15:47 +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.5.0-1-g57c3bd8
  • 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="F887D8FB379A2EDDE1C26183AF5DD9C8" />
<file path="C:\ProgramData\chocolatey\lib\Coq\Coq.nuspec" checksum="FBEFE1E5FFE3514FD22C56E9C672F824" />
<file path="C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyInstall.ps1" checksum="E4EE397DE5C3BF6084847D376F51E9C9" />
<file path="C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyUninstall.ps1" checksum="A985B284D16501E6678AF87FE34BA9EF" />
</files>
</fileSnapshot>
2020-11-17 12:51:06,095 932 [DEBUG] - XmlConfiguration is now operational
2020-11-17 12:51:06,282 932 [INFO ] - ============================================================
2020-11-17 12:51:06,938 932 [INFO ] - Chocolatey v0.10.16-beta
2020-11-17 12:51:06,969 932 [DEBUG] - Chocolatey is running on Windows v 6.3.9600.0
2020-11-17 12:51:06,985 932 [DEBUG] - Attempting to delete file "C:/ProgramData/chocolatey/choco.exe.old".
2020-11-17 12:51:06,985 932 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\choco.exe.old".
2020-11-17 12:51:07,002 932 [DEBUG] - Command line: "C:\ProgramData\chocolatey\choco.exe" install Coq --version 8.12.1 -fdvy --execution-timeout=3600 --allow-downgrade
2020-11-17 12:51:07,017 932 [DEBUG] - Received arguments: install Coq --version 8.12.1 -fdvy --execution-timeout=3600 --allow-downgrade
2020-11-17 12:51:07,143 932 [DEBUG] - RemovePendingPackagesTask is now ready and waiting for PreRunMessage.
2020-11-17 12:51:07,235 932 [DEBUG] - Sending message 'PreRunMessage' out if there are subscribers...
2020-11-17 12:51:07,267 932 [DEBUG] - [Pending] Removing all pending packages that should not be considered installed...
2020-11-17 12:51:07,424 932 [DEBUG] - Performing validation checks.
2020-11-17 12:51:07,516 932 [DEBUG] - Global Configuration Validation Checks:
2020-11-17 12:51:07,563 932 [DEBUG] - - Package Exit Code / Exit On Reboot = Checked
2020-11-17 12:51:07,579 932 [DEBUG] - System State Validation Checks:
2020-11-17 12:51:07,596 932 [DEBUG] - Reboot Requirement Checks:
2020-11-17 12:51:07,627 932 [DEBUG] - - Pending Computer Rename = Checked
2020-11-17 12:51:07,627 932 [DEBUG] - - Pending Component Based Servicing = Flagged
2020-11-17 12:51:07,641 932 [INFO ] - 2 validations performed. 1 success(es), 1 warning(s), and 0 error(s).
2020-11-17 12:51:07,657 932 [INFO ] -
2020-11-17 12:51:07,672 932 [WARN ] - Validation Warnings:
2020-11-17 12:51:07,688 932 [WARN ] - - A pending system reboot request has been detected, however, this is
being ignored due to the current Chocolatey configuration. If you
want to halt when this occurs, then either set the global feature
using:
choco feature enable -name=exitOnRebootDetected
or pass the option --exit-when-reboot-detected.
2020-11-17 12:51:07,719 932 [DEBUG] - The source 'c:\cached-packages;https://chocolatey.org/api/v2/' evaluated to a 'normal' source type
2020-11-17 12:51:07,735 932 [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-11-17 12:51:07,767 932 [DEBUG] - Configuration: CommandName='install'|
CacheLocation='C:\Users\Administrator\AppData\Local\Temp\chocolatey'|
ContainsLegacyPackageInstalls='True'|
CommandExecutionTimeoutSeconds='3600'|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.1'|
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.16.0'|
Information.ChocolateyProductVersion='0.10.16-beta'|
Information.FullName='choco, Version=0.10.16.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-11-17 12:51:07,781 932 [DEBUG] - _ Chocolatey:ChocolateyInstallCommand - Normal Run Mode _
2020-11-17 12:51:07,891 932 [INFO ] - Installing the following packages:
2020-11-17 12:51:07,891 932 [INFO ] - Coq
2020-11-17 12:51:07,891 932 [INFO ] - By installing you accept licenses for the packages.
2020-11-17 12:51:07,907 932 [DEBUG] - Current environment values (may contain sensitive data):
2020-11-17 12:51:07,923 932 [DEBUG] - * 'TMP'='C:\Users\Administrator\AppData\Local\Temp' ('User')
2020-11-17 12:51:07,923 932 [DEBUG] - * 'TEMP'='C:\Users\Administrator\AppData\Local\Temp' ('User')
2020-11-17 12:51:07,923 932 [DEBUG] - * 'ChocolateyLastPathUpdate'='132500892869611156' ('User')
2020-11-17 12:51:07,939 932 [DEBUG] - * 'FP_NO_HOST_CHECK'='NO' ('Machine')
2020-11-17 12:51:07,939 932 [DEBUG] - * 'USERNAME'='SYSTEM' ('Machine')
2020-11-17 12:51:07,939 932 [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-11-17 12:51:07,954 932 [DEBUG] - * 'ComSpec'='C:\Windows\system32\cmd.exe' ('Machine')
2020-11-17 12:51:07,954 932 [DEBUG] - * 'TMP'='C:\Windows\TEMP' ('Machine')
2020-11-17 12:51:07,954 932 [DEBUG] - * 'OS'='Windows_NT' ('Machine')
2020-11-17 12:51:07,954 932 [DEBUG] - * 'windir'='C:\Windows' ('Machine')
2020-11-17 12:51:07,969 932 [DEBUG] - * 'PROCESSOR_ARCHITECTURE'='AMD64' ('Machine')
2020-11-17 12:51:07,969 932 [DEBUG] - * 'TEMP'='C:\Windows\TEMP' ('Machine')
2020-11-17 12:51:07,969 932 [DEBUG] - * 'PATHEXT'='.COM;.EXE;.BAT;.CMD;.VBS;.VBE;.JS;.JSE;.WSF;.WSH;.MSC' ('Machine')
2020-11-17 12:51:07,969 932 [DEBUG] - * 'PSModulePath'='C:\Windows\system32\WindowsPowerShell\v1.0\Modules\' ('Machine')
2020-11-17 12:51:07,985 932 [DEBUG] - * 'NUMBER_OF_PROCESSORS'='1' ('Machine')
2020-11-17 12:51:07,985 932 [DEBUG] - * 'PROCESSOR_LEVEL'='16' ('Machine')
2020-11-17 12:51:07,985 932 [DEBUG] - * 'PROCESSOR_IDENTIFIER'='AMD64 Family 16 Model 6 Stepping 3, AuthenticAMD' ('Machine')
2020-11-17 12:51:08,001 932 [DEBUG] - * 'PROCESSOR_REVISION'='0603' ('Machine')
2020-11-17 12:51:08,001 932 [DEBUG] - * 'HOME'='C:\Users\Administrator' ('Machine')
2020-11-17 12:51:08,016 932 [DEBUG] - * 'ChocolateyInstall'='C:\ProgramData\chocolatey' ('Machine')
2020-11-17 12:51:11,157 932 [INFO ] - [NuGet] Attempting to resolve dependency 'chocolatey-core.extension (= 1.3.3)'.
2020-11-17 12:51:12,673 932 [INFO ] - [NuGet] Installing 'chocolatey-core.extension 1.3.5.1'.
2020-11-17 12:51:12,844 932 [DEBUG] - [NuGet] Added file 'chocolatey-core.psm1' to folder 'chocolatey-core.extension\extensions'.
2020-11-17 12:51:12,892 932 [DEBUG] - [NuGet] Added file 'Get-AppInstallLocation.ps1' to folder 'chocolatey-core.extension\extensions'.
2020-11-17 12:51:12,892 932 [DEBUG] - [NuGet] Added file 'Get-AvailableDriveLetter.ps1' to folder 'chocolatey-core.extension\extensions'.
2020-11-17 12:51:12,924 932 [DEBUG] - [NuGet] Added file 'Get-EffectiveProxy.ps1' to folder 'chocolatey-core.extension\extensions'.
2020-11-17 12:51:12,938 932 [DEBUG] - [NuGet] Added file 'Get-PackageCacheLocation.ps1' to folder 'chocolatey-core.extension\extensions'.
2020-11-17 12:51:12,938 932 [DEBUG] - [NuGet] Added file 'Get-PackageParameters.ps1' to folder 'chocolatey-core.extension\extensions'.
2020-11-17 12:51:12,938 932 [DEBUG] - [NuGet] Added file 'Get-UninstallRegistryKey.ps1' to folder 'chocolatey-core.extension\extensions'.
2020-11-17 12:51:12,955 932 [DEBUG] - [NuGet] Added file 'Get-WebContent.ps1' to folder 'chocolatey-core.extension\extensions'.
2020-11-17 12:51:12,955 932 [DEBUG] - [NuGet] Added file 'Register-Application.ps1' to folder 'chocolatey-core.extension\extensions'.
2020-11-17 12:51:12,969 932 [DEBUG] - [NuGet] Added file 'Remove-Process.ps1' to folder 'chocolatey-core.extension\extensions'.
2020-11-17 12:51:12,985 932 [DEBUG] - [NuGet] Added file 'chocolatey-core.extension.nupkg' to folder 'chocolatey-core.extension'.
2020-11-17 12:51:13,344 932 [DEBUG] - [NuGet] Added file 'chocolatey-core.extension.nuspec' to folder 'chocolatey-core.extension'.
2020-11-17 12:51:13,344 932 [INFO ] - [NuGet] Successfully installed 'chocolatey-core.extension 1.3.5.1'.
2020-11-17 12:51:13,391 932 [INFO ] -
chocolatey-core.extension v1.3.5.1 (forced)
2020-11-17 12:51:13,439 932 [INFO ] - chocolatey-core.extension package files install completed. Performing other installation steps.
2020-11-17 12:51:13,767 932 [DEBUG] - Capturing package files in 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension'
2020-11-17 12:51:13,907 932 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\chocolatey-core.extension.nupkg'
with checksum '7F066B11D65D07704BDB0A9D8FB4437F'
2020-11-17 12:51:13,907 932 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\chocolatey-core.extension.nuspec'
with checksum 'D71F7B1D873058AA1A6CE4EA7CD21AE8'
2020-11-17 12:51:13,922 932 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\chocolatey-core.psm1'
with checksum '8007E67FDE249548DBF78D1DC8AFDCCC'
2020-11-17 12:51:13,954 932 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Get-AppInstallLocation.ps1'
with checksum 'D036C97BC50A3731BF69A15417F60E72'
2020-11-17 12:51:13,969 932 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Get-AvailableDriveLetter.ps1'
with checksum '2F386746AFC2ACB9561DFB245239B93F'
2020-11-17 12:51:13,986 932 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Get-EffectiveProxy.ps1'
with checksum '3895F062D2D91D9D32D1FC57A619066C'
2020-11-17 12:51:14,000 932 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Get-PackageCacheLocation.ps1'
with checksum '77A378E5C659E5A53D2D64E276159B62'
2020-11-17 12:51:14,018 932 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Get-PackageParameters.ps1'
with checksum 'C08B3AF8CA150B6609DF2B978B693269'
2020-11-17 12:51:14,018 932 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Get-UninstallRegistryKey.ps1'
with checksum '3FAA5C11AAFC4EA35BB98EA797446C97'
2020-11-17 12:51:14,032 932 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Get-WebContent.ps1'
with checksum '57D013E581EFEA3D4D8366183C9A5797'
2020-11-17 12:51:14,047 932 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Register-Application.ps1'
with checksum 'D2853E569DAC9A341642BA76EC4FB411'
2020-11-17 12:51:14,063 932 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Remove-Process.ps1'
with checksum 'CFDFB899BE8491454B264BF7C5EF08BA'
2020-11-17 12:51:14,094 932 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\extensions\chocolatey-core".
2020-11-17 12:51:14,141 932 [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-11-17 12:51:14,141 932 [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-11-17 12:51:14,141 932 [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-11-17 12:51:14,157 932 [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-11-17 12:51:14,188 932 [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-11-17 12:51:14,203 932 [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-11-17 12:51:14,203 932 [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-11-17 12:51:14,203 932 [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-11-17 12:51:14,220 932 [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-11-17 12:51:14,236 932 [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-11-17 12:51:15,750 932 [WARN ] - Installed/updated chocolatey-core extensions.
2020-11-17 12:51:15,813 932 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\.chocolatey\chocolatey-core.extension.1.3.5.1".
2020-11-17 12:51:15,876 932 [DEBUG] - There was no original file at 'C:\ProgramData\chocolatey\.chocolatey\chocolatey-core.extension.1.3.5.1\.files'
2020-11-17 12:51:15,922 932 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\chocolatey-core.extension.1.3.5.1\.extra".
2020-11-17 12:51:16,266 932 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\chocolatey-core.extension.1.3.5.1\.version".
2020-11-17 12:51:16,266 932 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\chocolatey-core.extension.1.3.5.1\.sxs".
2020-11-17 12:51:16,266 932 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\chocolatey-core.extension.1.3.5.1\.pin".
2020-11-17 12:51:16,282 932 [DEBUG] - Sending message 'HandlePackageResultCompletedMessage' out if there are subscribers...
2020-11-17 12:51:16,297 932 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\chocolatey-core.extension\.chocolateyPending".
2020-11-17 12:51:16,297 932 [INFO ] - The install of chocolatey-core.extension was successful.
2020-11-17 12:51:16,297 932 [INFO ] - Software installed to 'C:\ProgramData\chocolatey\extensions\chocolatey-core'
2020-11-17 12:51:16,344 932 [INFO ] - [NuGet] Installing 'Coq 8.12.1'.
2020-11-17 12:51:16,407 932 [DEBUG] - [NuGet] Added file 'chocolateyInstall.ps1' to folder 'Coq\tools'.
2020-11-17 12:51:16,422 932 [DEBUG] - [NuGet] Added file 'chocolateyUninstall.ps1' to folder 'Coq\tools'.
2020-11-17 12:51:16,422 932 [DEBUG] - [NuGet] Added file 'Coq.nupkg' to folder 'Coq'.
2020-11-17 12:51:17,079 932 [DEBUG] - [NuGet] Added file 'Coq.nuspec' to folder 'Coq'.
2020-11-17 12:51:17,079 932 [INFO ] - [NuGet] Successfully installed 'Coq 8.12.1'.
2020-11-17 12:51:17,079 932 [INFO ] -
Coq v8.12.1 (forced)
2020-11-17 12:51:17,111 932 [INFO ] - coq package files install completed. Performing other installation steps.
2020-11-17 12:51:17,157 932 [DEBUG] - Setting installer args for Coq
2020-11-17 12:51:17,172 932 [DEBUG] - Setting package parameters for Coq
2020-11-17 12:51:17,191 932 [DEBUG] - Contents of 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyInstall.ps1':
2020-11-17 12:51:17,439 932 [DEBUG] - $ErrorActionPreference = 'Stop'
$packageArgs = @{
packageName = $env:ChocolateyPackageName
fileType = 'exe'
url = 'https://github.com/coq/coq/releases/download/V8.12.1/coq-8.12.1-installer-windows-i686.exe'
url64bit = 'https://github.com/coq/coq/releases/download/V8.12.1/coq-8.12.1-installer-windows-x86_64.exe'
softwareName = 'coq*'
checksum = '6f1b06fd11a5e645613f08d742415a55f8d2bd27c2a762ecc73e7efae7bfb5b5'
checksumType = 'sha256'
checksum64 = '6a287c3b7b783064485561386194c3460b30e7210cf315b95eaeb93402150680'
checksumType64 = 'sha256'
silentArgs = '/S'
validExitCodes = @(0)
}
Install-ChocolateyPackage @packageArgs
2020-11-17 12:51:17,486 932 [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-11-17 12:51:17,500 932 [DEBUG] - Redirecting System.Management.Automation.resources, Version=3.0.0.0, Culture=en-US, PublicKeyToken=31bf3856ad364e35, requested by ''
2020-11-17 12:51:18,142 932 [DEBUG] - Host version is 4.0, PowerShell Version is '4.0' and CLR Version is '4.0.30319.34014'.
2020-11-17 12:51:18,657 932 [INFO ] - VERBOSE: Exporting function 'Format-FileSize'.
2020-11-17 12:51:18,657 932 [INFO ] - VERBOSE: Exporting function 'Get-ChecksumValid'.
2020-11-17 12:51:18,672 932 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyUnzip'.
2020-11-17 12:51:18,672 932 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyWebFile'.
2020-11-17 12:51:18,672 932 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariable'.
2020-11-17 12:51:18,672 932 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariableNames'.
2020-11-17 12:51:18,688 932 [INFO ] - VERBOSE: Exporting function 'Get-FtpFile'.
2020-11-17 12:51:18,688 932 [INFO ] - VERBOSE: Exporting function 'Get-OSArchitectureWidth'.
2020-11-17 12:51:18,688 932 [INFO ] - VERBOSE: Exporting function 'Get-PackageParameters'.
2020-11-17 12:51:18,688 932 [INFO ] - VERBOSE: Exporting function 'Get-PackageParametersBuiltIn'.
2020-11-17 12:51:18,705 932 [INFO ] - VERBOSE: Exporting function 'Get-ToolsLocation'.
2020-11-17 12:51:18,705 932 [INFO ] - VERBOSE: Exporting function 'Get-UACEnabled'.
2020-11-17 12:51:18,705 932 [INFO ] - VERBOSE: Exporting function 'Get-UninstallRegistryKey'.
2020-11-17 12:51:18,719 932 [INFO ] - VERBOSE: Exporting function 'Get-VirusCheckValid'.
2020-11-17 12:51:18,719 932 [INFO ] - VERBOSE: Exporting function 'Get-WebFile'.
2020-11-17 12:51:18,719 932 [INFO ] - VERBOSE: Exporting function 'Get-WebFileName'.
2020-11-17 12:51:18,719 932 [INFO ] - VERBOSE: Exporting function 'Get-WebHeaders'.
2020-11-17 12:51:18,735 932 [INFO ] - VERBOSE: Exporting function 'Install-BinFile'.
2020-11-17 12:51:18,735 932 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyDesktopLink'.
2020-11-17 12:51:18,735 932 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyEnvironmentVariable'.
2020-11-17 12:51:18,751 932 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyExplorerMenuItem'.
2020-11-17 12:51:18,751 932 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyFileAssociation'.
2020-11-17 12:51:18,751 932 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyInstallPackage'.
2020-11-17 12:51:18,766 932 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPackage'.
2020-11-17 12:51:18,766 932 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPath'.
2020-11-17 12:51:18,766 932 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPinnedTaskBarItem'.
2020-11-17 12:51:18,766 932 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPowershellCommand'.
2020-11-17 12:51:18,783 932 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyShortcut'.
2020-11-17 12:51:18,783 932 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyVsixPackage'.
2020-11-17 12:51:18,783 932 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyZipPackage'.
2020-11-17 12:51:18,783 932 [INFO ] - VERBOSE: Exporting function 'Install-Vsix'.
2020-11-17 12:51:18,799 932 [INFO ] - VERBOSE: Exporting function 'Set-EnvironmentVariable'.
2020-11-17 12:51:18,799 932 [INFO ] - VERBOSE: Exporting function 'Set-PowerShellExitCode'.
2020-11-17 12:51:18,799 932 [INFO ] - VERBOSE: Exporting function 'Start-ChocolateyProcessAsAdmin'.
2020-11-17 12:51:18,813 932 [INFO ] - VERBOSE: Exporting function 'Test-ProcessAdminRights'.
2020-11-17 12:51:18,813 932 [INFO ] - VERBOSE: Exporting function 'Uninstall-BinFile'.
2020-11-17 12:51:18,813 932 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyEnvironmentVariable'.
2020-11-17 12:51:18,830 932 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyPackage'.
2020-11-17 12:51:18,830 932 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyZipPackage'.
2020-11-17 12:51:18,830 932 [INFO ] - VERBOSE: Exporting function 'Update-SessionEnvironment'.
2020-11-17 12:51:18,830 932 [INFO ] - VERBOSE: Exporting function 'Write-ChocolateyFailure'.
2020-11-17 12:51:18,845 932 [INFO ] - VERBOSE: Exporting function 'Write-ChocolateySuccess'.
2020-11-17 12:51:18,845 932 [INFO ] - VERBOSE: Exporting function 'Write-FileUpdateLog'.
2020-11-17 12:51:18,845 932 [INFO ] - VERBOSE: Exporting function 'Write-FunctionCallLogMessage'.
2020-11-17 12:51:18,861 932 [INFO ] - VERBOSE: Exporting alias 'Get-ProcessorBits'.
2020-11-17 12:51:18,861 932 [INFO ] - VERBOSE: Exporting alias 'Get-OSBitness'.
2020-11-17 12:51:18,861 932 [INFO ] - VERBOSE: Exporting alias 'Get-InstallRegistryKey'.
2020-11-17 12:51:18,861 932 [INFO ] - VERBOSE: Exporting alias 'Generate-BinFile'.
2020-11-17 12:51:18,876 932 [INFO ] - VERBOSE: Exporting alias 'Add-BinFile'.
2020-11-17 12:51:18,876 932 [INFO ] - VERBOSE: Exporting alias 'Start-ChocolateyProcess'.
2020-11-17 12:51:18,876 932 [INFO ] - VERBOSE: Exporting alias 'Invoke-ChocolateyProcess'.
2020-11-17 12:51:18,892 932 [INFO ] - VERBOSE: Exporting alias 'Remove-BinFile'.
2020-11-17 12:51:18,892 932 [INFO ] - VERBOSE: Exporting alias 'refreshenv'.
2020-11-17 12:51:18,923 932 [DEBUG] - Loading community extensions
2020-11-17 12:51:18,938 932 [DEBUG] - Importing 'C:\ProgramData\chocolatey\extensions\chocolatey-core\chocolatey-core.psm1'
2020-11-17 12:51:18,938 932 [INFO ] - VERBOSE: Loading module from path 'C:\ProgramData\chocolatey\extensions\chocolatey-core\chocolatey-core.psm1'.
2020-11-17 12:51:20,376 932 [INFO ] - VERBOSE: Exporting function 'Get-UninstallRegistryKey'.
2020-11-17 12:51:20,392 932 [INFO ] - VERBOSE: Exporting function 'Get-AppInstallLocation'.
2020-11-17 12:51:20,392 932 [INFO ] - VERBOSE: Exporting function 'Get-AvailableDriveLetter'.
2020-11-17 12:51:20,392 932 [INFO ] - VERBOSE: Exporting function 'Get-EffectiveProxy'.
2020-11-17 12:51:20,407 932 [INFO ] - VERBOSE: Exporting function 'Get-PackageCacheLocation'.
2020-11-17 12:51:20,407 932 [INFO ] - VERBOSE: Exporting function 'Get-PackageParameters'.
2020-11-17 12:51:20,407 932 [INFO ] - VERBOSE: Exporting function 'Get-WebContent'.
2020-11-17 12:51:20,422 932 [INFO ] - VERBOSE: Exporting function 'Register-Application'.
2020-11-17 12:51:20,422 932 [INFO ] - VERBOSE: Exporting function 'Remove-Process'.
2020-11-17 12:51:20,439 932 [INFO ] - VERBOSE: Importing function 'Get-AppInstallLocation'.
2020-11-17 12:51:20,454 932 [INFO ] - VERBOSE: Importing function 'Get-AvailableDriveLetter'.
2020-11-17 12:51:20,486 932 [INFO ] - VERBOSE: Importing function 'Get-EffectiveProxy'.
2020-11-17 12:51:20,501 932 [INFO ] - VERBOSE: Importing function 'Get-PackageCacheLocation'.
2020-11-17 12:51:20,517 932 [INFO ] - VERBOSE: Importing function 'Get-PackageParameters'.
2020-11-17 12:51:20,537 932 [INFO ] - VERBOSE: Importing function 'Get-UninstallRegistryKey'.
2020-11-17 12:51:20,564 932 [INFO ] - VERBOSE: Importing function 'Get-WebContent'.
2020-11-17 12:51:20,564 932 [INFO ] - VERBOSE: Importing function 'Register-Application'.
2020-11-17 12:51:20,564 932 [INFO ] - VERBOSE: Importing function 'Remove-Process'.
2020-11-17 12:51:20,579 932 [DEBUG] - Importing 'C:\ProgramData\chocolatey\extensions\chocolatey-windowsupdate\chocolatey-windowsupdate.psm1'
2020-11-17 12:51:20,579 932 [INFO ] - VERBOSE: Loading module from path 'C:\ProgramData\chocolatey\extensions\chocolatey-windowsupdate\chocolatey-windowsupdate.psm1'.
2020-11-17 12:51:20,767 932 [INFO ] - VERBOSE: Exporting function 'Install-WindowsUpdate'.
2020-11-17 12:51:20,767 932 [INFO ] - VERBOSE: Exporting function 'Test-WindowsUpdate'.
2020-11-17 12:51:20,767 932 [INFO ] - VERBOSE: Importing function 'Install-WindowsUpdate'.
2020-11-17 12:51:20,782 932 [INFO ] - VERBOSE: Importing function 'Test-WindowsUpdate'.
2020-11-17 12:51:20,782 932 [INFO ] - VERBOSE: Exporting function 'Format-FileSize'.
2020-11-17 12:51:20,797 932 [INFO ] - VERBOSE: Exporting function 'Get-ChecksumValid'.
2020-11-17 12:51:20,797 932 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyUnzip'.
2020-11-17 12:51:20,821 932 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyWebFile'.
2020-11-17 12:51:20,821 932 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariable'.
2020-11-17 12:51:20,829 932 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariableNames'.
2020-11-17 12:51:20,829 932 [INFO ] - VERBOSE: Exporting function 'Get-FtpFile'.
2020-11-17 12:51:20,846 932 [INFO ] - VERBOSE: Exporting function 'Get-OSArchitectureWidth'.
2020-11-17 12:51:20,846 932 [INFO ] - VERBOSE: Exporting function 'Get-PackageParameters'.
2020-11-17 12:51:20,846 932 [INFO ] - VERBOSE: Exporting function 'Get-PackageParametersBuiltIn'.
2020-11-17 12:51:20,860 932 [INFO ] - VERBOSE: Exporting function 'Get-ToolsLocation'.
2020-11-17 12:51:20,860 932 [INFO ] - VERBOSE: Exporting function 'Get-UACEnabled'.
2020-11-17 12:51:20,860 932 [INFO ] - VERBOSE: Exporting function 'Get-UninstallRegistryKey'.
2020-11-17 12:51:20,884 932 [INFO ] - VERBOSE: Exporting function 'Get-VirusCheckValid'.
2020-11-17 12:51:20,884 932 [INFO ] - VERBOSE: Exporting function 'Get-WebFile'.
2020-11-17 12:51:20,892 932 [INFO ] - VERBOSE: Exporting function 'Get-WebFileName'.
2020-11-17 12:51:20,892 932 [INFO ] - VERBOSE: Exporting function 'Get-WebHeaders'.
2020-11-17 12:51:20,892 932 [INFO ] - VERBOSE: Exporting function 'Install-BinFile'.
2020-11-17 12:51:20,892 932 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyDesktopLink'.
2020-11-17 12:51:20,907 932 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyEnvironmentVariable'.
2020-11-17 12:51:20,907 932 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyExplorerMenuItem'.
2020-11-17 12:51:20,922 932 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyFileAssociation'.
2020-11-17 12:51:20,922 932 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyInstallPackage'.
2020-11-17 12:51:20,922 932 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPackage'.
2020-11-17 12:51:20,946 932 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPath'.
2020-11-17 12:51:20,946 932 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPinnedTaskBarItem'.
2020-11-17 12:51:20,954 932 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPowershellCommand'.
2020-11-17 12:51:20,954 932 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyShortcut'.
2020-11-17 12:51:20,971 932 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyVsixPackage'.
2020-11-17 12:51:20,971 932 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyZipPackage'.
2020-11-17 12:51:20,971 932 [INFO ] - VERBOSE: Exporting function 'Install-Vsix'.
2020-11-17 12:51:20,985 932 [INFO ] - VERBOSE: Exporting function 'Set-EnvironmentVariable'.
2020-11-17 12:51:20,985 932 [INFO ] - VERBOSE: Exporting function 'Set-PowerShellExitCode'.
2020-11-17 12:51:20,985 932 [INFO ] - VERBOSE: Exporting function 'Start-ChocolateyProcessAsAdmin'.
2020-11-17 12:51:21,009 932 [INFO ] - VERBOSE: Exporting function 'Test-ProcessAdminRights'.
2020-11-17 12:51:21,009 932 [INFO ] - VERBOSE: Exporting function 'Uninstall-BinFile'.
2020-11-17 12:51:21,017 932 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyEnvironmentVariable'.
2020-11-17 12:51:21,017 932 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyPackage'.
2020-11-17 12:51:21,017 932 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyZipPackage'.
2020-11-17 12:51:21,033 932 [INFO ] - VERBOSE: Exporting function 'Update-SessionEnvironment'.
2020-11-17 12:51:21,033 932 [INFO ] - VERBOSE: Exporting function 'Write-ChocolateyFailure'.
2020-11-17 12:51:21,033 932 [INFO ] - VERBOSE: Exporting function 'Write-ChocolateySuccess'.
2020-11-17 12:51:21,033 932 [INFO ] - VERBOSE: Exporting function 'Write-FileUpdateLog'.
2020-11-17 12:51:21,048 932 [INFO ] - VERBOSE: Exporting function 'Write-FunctionCallLogMessage'.
2020-11-17 12:51:21,048 932 [INFO ] - VERBOSE: Exporting function 'Get-AppInstallLocation'.
2020-11-17 12:51:21,048 932 [INFO ] - VERBOSE: Exporting function 'Get-AvailableDriveLetter'.
2020-11-17 12:51:21,048 932 [INFO ] - VERBOSE: Exporting function 'Get-EffectiveProxy'.
2020-11-17 12:51:21,063 932 [INFO ] - VERBOSE: Exporting function 'Get-PackageCacheLocation'.
2020-11-17 12:51:21,063 932 [INFO ] - VERBOSE: Exporting function 'Get-WebContent'.
2020-11-17 12:51:21,063 932 [INFO ] - VERBOSE: Exporting function 'Register-Application'.
2020-11-17 12:51:21,079 932 [INFO ] - VERBOSE: Exporting function 'Remove-Process'.
2020-11-17 12:51:21,079 932 [INFO ] - VERBOSE: Exporting function 'Install-WindowsUpdate'.
2020-11-17 12:51:21,079 932 [INFO ] - VERBOSE: Exporting function 'Test-WindowsUpdate'.
2020-11-17 12:51:21,095 932 [INFO ] - VERBOSE: Exporting alias 'Get-ProcessorBits'.
2020-11-17 12:51:21,095 932 [INFO ] - VERBOSE: Exporting alias 'Get-OSBitness'.
2020-11-17 12:51:21,095 932 [INFO ] - VERBOSE: Exporting alias 'Get-InstallRegistryKey'.
2020-11-17 12:51:21,110 932 [INFO ] - VERBOSE: Exporting alias 'Generate-BinFile'.
2020-11-17 12:51:21,110 932 [INFO ] - VERBOSE: Exporting alias 'Add-BinFile'.
2020-11-17 12:51:21,132 932 [INFO ] - VERBOSE: Exporting alias 'Start-ChocolateyProcess'.
2020-11-17 12:51:21,132 932 [INFO ] - VERBOSE: Exporting alias 'Invoke-ChocolateyProcess'.
2020-11-17 12:51:21,141 932 [INFO ] - VERBOSE: Exporting alias 'Remove-BinFile'.
2020-11-17 12:51:21,141 932 [INFO ] - VERBOSE: Exporting alias 'refreshenv'.
2020-11-17 12:51:21,141 932 [INFO ] - VERBOSE: Importing function 'Format-FileSize'.
2020-11-17 12:51:21,158 932 [INFO ] - VERBOSE: Importing function 'Get-AppInstallLocation'.
2020-11-17 12:51:21,158 932 [INFO ] - VERBOSE: Importing function 'Get-AvailableDriveLetter'.
2020-11-17 12:51:21,158 932 [INFO ] - VERBOSE: Importing function 'Get-ChecksumValid'.
2020-11-17 12:51:21,158 932 [INFO ] - VERBOSE: Importing function 'Get-ChocolateyUnzip'.
2020-11-17 12:51:21,172 932 [INFO ] - VERBOSE: Importing function 'Get-ChocolateyWebFile'.
2020-11-17 12:51:21,172 932 [INFO ] - VERBOSE: Importing function 'Get-EffectiveProxy'.
2020-11-17 12:51:21,189 932 [INFO ] - VERBOSE: Importing function 'Get-EnvironmentVariable'.
2020-11-17 12:51:21,189 932 [INFO ] - VERBOSE: Importing function 'Get-EnvironmentVariableNames'.
2020-11-17 12:51:21,189 932 [INFO ] - VERBOSE: Importing function 'Get-FtpFile'.
2020-11-17 12:51:21,204 932 [INFO ] - VERBOSE: Importing function 'Get-OSArchitectureWidth'.
2020-11-17 12:51:21,204 932 [INFO ] - VERBOSE: Importing function 'Get-PackageCacheLocation'.
2020-11-17 12:51:21,204 932 [INFO ] - VERBOSE: Importing function 'Get-PackageParameters'.
2020-11-17 12:51:21,204 932 [INFO ] - VERBOSE: Importing function 'Get-PackageParametersBuiltIn'.
2020-11-17 12:51:21,221 932 [INFO ] - VERBOSE: Importing function 'Get-ToolsLocation'.
2020-11-17 12:51:21,221 932 [INFO ] - VERBOSE: Importing function 'Get-UACEnabled'.
2020-11-17 12:51:21,235 932 [INFO ] - VERBOSE: Importing function 'Get-UninstallRegistryKey'.
2020-11-17 12:51:21,235 932 [INFO ] - VERBOSE: Importing function 'Get-VirusCheckValid'.
2020-11-17 12:51:21,235 932 [INFO ] - VERBOSE: Importing function 'Get-WebContent'.
2020-11-17 12:51:21,235 932 [INFO ] - VERBOSE: Importing function 'Get-WebFile'.
2020-11-17 12:51:21,251 932 [INFO ] - VERBOSE: Importing function 'Get-WebFileName'.
2020-11-17 12:51:21,251 932 [INFO ] - VERBOSE: Importing function 'Get-WebHeaders'.
2020-11-17 12:51:21,270 932 [INFO ] - VERBOSE: Importing function 'Install-BinFile'.
2020-11-17 12:51:21,290 932 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyDesktopLink'.
2020-11-17 12:51:21,290 932 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyEnvironmentVariable'.
2020-11-17 12:51:21,298 932 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyExplorerMenuItem'.
2020-11-17 12:51:21,298 932 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyFileAssociation'.
2020-11-17 12:51:21,298 932 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyInstallPackage'.
2020-11-17 12:51:21,298 932 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPackage'.
2020-11-17 12:51:21,329 932 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPath'.
2020-11-17 12:51:21,329 932 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPinnedTaskBarItem'.
2020-11-17 12:51:21,329 932 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPowershellCommand'.
2020-11-17 12:51:21,345 932 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyShortcut'.
2020-11-17 12:51:21,345 932 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyVsixPackage'.
2020-11-17 12:51:21,363 932 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyZipPackage'.
2020-11-17 12:51:21,363 932 [INFO ] - VERBOSE: Importing function 'Install-Vsix'.
2020-11-17 12:51:21,391 932 [INFO ] - VERBOSE: Importing function 'Install-WindowsUpdate'.
2020-11-17 12:51:21,391 932 [INFO ] - VERBOSE: Importing function 'Register-Application'.
2020-11-17 12:51:21,391 932 [INFO ] - VERBOSE: Importing function 'Remove-Process'.
2020-11-17 12:51:21,407 932 [INFO ] - VERBOSE: Importing function 'Set-EnvironmentVariable'.
2020-11-17 12:51:21,407 932 [INFO ] - VERBOSE: Importing function 'Set-PowerShellExitCode'.
2020-11-17 12:51:21,423 932 [INFO ] - VERBOSE: Importing function 'Start-ChocolateyProcessAsAdmin'.
2020-11-17 12:51:21,423 932 [INFO ] - VERBOSE: Importing function 'Test-ProcessAdminRights'.
2020-11-17 12:51:21,423 932 [INFO ] - VERBOSE: Importing function 'Test-WindowsUpdate'.
2020-11-17 12:51:21,423 932 [INFO ] - VERBOSE: Importing function 'Uninstall-BinFile'.
2020-11-17 12:51:21,439 932 [INFO ] - VERBOSE: Importing function 'Uninstall-ChocolateyEnvironmentVariable'.
2020-11-17 12:51:21,439 932 [INFO ] - VERBOSE: Importing function 'Uninstall-ChocolateyPackage'.
2020-11-17 12:51:21,439 932 [INFO ] - VERBOSE: Importing function 'Uninstall-ChocolateyZipPackage'.
2020-11-17 12:51:21,454 932 [INFO ] - VERBOSE: Importing function 'Update-SessionEnvironment'.
2020-11-17 12:51:21,454 932 [INFO ] - VERBOSE: Importing function 'Write-ChocolateyFailure'.
2020-11-17 12:51:21,454 932 [INFO ] - VERBOSE: Importing function 'Write-ChocolateySuccess'.
2020-11-17 12:51:21,469 932 [INFO ] - VERBOSE: Importing function 'Write-FileUpdateLog'.
2020-11-17 12:51:21,469 932 [INFO ] - VERBOSE: Importing function 'Write-FunctionCallLogMessage'.
2020-11-17 12:51:21,469 932 [INFO ] - VERBOSE: Importing alias 'Add-BinFile'.
2020-11-17 12:51:21,485 932 [INFO ] - VERBOSE: Importing alias 'Generate-BinFile'.
2020-11-17 12:51:21,485 932 [INFO ] - VERBOSE: Importing alias 'Get-InstallRegistryKey'.
2020-11-17 12:51:21,501 932 [INFO ] - VERBOSE: Importing alias 'Get-OSBitness'.
2020-11-17 12:51:21,501 932 [INFO ] - VERBOSE: Importing alias 'Get-ProcessorBits'.
2020-11-17 12:51:21,516 932 [INFO ] - VERBOSE: Importing alias 'Invoke-ChocolateyProcess'.
2020-11-17 12:51:21,516 932 [INFO ] - VERBOSE: Importing alias 'refreshenv'.
2020-11-17 12:51:21,534 932 [INFO ] - VERBOSE: Importing alias 'Remove-BinFile'.
2020-11-17 12:51:21,563 932 [INFO ] - VERBOSE: Importing alias 'Start-ChocolateyProcess'.
2020-11-17 12:51:21,674 932 [DEBUG] - ---------------------------Script Execution---------------------------
2020-11-17 12:51:21,688 932 [DEBUG] - Running 'ChocolateyScriptRunner' for Coq v8.12.1 with packageScript 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyInstall.ps1', packageFolder:'C:\ProgramData\chocolatey\lib\Coq', installArguments: '', packageParameters: '',
2020-11-17 12:51:21,735 932 [DEBUG] - Running 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyInstall.ps1'
2020-11-17 12:51:22,126 932 [DEBUG] - Running Install-ChocolateyPackage -url 'https://github.com/coq/coq/releases/download/V8.12.1/coq-8.12.1-installer-windows-i686.exe' -silentArgs '/S' -url64bit 'https://github.com/coq/coq/releases/download/V8.12.1/coq-8.12.1-installer-windows-x86_64.exe' -checksum '6f1b06fd11a5e645613f08d742415a55f8d2bd27c2a762ecc73e7efae7bfb5b5' -checksum64 '6a287c3b7b783064485561386194c3460b30e7210cf315b95eaeb93402150680' -checksumType 'sha256' -packageName 'Coq' -fileType 'exe' -validExitCodes '0' -checksumType64 'sha256'
2020-11-17 12:51:22,314 932 [DEBUG] - Running Get-ChocolateyWebFile -packageName 'Coq' -fileFullPath 'C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.12.1\CoqInstall.exe' -url 'https://github.com/coq/coq/releases/download/V8.12.1/coq-8.12.1-installer-windows-i686.exe' -url64bit 'https://github.com/coq/coq/releases/download/V8.12.1/coq-8.12.1-installer-windows-x86_64.exe' -checksum '6f1b06fd11a5e645613f08d742415a55f8d2bd27c2a762ecc73e7efae7bfb5b5' -checksumType 'sha256' -checksum64 '6a287c3b7b783064485561386194c3460b30e7210cf315b95eaeb93402150680' -checksumType64 'sha256' -options 'System.Collections.Hashtable' -getOriginalFileName 'True'
2020-11-17 12:51:22,502 932 [DEBUG] - Running Get-ProcessorBits -compare '64'
2020-11-17 12:51:22,782 932 [DEBUG] - CPU is 64 bit
2020-11-17 12:51:22,800 932 [DEBUG] - Setting url to 'https://github.com/coq/coq/releases/download/V8.12.1/coq-8.12.1-installer-windows-x86_64.exe' and bitPackage to 64
2020-11-17 12:51:22,860 932 [DEBUG] - Running Get-WebFileName -url 'https://github.com/coq/coq/releases/download/V8.12.1/coq-8.12.1-installer-windows-x86_64.exe' -defaultName 'CoqInstall.exe'
2020-11-17 12:51:25,391 932 [DEBUG] - Using header 'Content-Disposition' to determine file name.
2020-11-17 12:51:25,423 932 [DEBUG] - File name determined from url is 'coq-8.12.1-installer-windows-x86_64.exe'
2020-11-17 12:51:25,535 932 [DEBUG] - Running Get-WebHeaders -url 'https://github.com/coq/coq/releases/download/V8.12.1/coq-8.12.1-installer-windows-x86_64.exe' -ErrorAction 'Stop'
2020-11-17 12:51:25,579 932 [DEBUG] - Setting the UserAgent to 'chocolatey command line'
2020-11-17 12:51:25,596 932 [DEBUG] - Request Headers:
2020-11-17 12:51:25,861 932 [DEBUG] - 'Accept':'*/*'
2020-11-17 12:51:25,883 932 [DEBUG] - 'User-Agent':'chocolatey command line'
2020-11-17 12:51:26,626 932 [DEBUG] - Response Headers:
2020-11-17 12:51:26,642 932 [DEBUG] - 'x-amz-id-2':'9FZ7OnBObBQ928mkHpHqp2clo01QR0g57wBH8Horp78OPdOph4aQyfFlcwdL9bOlk5escqSBvBc='
2020-11-17 12:51:26,704 932 [DEBUG] - 'x-amz-request-id':'7E17ECD85B20868C'
2020-11-17 12:51:26,735 932 [DEBUG] - 'Content-Disposition':'attachment; filename=coq-8.12.1-installer-windows-x86_64.exe'
2020-11-17 12:51:26,735 932 [DEBUG] - 'Accept-Ranges':'bytes'
2020-11-17 12:51:26,735 932 [DEBUG] - 'Content-Length':'175168672'
2020-11-17 12:51:26,767 932 [DEBUG] - 'Content-Type':'application/octet-stream'
2020-11-17 12:51:26,767 932 [DEBUG] - 'Date':'Thu, 19 Nov 2020 05:05:36 GMT'
2020-11-17 12:51:26,767 932 [DEBUG] - 'ETag':'"eed74f0703a9d0a688907e3c8443db53"'
2020-11-17 12:51:26,767 932 [DEBUG] - 'Last-Modified':'Mon, 16 Nov 2020 13:35:57 GMT'
2020-11-17 12:51:26,785 932 [DEBUG] - 'Server':'AmazonS3'
2020-11-17 12:51:26,829 932 [INFO ] - Downloading Coq 64 bit
from 'https://github.com/coq/coq/releases/download/V8.12.1/coq-8.12.1-installer-windows-x86_64.exe'
2020-11-17 12:51:26,829 932 [INFO ] -
2020-11-17 12:51:26,923 932 [DEBUG] - Running Get-WebFile -url 'https://github.com/coq/coq/releases/download/V8.12.1/coq-8.12.1-installer-windows-x86_64.exe' -fileName 'C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.12.1\coq-8.12.1-installer-windows-x86_64.exe' -options 'System.Collections.Hashtable'
2020-11-17 12:51:26,923 932 [DEBUG] - Setting request timeout to 30000
2020-11-17 12:51:26,938 932 [DEBUG] - Setting read/write timeout to 3600000
2020-11-17 12:51:26,938 932 [DEBUG] - Setting the UserAgent to 'chocolatey command line'
2020-11-17 12:51:27,908 932 [DEBUG] - Downloading https://github.com/coq/coq/releases/download/V8.12.1/coq-8.12.1-installer-windows-x86_64.exe to C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.12.1\coq-8.12.1-installer-windows-x86_64.exe
2020-11-17 12:52:35,816 932 [INFO ] -
2020-11-17 12:52:35,847 932 [INFO ] - Download of coq-8.12.1-installer-windows-x86_64.exe (167.05 MB) completed.
2020-11-17 12:52:35,847 932 [INFO ] -
2020-11-17 12:52:40,627 932 [DEBUG] - No runtime virus checking built into FOSS Chocolatey. Check out Pro/Business - https://chocolatey.org/compare
2020-11-17 12:52:40,627 932 [DEBUG] - Verifying package provided checksum of '6a287c3b7b783064485561386194c3460b30e7210cf315b95eaeb93402150680' for 'C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.12.1\coq-8.12.1-installer-windows-x86_64.exe'.
2020-11-17 12:52:40,659 932 [DEBUG] - Running Get-ChecksumValid -file 'C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.12.1\coq-8.12.1-installer-windows-x86_64.exe' -checksum '6a287c3b7b783064485561386194c3460b30e7210cf315b95eaeb93402150680' -checksumType 'sha256' -originalUrl 'https://github.com/coq/coq/releases/download/V8.12.1/coq-8.12.1-installer-windows-x86_64.exe'
2020-11-17 12:52:40,675 932 [DEBUG] - checksum.exe found at 'C:\ProgramData\chocolatey\helpers\..\tools\checksum.exe'
2020-11-17 12:52:40,675 932 [DEBUG] - Executing command ['C:\ProgramData\chocolatey\helpers\..\tools\checksum.exe' -c="6a287c3b7b783064485561386194c3460b30e7210cf315b95eaeb93402150680" -t="sha256" -f="C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.12.1\coq-8.12.1-installer-windows-x86_64.exe"]
2020-11-17 12:53:02,628 932 [DEBUG] - Command ['C:\ProgramData\chocolatey\helpers\..\tools\checksum.exe' -c="6a287c3b7b783064485561386194c3460b30e7210cf315b95eaeb93402150680" -t="sha256" -f="C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.12.1\coq-8.12.1-installer-windows-x86_64.exe"] exited with '0'.
2020-11-17 12:53:02,690 932 [DEBUG] - Running Install-ChocolateyInstallPackage -packageName 'Coq' -fileType 'exe' -silentArgs '/S' -file 'C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.12.1\coq-8.12.1-installer-windows-x86_64.exe' -validExitCodes '0' -useOnlyPackageSilentArguments 'False'
2020-11-17 12:53:02,690 932 [DEBUG] - Running Get-ProcessorBits -compare '32'
2020-11-17 12:53:02,706 932 [INFO ] - Installing Coq...
2020-11-17 12:53:02,706 932 [INFO ] -
2020-11-17 12:53:02,879 932 [DEBUG] - Running Start-ChocolateyProcessAsAdmin -validExitCodes '0' -workingDirectory 'C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.12.1' -statements '/S ' -exeToRun 'C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.12.1\coq-8.12.1-installer-windows-x86_64.exe'
2020-11-17 12:53:02,941 932 [DEBUG] - Test-ProcessAdminRights: returning True
2020-11-17 12:53:02,956 932 [DEBUG] - Elevating permissions and running ["C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.12.1\coq-8.12.1-installer-windows-x86_64.exe" /S ]. This may take a while, depending on the statements.
2020-11-17 12:59:16,715 932 [DEBUG] - Command ["C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.12.1\coq-8.12.1-installer-windows-x86_64.exe" /S ] exited with '0'.
2020-11-17 12:59:16,746 932 [DEBUG] - Finishing 'Start-ChocolateyProcessAsAdmin'
2020-11-17 12:59:16,762 932 [INFO ] - Coq has been installed.
2020-11-17 12:59:16,777 932 [INFO ] -
2020-11-17 12:59:16,777 932 [DEBUG] - ----------------------------------------------------------------------
2020-11-17 12:59:16,840 932 [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-11-17 12:59:16,856 932 [DEBUG] - Calling command ['"C:\Windows\System32\shutdown.exe" /a']
2020-11-17 12:59:17,153 932 [DEBUG] - Command ['"C:\Windows\System32\shutdown.exe" /a'] exited with '1116'
2020-11-17 12:59:17,168 932 [INFO ] - coq may be able to be automatically uninstalled.
2020-11-17 12:59:17,183 932 [DEBUG] - Capturing package files in 'C:\ProgramData\chocolatey\lib\Coq'
2020-11-17 12:59:17,183 932 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\Coq\Coq.nupkg'
with checksum 'F887D8FB379A2EDDE1C26183AF5DD9C8'
2020-11-17 12:59:17,183 932 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\Coq\Coq.nuspec'
with checksum 'FBEFE1E5FFE3514FD22C56E9C672F824'
2020-11-17 12:59:17,199 932 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyInstall.ps1'
with checksum 'E4EE397DE5C3BF6084847D376F51E9C9'
2020-11-17 12:59:17,199 932 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyUninstall.ps1'
with checksum 'A985B284D16501E6678AF87FE34BA9EF'
2020-11-17 12:59:17,214 932 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\.chocolatey\Coq.8.12.1".
2020-11-17 12:59:17,263 932 [DEBUG] - There was no original file at 'C:\ProgramData\chocolatey\.chocolatey\Coq.8.12.1\.registry'
2020-11-17 12:59:17,358 932 [DEBUG] - There was no original file at 'C:\ProgramData\chocolatey\.chocolatey\Coq.8.12.1\.files'
2020-11-17 12:59:17,425 932 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\Coq.8.12.1\.extra".
2020-11-17 12:59:17,425 932 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\Coq.8.12.1\.version".
2020-11-17 12:59:17,434 932 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\Coq.8.12.1\.sxs".
2020-11-17 12:59:17,434 932 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\Coq.8.12.1\.pin".
2020-11-17 12:59:17,434 932 [DEBUG] - Sending message 'HandlePackageResultCompletedMessage' out if there are subscribers...
2020-11-17 12:59:17,451 932 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\Coq\.chocolateyPending".
2020-11-17 12:59:17,451 932 [INFO ] - The install of coq was successful.
2020-11-17 12:59:17,464 932 [INFO ] - Software installed as 'exe', install location is likely default.
2020-11-17 12:59:17,464 932 [DEBUG] - Attempting to delete file "C:\Users\Administrator\AppData\Local\NuGet\Cache\Coq.8.12.1.nupkg".
2020-11-17 12:59:17,512 932 [WARN ] -
Chocolatey installed 2/2 packages.
See the log for details (C:\ProgramData\chocolatey\logs\chocolatey.log).
2020-11-17 12:59:17,528 932 [DEBUG] - Sending message 'PostRunMessage' out if there are subscribers...
2020-11-17 12:59:17,589 932 [DEBUG] - Exiting with 0
2020-11-17 13:00:49,467 1100 [DEBUG] - XmlConfiguration is now operational
2020-11-17 13:00:49,640 1100 [INFO ] - ============================================================
2020-11-17 13:00:50,342 1100 [INFO ] - Chocolatey v0.10.16-beta
2020-11-17 13:00:50,373 1100 [DEBUG] - Chocolatey is running on Windows v 6.3.9600.0
2020-11-17 13:00:50,373 1100 [DEBUG] - Attempting to delete file "C:/ProgramData/chocolatey/choco.exe.old".
2020-11-17 13:00:50,373 1100 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\choco.exe.old".
2020-11-17 13:00:50,404 1100 [DEBUG] - Command line: "C:\ProgramData\chocolatey\choco.exe" uninstall Coq --version 8.12.1 -dvy --execution-timeout=3600
2020-11-17 13:00:50,779 1100 [DEBUG] - Received arguments: uninstall Coq --version 8.12.1 -dvy --execution-timeout=3600
2020-11-17 13:00:50,920 1100 [DEBUG] - RemovePendingPackagesTask is now ready and waiting for PreRunMessage.
2020-11-17 13:00:50,953 1100 [DEBUG] - Sending message 'PreRunMessage' out if there are subscribers...
2020-11-17 13:00:50,986 1100 [DEBUG] - [Pending] Removing all pending packages that should not be considered installed...
2020-11-17 13:00:51,155 1100 [DEBUG] - Performing validation checks.
2020-11-17 13:00:51,187 1100 [DEBUG] - Global Configuration Validation Checks:
2020-11-17 13:00:51,187 1100 [DEBUG] - - Package Exit Code / Exit On Reboot = Checked
2020-11-17 13:00:51,187 1100 [DEBUG] - System State Validation Checks:
2020-11-17 13:00:51,217 1100 [DEBUG] - Reboot Requirement Checks:
2020-11-17 13:00:51,217 1100 [DEBUG] - - Pending Computer Rename = Checked
2020-11-17 13:00:51,236 1100 [DEBUG] - - Pending Component Based Servicing = Flagged
2020-11-17 13:00:51,249 1100 [INFO ] - 2 validations performed. 1 success(es), 1 warning(s), and 0 error(s).
2020-11-17 13:00:51,249 1100 [INFO ] -
2020-11-17 13:00:51,264 1100 [WARN ] - Validation Warnings:
2020-11-17 13:00:51,264 1100 [WARN ] - - A pending system reboot request has been detected, however, this is
being ignored due to the current Chocolatey configuration. If you
want to halt when this occurs, then either set the global feature
using:
choco feature enable -name=exitOnRebootDetected
or pass the option --exit-when-reboot-detected.
2020-11-17 13:00:51,280 1100 [DEBUG] - The source 'c:\cached-packages;https://chocolatey.org/api/v2/' evaluated to a 'normal' source type
2020-11-17 13:00:51,280 1100 [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-11-17 13:00:51,312 1100 [DEBUG] - Configuration: CommandName='uninstall'|
CacheLocation='C:\Users\Administrator\AppData\Local\Temp\chocolatey'|
ContainsLegacyPackageInstalls='True'|
CommandExecutionTimeoutSeconds='3600'|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.1'|
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.16.0'|
Information.ChocolateyProductVersion='0.10.16-beta'|
Information.FullName='choco, Version=0.10.16.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-11-17 13:00:51,328 1100 [DEBUG] - _ Chocolatey:ChocolateyUninstallCommand - Normal Run Mode _
2020-11-17 13:00:51,342 1100 [INFO ] - Uninstalling the following packages:
2020-11-17 13:00:51,357 1100 [INFO ] - Coq
2020-11-17 13:00:51,375 1100 [DEBUG] - Current environment values (may contain sensitive data):
2020-11-17 13:00:51,375 1100 [DEBUG] - * 'TMP'='C:\Users\Administrator\AppData\Local\Temp' ('User')
2020-11-17 13:00:51,389 1100 [DEBUG] - * 'TEMP'='C:\Users\Administrator\AppData\Local\Temp' ('User')
2020-11-17 13:00:51,389 1100 [DEBUG] - * 'ChocolateyLastPathUpdate'='132500892869611156' ('User')
2020-11-17 13:00:51,389 1100 [DEBUG] - * 'FP_NO_HOST_CHECK'='NO' ('Machine')
2020-11-17 13:00:51,405 1100 [DEBUG] - * 'USERNAME'='SYSTEM' ('Machine')
2020-11-17 13:00:51,405 1100 [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-11-17 13:00:51,436 1100 [DEBUG] - * 'ComSpec'='C:\Windows\system32\cmd.exe' ('Machine')
2020-11-17 13:00:51,451 1100 [DEBUG] - * 'TMP'='C:\Windows\TEMP' ('Machine')
2020-11-17 13:00:51,451 1100 [DEBUG] - * 'OS'='Windows_NT' ('Machine')
2020-11-17 13:00:51,451 1100 [DEBUG] - * 'windir'='C:\Windows' ('Machine')
2020-11-17 13:00:51,469 1100 [DEBUG] - * 'PROCESSOR_ARCHITECTURE'='AMD64' ('Machine')
2020-11-17 13:00:51,469 1100 [DEBUG] - * 'TEMP'='C:\Windows\TEMP' ('Machine')
2020-11-17 13:00:51,469 1100 [DEBUG] - * 'PATHEXT'='.COM;.EXE;.BAT;.CMD;.VBS;.VBE;.JS;.JSE;.WSF;.WSH;.MSC' ('Machine')
2020-11-17 13:00:51,469 1100 [DEBUG] - * 'PSModulePath'='C:\Windows\system32\WindowsPowerShell\v1.0\Modules\' ('Machine')
2020-11-17 13:00:51,483 1100 [DEBUG] - * 'NUMBER_OF_PROCESSORS'='1' ('Machine')
2020-11-17 13:00:51,483 1100 [DEBUG] - * 'PROCESSOR_LEVEL'='16' ('Machine')
2020-11-17 13:00:51,483 1100 [DEBUG] - * 'PROCESSOR_IDENTIFIER'='AMD64 Family 16 Model 6 Stepping 3, AuthenticAMD' ('Machine')
2020-11-17 13:00:51,483 1100 [DEBUG] - * 'PROCESSOR_REVISION'='0603' ('Machine')
2020-11-17 13:00:51,500 1100 [DEBUG] - * 'HOME'='C:\Users\Administrator' ('Machine')
2020-11-17 13:00:51,500 1100 [DEBUG] - * 'ChocolateyInstall'='C:\ProgramData\chocolatey' ('Machine')
2020-11-17 13:00:51,795 1100 [DEBUG] - Running list with the following filter = ''
2020-11-17 13:00:51,795 1100 [DEBUG] - --- Start of List ---
2020-11-17 13:00:52,904 1100 [DEBUG] - Coq 8.12.1
2020-11-17 13:00:52,921 1100 [DEBUG] - --- End of List ---
2020-11-17 13:00:53,968 1100 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\lib-bkp".
2020-11-17 13:00:53,982 1100 [DEBUG] - Backing up existing Coq prior to operation.
2020-11-17 13:00:53,982 1100 [DEBUG] - Moving 'C:\ProgramData\chocolatey\lib\Coq'
to 'C:\ProgramData\chocolatey\lib-bkp\Coq'
2020-11-17 13:00:56,014 1100 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\lib\Coq".
2020-11-17 13:00:56,014 1100 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\Coq\Coq.nupkg"
to "C:\ProgramData\chocolatey\lib\Coq\Coq.nupkg".
2020-11-17 13:00:56,029 1100 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\Coq\Coq.nuspec"
to "C:\ProgramData\chocolatey\lib\Coq\Coq.nuspec".
2020-11-17 13:00:56,029 1100 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\lib\Coq\tools".
2020-11-17 13:00:56,029 1100 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\Coq\tools\chocolateyInstall.ps1"
to "C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyInstall.ps1".
2020-11-17 13:00:56,046 1100 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\Coq\tools\chocolateyUninstall.ps1"
to "C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyUninstall.ps1".
2020-11-17 13:00:57,577 1100 [DEBUG] - Capturing package files in 'C:\ProgramData\chocolatey\lib\Coq'
2020-11-17 13:00:57,577 1100 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\Coq\Coq.nupkg'
with checksum 'F887D8FB379A2EDDE1C26183AF5DD9C8'
2020-11-17 13:00:57,577 1100 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\Coq\Coq.nuspec'
with checksum 'FBEFE1E5FFE3514FD22C56E9C672F824'
2020-11-17 13:00:57,592 1100 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyInstall.ps1'
with checksum 'E4EE397DE5C3BF6084847D376F51E9C9'
2020-11-17 13:00:57,592 1100 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyUninstall.ps1'
with checksum 'A985B284D16501E6678AF87FE34BA9EF'
2020-11-17 13:00:58,185 1100 [INFO ] - [NuGet] Uninstalling 'Coq 8.12.1'.
2020-11-17 13:00:58,201 1100 [INFO ] -
Coq v8.12.1
2020-11-17 13:00:58,326 1100 [DEBUG] - Setting installer args for Coq
2020-11-17 13:00:58,326 1100 [DEBUG] - Setting package parameters for Coq
2020-11-17 13:00:58,326 1100 [DEBUG] - Contents of 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyUninstall.ps1':
2020-11-17 13:00:58,357 1100 [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-11-17 13:00:58,421 1100 [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-11-17 13:00:58,436 1100 [DEBUG] - Redirecting System.Management.Automation.resources, Version=3.0.0.0, Culture=en-US, PublicKeyToken=31bf3856ad364e35, requested by ''
2020-11-17 13:01:00,015 1100 [DEBUG] - Host version is 4.0, PowerShell Version is '4.0' and CLR Version is '4.0.30319.34014'.
2020-11-17 13:01:00,436 1100 [INFO ] - VERBOSE: Exporting function 'Format-FileSize'.
2020-11-17 13:01:03,014 1100 [INFO ] - VERBOSE: Exporting function 'Get-ChecksumValid'.
2020-11-17 13:01:03,047 1100 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyUnzip'.
2020-11-17 13:01:03,061 1100 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyWebFile'.
2020-11-17 13:01:03,061 1100 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariable'.
2020-11-17 13:01:03,061 1100 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariableNames'.
2020-11-17 13:01:03,077 1100 [INFO ] - VERBOSE: Exporting function 'Get-FtpFile'.
2020-11-17 13:01:03,077 1100 [INFO ] - VERBOSE: Exporting function 'Get-OSArchitectureWidth'.
2020-11-17 13:01:03,077 1100 [INFO ] - VERBOSE: Exporting function 'Get-PackageParameters'.
2020-11-17 13:01:03,092 1100 [INFO ] - VERBOSE: Exporting function 'Get-PackageParametersBuiltIn'.
2020-11-17 13:01:03,092 1100 [INFO ] - VERBOSE: Exporting function 'Get-ToolsLocation'.
2020-11-17 13:01:03,092 1100 [INFO ] - VERBOSE: Exporting function 'Get-UACEnabled'.
2020-11-17 13:01:03,108 1100 [INFO ] - VERBOSE: Exporting function 'Get-UninstallRegistryKey'.
2020-11-17 13:01:03,108 1100 [INFO ] - VERBOSE: Exporting function 'Get-VirusCheckValid'.
2020-11-17 13:01:03,108 1100 [INFO ] - VERBOSE: Exporting function 'Get-WebFile'.
2020-11-17 13:01:03,125 1100 [INFO ] - VERBOSE: Exporting function 'Get-WebFileName'.
2020-11-17 13:01:03,125 1100 [INFO ] - VERBOSE: Exporting function 'Get-WebHeaders'.
2020-11-17 13:01:03,125 1100 [INFO ] - VERBOSE: Exporting function 'Install-BinFile'.
2020-11-17 13:01:03,125 1100 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyDesktopLink'.
2020-11-17 13:01:03,139 1100 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyEnvironmentVariable'.
2020-11-17 13:01:03,139 1100 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyExplorerMenuItem'.
2020-11-17 13:01:03,139 1100 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyFileAssociation'.
2020-11-17 13:01:03,139 1100 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyInstallPackage'.
2020-11-17 13:01:03,154 1100 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPackage'.
2020-11-17 13:01:03,154 1100 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPath'.
2020-11-17 13:01:03,154 1100 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPinnedTaskBarItem'.
2020-11-17 13:01:03,154 1100 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPowershellCommand'.
2020-11-17 13:01:03,171 1100 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyShortcut'.
2020-11-17 13:01:03,171 1100 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyVsixPackage'.
2020-11-17 13:01:03,171 1100 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyZipPackage'.
2020-11-17 13:01:03,171 1100 [INFO ] - VERBOSE: Exporting function 'Install-Vsix'.
2020-11-17 13:01:03,186 1100 [INFO ] - VERBOSE: Exporting function 'Set-EnvironmentVariable'.
2020-11-17 13:01:03,186 1100 [INFO ] - VERBOSE: Exporting function 'Set-PowerShellExitCode'.
2020-11-17 13:01:03,186 1100 [INFO ] - VERBOSE: Exporting function 'Start-ChocolateyProcessAsAdmin'.
2020-11-17 13:01:03,201 1100 [INFO ] - VERBOSE: Exporting function 'Test-ProcessAdminRights'.
2020-11-17 13:01:03,201 1100 [INFO ] - VERBOSE: Exporting function 'Uninstall-BinFile'.
2020-11-17 13:01:03,201 1100 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyEnvironmentVariable'.
2020-11-17 13:01:03,201 1100 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyPackage'.
2020-11-17 13:01:03,218 1100 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyZipPackage'.
2020-11-17 13:01:03,218 1100 [INFO ] - VERBOSE: Exporting function 'Update-SessionEnvironment'.
2020-11-17 13:01:03,218 1100 [INFO ] - VERBOSE: Exporting function 'Write-ChocolateyFailure'.
2020-11-17 13:01:03,233 1100 [INFO ] - VERBOSE: Exporting function 'Write-ChocolateySuccess'.
2020-11-17 13:01:03,233 1100 [INFO ] - VERBOSE: Exporting function 'Write-FileUpdateLog'.
2020-11-17 13:01:03,233 1100 [INFO ] - VERBOSE: Exporting function 'Write-FunctionCallLogMessage'.
2020-11-17 13:01:03,233 1100 [INFO ] - VERBOSE: Exporting alias 'Get-ProcessorBits'.
2020-11-17 13:01:03,248 1100 [INFO ] - VERBOSE: Exporting alias 'Get-OSBitness'.
2020-11-17 13:01:03,248 1100 [INFO ] - VERBOSE: Exporting alias 'Get-InstallRegistryKey'.
2020-11-17 13:01:03,248 1100 [INFO ] - VERBOSE: Exporting alias 'Generate-BinFile'.
2020-11-17 13:01:03,264 1100 [INFO ] - VERBOSE: Exporting alias 'Add-BinFile'.
2020-11-17 13:01:03,264 1100 [INFO ] - VERBOSE: Exporting alias 'Start-ChocolateyProcess'.
2020-11-17 13:01:03,264 1100 [INFO ] - VERBOSE: Exporting alias 'Invoke-ChocolateyProcess'.
2020-11-17 13:01:03,281 1100 [INFO ] - VERBOSE: Exporting alias 'Remove-BinFile'.
2020-11-17 13:01:03,281 1100 [INFO ] - VERBOSE: Exporting alias 'refreshenv'.
2020-11-17 13:01:03,311 1100 [DEBUG] - Loading community extensions
2020-11-17 13:01:03,342 1100 [DEBUG] - Importing 'C:\ProgramData\chocolatey\extensions\chocolatey-core\chocolatey-core.psm1'
2020-11-17 13:01:03,342 1100 [INFO ] - VERBOSE: Loading module from path 'C:\ProgramData\chocolatey\extensions\chocolatey-core\chocolatey-core.psm1'.
2020-11-17 13:01:03,609 1100 [INFO ] - VERBOSE: Exporting function 'Get-UninstallRegistryKey'.
2020-11-17 13:01:03,609 1100 [INFO ] - VERBOSE: Exporting function 'Get-AppInstallLocation'.
2020-11-17 13:01:03,609 1100 [INFO ] - VERBOSE: Exporting function 'Get-AvailableDriveLetter'.
2020-11-17 13:01:03,623 1100 [INFO ] - VERBOSE: Exporting function 'Get-EffectiveProxy'.
2020-11-17 13:01:03,623 1100 [INFO ] - VERBOSE: Exporting function 'Get-PackageCacheLocation'.
2020-11-17 13:01:03,623 1100 [INFO ] - VERBOSE: Exporting function 'Get-PackageParameters'.
2020-11-17 13:01:03,639 1100 [INFO ] - VERBOSE: Exporting function 'Get-WebContent'.
2020-11-17 13:01:03,639 1100 [INFO ] - VERBOSE: Exporting function 'Register-Application'.
2020-11-17 13:01:03,656 1100 [INFO ] - VERBOSE: Exporting function 'Remove-Process'.
2020-11-17 13:01:03,656 1100 [INFO ] - VERBOSE: Importing function 'Get-AppInstallLocation'.
2020-11-17 13:01:03,656 1100 [INFO ] - VERBOSE: Importing function 'Get-AvailableDriveLetter'.
2020-11-17 13:01:03,670 1100 [INFO ] - VERBOSE: Importing function 'Get-EffectiveProxy'.
2020-11-17 13:01:03,670 1100 [INFO ] - VERBOSE: Importing function 'Get-PackageCacheLocation'.
2020-11-17 13:01:03,670 1100 [INFO ] - VERBOSE: Importing function 'Get-PackageParameters'.
2020-11-17 13:01:03,686 1100 [INFO ] - VERBOSE: Importing function 'Get-UninstallRegistryKey'.
2020-11-17 13:01:03,686 1100 [INFO ] - VERBOSE: Importing function 'Get-WebContent'.
2020-11-17 13:01:03,686 1100 [INFO ] - VERBOSE: Importing function 'Register-Application'.
2020-11-17 13:01:03,686 1100 [INFO ] - VERBOSE: Importing function 'Remove-Process'.
2020-11-17 13:01:03,703 1100 [DEBUG] - Importing 'C:\ProgramData\chocolatey\extensions\chocolatey-windowsupdate\chocolatey-windowsupdate.psm1'
2020-11-17 13:01:03,703 1100 [INFO ] - VERBOSE: Loading module from path 'C:\ProgramData\chocolatey\extensions\chocolatey-windowsupdate\chocolatey-windowsupdate.psm1'.
2020-11-17 13:01:03,811 1100 [INFO ] - VERBOSE: Exporting function 'Install-WindowsUpdate'.
2020-11-17 13:01:03,811 1100 [INFO ] - VERBOSE: Exporting function 'Test-WindowsUpdate'.
2020-11-17 13:01:03,811 1100 [INFO ] - VERBOSE: Importing function 'Install-WindowsUpdate'.
2020-11-17 13:01:03,827 1100 [INFO ] - VERBOSE: Importing function 'Test-WindowsUpdate'.
2020-11-17 13:01:03,842 1100 [INFO ] - VERBOSE: Exporting function 'Format-FileSize'.
2020-11-17 13:01:03,842 1100 [INFO ] - VERBOSE: Exporting function 'Get-ChecksumValid'.
2020-11-17 13:01:03,842 1100 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyUnzip'.
2020-11-17 13:01:03,842 1100 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyWebFile'.
2020-11-17 13:01:03,858 1100 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariable'.
2020-11-17 13:01:03,858 1100 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariableNames'.
2020-11-17 13:01:03,858 1100 [INFO ] - VERBOSE: Exporting function 'Get-FtpFile'.
2020-11-17 13:01:03,858 1100 [INFO ] - VERBOSE: Exporting function 'Get-OSArchitectureWidth'.
2020-11-17 13:01:03,874 1100 [INFO ] - VERBOSE: Exporting function 'Get-PackageParameters'.
2020-11-17 13:01:03,874 1100 [INFO ] - VERBOSE: Exporting function 'Get-PackageParametersBuiltIn'.
2020-11-17 13:01:03,874 1100 [INFO ] - VERBOSE: Exporting function 'Get-ToolsLocation'.
2020-11-17 13:01:03,889 1100 [INFO ] - VERBOSE: Exporting function 'Get-UACEnabled'.
2020-11-17 13:01:03,889 1100 [INFO ] - VERBOSE: Exporting function 'Get-UninstallRegistryKey'.
2020-11-17 13:01:03,889 1100 [INFO ] - VERBOSE: Exporting function 'Get-VirusCheckValid'.
2020-11-17 13:01:03,889 1100 [INFO ] - VERBOSE: Exporting function 'Get-WebFile'.
2020-11-17 13:01:03,906 1100 [INFO ] - VERBOSE: Exporting function 'Get-WebFileName'.
2020-11-17 13:01:03,906 1100 [INFO ] - VERBOSE: Exporting function 'Get-WebHeaders'.
2020-11-17 13:01:03,906 1100 [INFO ] - VERBOSE: Exporting function 'Install-BinFile'.
2020-11-17 13:01:03,906 1100 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyDesktopLink'.
2020-11-17 13:01:03,920 1100 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyEnvironmentVariable'.
2020-11-17 13:01:03,920 1100 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyExplorerMenuItem'.
2020-11-17 13:01:03,920 1100 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyFileAssociation'.
2020-11-17 13:01:03,920 1100 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyInstallPackage'.
2020-11-17 13:01:03,936 1100 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPackage'.
2020-11-17 13:01:03,936 1100 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPath'.
2020-11-17 13:01:03,936 1100 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPinnedTaskBarItem'.
2020-11-17 13:01:03,952 1100 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPowershellCommand'.
2020-11-17 13:01:03,952 1100 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyShortcut'.
2020-11-17 13:01:03,952 1100 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyVsixPackage'.
2020-11-17 13:01:03,952 1100 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyZipPackage'.
2020-11-17 13:01:03,968 1100 [INFO ] - VERBOSE: Exporting function 'Install-Vsix'.
2020-11-17 13:01:03,968 1100 [INFO ] - VERBOSE: Exporting function 'Set-EnvironmentVariable'.
2020-11-17 13:01:03,968 1100 [INFO ] - VERBOSE: Exporting function 'Set-PowerShellExitCode'.
2020-11-17 13:01:03,983 1100 [INFO ] - VERBOSE: Exporting function 'Start-ChocolateyProcessAsAdmin'.
2020-11-17 13:01:03,983 1100 [INFO ] - VERBOSE: Exporting function 'Test-ProcessAdminRights'.
2020-11-17 13:01:03,983 1100 [INFO ] - VERBOSE: Exporting function 'Uninstall-BinFile'.
2020-11-17 13:01:03,983 1100 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyEnvironmentVariable'.
2020-11-17 13:01:03,998 1100 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyPackage'.
2020-11-17 13:01:03,998 1100 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyZipPackage'.
2020-11-17 13:01:03,998 1100 [INFO ] - VERBOSE: Exporting function 'Update-SessionEnvironment'.
2020-11-17 13:01:04,015 1100 [INFO ] - VERBOSE: Exporting function 'Write-ChocolateyFailure'.
2020-11-17 13:01:04,015 1100 [INFO ] - VERBOSE: Exporting function 'Write-ChocolateySuccess'.
2020-11-17 13:01:04,015 1100 [INFO ] - VERBOSE: Exporting function 'Write-FileUpdateLog'.
2020-11-17 13:01:04,015 1100 [INFO ] - VERBOSE: Exporting function 'Write-FunctionCallLogMessage'.
2020-11-17 13:01:04,029 1100 [INFO ] - VERBOSE: Exporting function 'Get-AppInstallLocation'.
2020-11-17 13:01:04,029 1100 [INFO ] - VERBOSE: Exporting function 'Get-AvailableDriveLetter'.
2020-11-17 13:01:04,029 1100 [INFO ] - VERBOSE: Exporting function 'Get-EffectiveProxy'.
2020-11-17 13:01:04,029 1100 [INFO ] - VERBOSE: Exporting function 'Get-PackageCacheLocation'.
2020-11-17 13:01:04,045 1100 [INFO ] - VERBOSE: Exporting function 'Get-WebContent'.
2020-11-17 13:01:04,045 1100 [INFO ] - VERBOSE: Exporting function 'Register-Application'.
2020-11-17 13:01:04,045 1100 [INFO ] - VERBOSE: Exporting function 'Remove-Process'.
2020-11-17 13:01:04,045 1100 [INFO ] - VERBOSE: Exporting function 'Install-WindowsUpdate'.
2020-11-17 13:01:04,061 1100 [INFO ] - VERBOSE: Exporting function 'Test-WindowsUpdate'.
2020-11-17 13:01:04,061 1100 [INFO ] - VERBOSE: Exporting alias 'Get-ProcessorBits'.
2020-11-17 13:01:04,061 1100 [INFO ] - VERBOSE: Exporting alias 'Get-OSBitness'.
2020-11-17 13:01:04,077 1100 [INFO ] - VERBOSE: Exporting alias 'Get-InstallRegistryKey'.
2020-11-17 13:01:04,077 1100 [INFO ] - VERBOSE: Exporting alias 'Generate-BinFile'.
2020-11-17 13:01:04,077 1100 [INFO ] - VERBOSE: Exporting alias 'Add-BinFile'.
2020-11-17 13:01:04,092 1100 [INFO ] - VERBOSE: Exporting alias 'Start-ChocolateyProcess'.
2020-11-17 13:01:04,092 1100 [INFO ] - VERBOSE: Exporting alias 'Invoke-ChocolateyProcess'.
2020-11-17 13:01:04,092 1100 [INFO ] - VERBOSE: Exporting alias 'Remove-BinFile'.
2020-11-17 13:01:04,092 1100 [INFO ] - VERBOSE: Exporting alias 'refreshenv'.
2020-11-17 13:01:04,108 1100 [INFO ] - VERBOSE: Importing function 'Format-FileSize'.
2020-11-17 13:01:04,108 1100 [INFO ] - VERBOSE: Importing function 'Get-AppInstallLocation'.
2020-11-17 13:01:04,108 1100 [INFO ] - VERBOSE: Importing function 'Get-AvailableDriveLetter'.
2020-11-17 13:01:04,108 1100 [INFO ] - VERBOSE: Importing function 'Get-ChecksumValid'.
2020-11-17 13:01:04,123 1100 [INFO ] - VERBOSE: Importing function 'Get-ChocolateyUnzip'.
2020-11-17 13:01:04,123 1100 [INFO ] - VERBOSE: Importing function 'Get-ChocolateyWebFile'.
2020-11-17 13:01:04,123 1100 [INFO ] - VERBOSE: Importing function 'Get-EffectiveProxy'.
2020-11-17 13:01:04,123 1100 [INFO ] - VERBOSE: Importing function 'Get-EnvironmentVariable'.
2020-11-17 13:01:04,139 1100 [INFO ] - VERBOSE: Importing function 'Get-EnvironmentVariableNames'.
2020-11-17 13:01:04,139 1100 [INFO ] - VERBOSE: Importing function 'Get-FtpFile'.
2020-11-17 13:01:04,139 1100 [INFO ] - VERBOSE: Importing function 'Get-OSArchitectureWidth'.
2020-11-17 13:01:04,139 1100 [INFO ] - VERBOSE: Importing function 'Get-PackageCacheLocation'.
2020-11-17 13:01:04,155 1100 [INFO ] - VERBOSE: Importing function 'Get-PackageParameters'.
2020-11-17 13:01:04,155 1100 [INFO ] - VERBOSE: Importing function 'Get-PackageParametersBuiltIn'.
2020-11-17 13:01:04,155 1100 [INFO ] - VERBOSE: Importing function 'Get-ToolsLocation'.
2020-11-17 13:01:04,170 1100 [INFO ] - VERBOSE: Importing function 'Get-UACEnabled'.
2020-11-17 13:01:04,170 1100 [INFO ] - VERBOSE: Importing function 'Get-UninstallRegistryKey'.
2020-11-17 13:01:04,170 1100 [INFO ] - VERBOSE: Importing function 'Get-VirusCheckValid'.
2020-11-17 13:01:04,170 1100 [INFO ] - VERBOSE: Importing function 'Get-WebContent'.
2020-11-17 13:01:04,186 1100 [INFO ] - VERBOSE: Importing function 'Get-WebFile'.
2020-11-17 13:01:04,186 1100 [INFO ] - VERBOSE: Importing function 'Get-WebFileName'.
2020-11-17 13:01:04,186 1100 [INFO ] - VERBOSE: Importing function 'Get-WebHeaders'.
2020-11-17 13:01:04,201 1100 [INFO ] - VERBOSE: Importing function 'Install-BinFile'.
2020-11-17 13:01:04,201 1100 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyDesktopLink'.
2020-11-17 13:01:04,201 1100 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyEnvironmentVariable'.
2020-11-17 13:01:04,201 1100 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyExplorerMenuItem'.
2020-11-17 13:01:04,218 1100 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyFileAssociation'.
2020-11-17 13:01:04,218 1100 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyInstallPackage'.
2020-11-17 13:01:04,218 1100 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPackage'.
2020-11-17 13:01:04,233 1100 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPath'.
2020-11-17 13:01:04,233 1100 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPinnedTaskBarItem'.
2020-11-17 13:01:04,233 1100 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPowershellCommand'.
2020-11-17 13:01:04,281 1100 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyShortcut'.
2020-11-17 13:01:04,295 1100 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyVsixPackage'.
2020-11-17 13:01:04,295 1100 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyZipPackage'.
2020-11-17 13:01:04,295 1100 [INFO ] - VERBOSE: Importing function 'Install-Vsix'.
2020-11-17 13:01:04,311 1100 [INFO ] - VERBOSE: Importing function 'Install-WindowsUpdate'.
2020-11-17 13:01:04,311 1100 [INFO ] - VERBOSE: Importing function 'Register-Application'.
2020-11-17 13:01:04,311 1100 [INFO ] - VERBOSE: Importing function 'Remove-Process'.
2020-11-17 13:01:04,326 1100 [INFO ] - VERBOSE: Importing function 'Set-EnvironmentVariable'.
2020-11-17 13:01:04,326 1100 [INFO ] - VERBOSE: Importing function 'Set-PowerShellExitCode'.
2020-11-17 13:01:04,326 1100 [INFO ] - VERBOSE: Importing function 'Start-ChocolateyProcessAsAdmin'.
2020-11-17 13:01:04,342 1100 [INFO ] - VERBOSE: Importing function 'Test-ProcessAdminRights'.
2020-11-17 13:01:04,342 1100 [INFO ] - VERBOSE: Importing function 'Test-WindowsUpdate'.
2020-11-17 13:01:04,357 1100 [INFO ] - VERBOSE: Importing function 'Uninstall-BinFile'.
2020-11-17 13:01:04,357 1100 [INFO ] - VERBOSE: Importing function 'Uninstall-ChocolateyEnvironmentVariable'.
2020-11-17 13:01:04,373 1100 [INFO ] - VERBOSE: Importing function 'Uninstall-ChocolateyPackage'.
2020-11-17 13:01:04,373 1100 [INFO ] - VERBOSE: Importing function 'Uninstall-ChocolateyZipPackage'.
2020-11-17 13:01:04,373 1100 [INFO ] - VERBOSE: Importing function 'Update-SessionEnvironment'.
2020-11-17 13:01:04,389 1100 [INFO ] - VERBOSE: Importing function 'Write-ChocolateyFailure'.
2020-11-17 13:01:04,389 1100 [INFO ] - VERBOSE: Importing function 'Write-ChocolateySuccess'.
2020-11-17 13:01:04,389 1100 [INFO ] - VERBOSE: Importing function 'Write-FileUpdateLog'.
2020-11-17 13:01:04,406 1100 [INFO ] - VERBOSE: Importing function 'Write-FunctionCallLogMessage'.
2020-11-17 13:01:04,406 1100 [INFO ] - VERBOSE: Importing alias 'Add-BinFile'.
2020-11-17 13:01:04,406 1100 [INFO ] - VERBOSE: Importing alias 'Generate-BinFile'.
2020-11-17 13:01:04,420 1100 [INFO ] - VERBOSE: Importing alias 'Get-InstallRegistryKey'.
2020-11-17 13:01:04,420 1100 [INFO ] - VERBOSE: Importing alias 'Get-OSBitness'.
2020-11-17 13:01:04,420 1100 [INFO ] - VERBOSE: Importing alias 'Get-ProcessorBits'.
2020-11-17 13:01:04,420 1100 [INFO ] - VERBOSE: Importing alias 'Invoke-ChocolateyProcess'.
2020-11-17 13:01:04,436 1100 [INFO ] - VERBOSE: Importing alias 'refreshenv'.
2020-11-17 13:01:04,436 1100 [INFO ] - VERBOSE: Importing alias 'Remove-BinFile'.
2020-11-17 13:01:04,436 1100 [INFO ] - VERBOSE: Importing alias 'Start-ChocolateyProcess'.
2020-11-17 13:01:04,578 1100 [DEBUG] - ---------------------------Script Execution---------------------------
2020-11-17 13:01:04,578 1100 [DEBUG] - Running 'ChocolateyScriptRunner' for Coq v8.12.1 with packageScript 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyUninstall.ps1', packageFolder:'C:\ProgramData\chocolatey\lib\Coq', installArguments: '', packageParameters: '',
2020-11-17 13:01:04,608 1100 [DEBUG] - Running 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyUninstall.ps1'
2020-11-17 13:01:04,671 1100 [DEBUG] - Running 'Get-UninstallRegistryKey' for 'Coq' with SoftwareName:'coq*'
2020-11-17 13:01:04,686 1100 [INFO ] - VERBOSE: Retrieving all uninstall registry keys
2020-11-17 13:01:05,530 1100 [DEBUG] - Registry uninstall keys on system: 32
2020-11-17 13:01:05,546 1100 [DEBUG] - Error handling check: 'Get-ItemProperty' fails if a registry key is encoded incorrectly.
2020-11-17 13:01:06,016 1100 [DEBUG] - Found 1 uninstall registry key(s) with SoftwareName:'coq*'
2020-11-17 13:01:06,203 1100 [DEBUG] - Running Uninstall-ChocolateyPackage -packageName 'Coq' -fileType 'exe' -validExitCodes '0' -silentArgs '/S' -file '"C:\Coq\Uninstall.exe"'
2020-11-17 13:01:06,203 1100 [INFO ] - Uninstalling Coq...
2020-11-17 13:01:06,217 1100 [INFO ] -
2020-11-17 13:01:06,359 1100 [DEBUG] - Running Start-ChocolateyProcessAsAdmin -validExitCodes '0' -statements '/S ' -exeToRun '"C:\Coq\Uninstall.exe"'
2020-11-17 13:01:06,500 1100 [DEBUG] - Test-ProcessAdminRights: returning True
2020-11-17 13:01:06,546 1100 [DEBUG] - Elevating permissions and running ["C:\Coq\Uninstall.exe" /S ]. This may take a while, depending on the statements.
2020-11-17 13:01:09,264 1100 [DEBUG] - Command ["C:\Coq\Uninstall.exe" /S ] exited with '0'.
2020-11-17 13:01:09,312 1100 [DEBUG] - Finishing 'Start-ChocolateyProcessAsAdmin'
2020-11-17 13:01:09,327 1100 [INFO ] - 0
2020-11-17 13:01:09,327 1100 [INFO ] - Coq has been uninstalled.
2020-11-17 13:01:09,327 1100 [INFO ] -
2020-11-17 13:01:09,327 1100 [INFO ] - ^^ No it hasn't just yet...
2020-11-17 13:01:09,342 1100 [INFO ] -
2020-11-17 13:01:09,342 1100 [INFO ] - Waiting for the uninstall process to close...
2020-11-17 13:01:09,342 1100 [INFO ] -
2020-11-17 13:01:25,970 1100 [DEBUG] - ----------------------------------------------------------------------
2020-11-17 13:01:25,983 1100 [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-11-17 13:01:26,046 1100 [INFO ] - Running auto uninstaller...
2020-11-17 13:01:26,094 1100 [DEBUG] - Sleeping for 2 seconds to allow Windows to finish cleaning up.
2020-11-17 13:01:28,155 1100 [DEBUG] - Preparing uninstall key '"C:\Coq\Uninstall.exe"' for 'Coq Version 8.12.1'
2020-11-17 13:01:28,234 1100 [INFO ] - Skipping auto uninstaller - 'Coq Version 8.12.1' appears to have been uninstalled already by other means.
2020-11-17 13:01:28,250 1100 [DEBUG] - Searched for install path '' - found? False
2020-11-17 13:01:28,250 1100 [DEBUG] - Searched for registry key 'HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\Windows\CurrentVersion\Uninstall\Coq' value 'InstallLocation' - found? False
2020-11-17 13:01:28,265 1100 [DEBUG] - Calling command ['"C:\Windows\System32\shutdown.exe" /a']
2020-11-17 13:01:29,796 1100 [DEBUG] - Command ['"C:\Windows\System32\shutdown.exe" /a'] exited with '1116'
2020-11-17 13:01:29,827 1100 [DEBUG] - Attempting to delete directory "C:\ProgramData\chocolatey\lib-bkp\coq".
2020-11-17 13:01:30,000 1100 [DEBUG] - [NuGet] Removed file 'chocolateyInstall.ps1' to folder 'C:\ProgramData\chocolatey\lib\Coq\tools'.
2020-11-17 13:01:30,000 1100 [DEBUG] - [NuGet] Removed file 'chocolateyUninstall.ps1' to folder 'C:\ProgramData\chocolatey\lib\Coq\tools'.
2020-11-17 13:01:30,015 1100 [DEBUG] - [NuGet] Removed folder 'C:\ProgramData\chocolatey\lib\Coq\tools'.
2020-11-17 13:01:30,015 1100 [DEBUG] - [NuGet] Removed file 'Coq.nuspec' to folder 'C:\ProgramData\chocolatey\lib\Coq'.
2020-11-17 13:01:30,034 1100 [DEBUG] - [NuGet] Removed file 'Coq.nupkg' to folder 'C:\ProgramData\chocolatey\lib\Coq'.
2020-11-17 13:01:30,034 1100 [DEBUG] - [NuGet] Removed folder 'C:\ProgramData\chocolatey\lib\Coq'.
2020-11-17 13:01:30,046 1100 [INFO ] - [NuGet] Successfully uninstalled 'Coq 8.12.1'.
2020-11-17 13:01:30,453 1100 [INFO ] - Coq has been successfully uninstalled.
2020-11-17 13:01:30,453 1100 [DEBUG] - Removing nupkg if it still exists.
2020-11-17 13:01:30,499 1100 [DEBUG] - Ensuring removal of installation files.
2020-11-17 13:01:30,515 1100 [DEBUG] - Ensuring removal of package cache files.
2020-11-17 13:01:30,515 1100 [DEBUG] - Attempting to delete directory "C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.12.1".
2020-11-17 13:01:30,703 1100 [WARN ] -
Chocolatey uninstalled 1/1 packages.
See the log for details (C:\ProgramData\chocolatey\logs\chocolatey.log).
2020-11-17 13:01:30,703 1100 [DEBUG] - Sending message 'PostRunMessage' out if there are subscribers...
2020-11-17 13:01:30,765 1100 [DEBUG] - Exiting with 0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment