Skip to content

Instantly share code, notes, and snippets.

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

  • https://chocolatey.org/packages/Coq/8.13.1
  • Tested 23 Feb 2021 01:59: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.5.0-8-g7441bc6
  • 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="136E88E46AA6882F0DE19579DCEEFE2A" />
<file path="C:\ProgramData\chocolatey\lib\Coq\Coq.nuspec" checksum="9DEFE123141FF45A0B999FEA135571A0" />
<file path="C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyInstall.ps1" checksum="E24849472AF16F6C849794A4266F3444" />
<file path="C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyUninstall.ps1" checksum="A985B284D16501E6678AF87FE34BA9EF" />
</files>
</fileSnapshot>
2021-02-19 12:50:49,466 1376 [DEBUG] - XmlConfiguration is now operational
2021-02-19 12:50:49,637 1376 [INFO ] - ============================================================
2021-02-19 12:50:50,246 1376 [INFO ] - Chocolatey v0.10.16-beta
2021-02-19 12:50:50,262 1376 [DEBUG] - Chocolatey is running on Windows v 6.3.9600.0
2021-02-19 12:50:50,277 1376 [DEBUG] - Attempting to delete file "C:/ProgramData/chocolatey/choco.exe.old".
2021-02-19 12:50:50,277 1376 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\choco.exe.old".
2021-02-19 12:50:50,308 1376 [DEBUG] - Command line: "C:\ProgramData\chocolatey\choco.exe" install Coq --version 8.13.1 -fdvy --execution-timeout=2700 --allow-downgrade
2021-02-19 12:50:50,324 1376 [DEBUG] - Received arguments: install Coq --version 8.13.1 -fdvy --execution-timeout=2700 --allow-downgrade
2021-02-19 12:50:50,480 1376 [DEBUG] - RemovePendingPackagesTask is now ready and waiting for PreRunMessage.
2021-02-19 12:50:50,512 1376 [DEBUG] - Sending message 'PreRunMessage' out if there are subscribers...
2021-02-19 12:50:50,527 1376 [DEBUG] - [Pending] Removing all pending packages that should not be considered installed...
2021-02-19 12:50:50,684 1376 [DEBUG] - Performing validation checks.
2021-02-19 12:50:50,699 1376 [DEBUG] - Global Configuration Validation Checks:
2021-02-19 12:50:50,714 1376 [DEBUG] - - Package Exit Code / Exit On Reboot = Checked
2021-02-19 12:50:50,714 1376 [DEBUG] - System State Validation Checks:
2021-02-19 12:50:50,731 1376 [DEBUG] - Reboot Requirement Checks:
2021-02-19 12:50:50,746 1376 [DEBUG] - - Pending Computer Rename = Checked
2021-02-19 12:50:50,762 1376 [DEBUG] - - Pending Component Based Servicing = Checked
2021-02-19 12:50:50,762 1376 [DEBUG] - - Pending Windows Auto Update = Checked
2021-02-19 12:50:50,778 1376 [DEBUG] - - Pending File Rename Operations = Ignored
2021-02-19 12:50:50,778 1376 [DEBUG] - - Pending Windows Package Installer = Checked
2021-02-19 12:50:50,793 1376 [DEBUG] - - Pending Windows Package Installer SysWow64 = Checked
2021-02-19 12:50:50,809 1376 [INFO ] - 2 validations performed. 2 success(es), 0 warning(s), and 0 error(s).
2021-02-19 12:50:50,824 1376 [DEBUG] - The source 'c:\cached-packages;https://chocolatey.org/api/v2/' evaluated to a 'normal' source type
2021-02-19 12:50:50,840 1376 [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.
2021-02-19 12:50:50,872 1376 [DEBUG] - Configuration: CommandName='install'|
CacheLocation='C:\Users\Administrator\AppData\Local\Temp\chocolatey'|
ContainsLegacyPackageInstalls='True'|
CommandExecutionTimeoutSeconds='2700'|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.13.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'|
2021-02-19 12:50:50,872 1376 [DEBUG] - _ Chocolatey:ChocolateyInstallCommand - Normal Run Mode _
2021-02-19 12:50:50,886 1376 [INFO ] - Installing the following packages:
2021-02-19 12:50:50,902 1376 [INFO ] - Coq
2021-02-19 12:50:50,902 1376 [INFO ] - By installing you accept licenses for the packages.
2021-02-19 12:50:50,919 1376 [DEBUG] - Current environment values (may contain sensitive data):
2021-02-19 12:50:50,933 1376 [DEBUG] - * 'TMP'='C:\Users\Administrator\AppData\Local\Temp' ('User')
2021-02-19 12:50:50,933 1376 [DEBUG] - * 'TEMP'='C:\Users\Administrator\AppData\Local\Temp' ('User')
2021-02-19 12:50:50,933 1376 [DEBUG] - * 'ChocolateyLastPathUpdate'='132582123886734658' ('User')
2021-02-19 12:50:50,950 1376 [DEBUG] - * 'FP_NO_HOST_CHECK'='NO' ('Machine')
2021-02-19 12:50:50,950 1376 [DEBUG] - * 'USERNAME'='SYSTEM' ('Machine')
2021-02-19 12:50:50,950 1376 [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')
2021-02-19 12:50:50,965 1376 [DEBUG] - * 'ComSpec'='C:\Windows\system32\cmd.exe' ('Machine')
2021-02-19 12:50:50,965 1376 [DEBUG] - * 'TMP'='C:\Windows\TEMP' ('Machine')
2021-02-19 12:50:50,965 1376 [DEBUG] - * 'OS'='Windows_NT' ('Machine')
2021-02-19 12:50:50,980 1376 [DEBUG] - * 'windir'='C:\Windows' ('Machine')
2021-02-19 12:50:50,980 1376 [DEBUG] - * 'PROCESSOR_ARCHITECTURE'='AMD64' ('Machine')
2021-02-19 12:50:50,980 1376 [DEBUG] - * 'TEMP'='C:\Windows\TEMP' ('Machine')
2021-02-19 12:50:50,980 1376 [DEBUG] - * 'PATHEXT'='.COM;.EXE;.BAT;.CMD;.VBS;.VBE;.JS;.JSE;.WSF;.WSH;.MSC' ('Machine')
2021-02-19 12:50:50,996 1376 [DEBUG] - * 'PSModulePath'='C:\Windows\system32\WindowsPowerShell\v1.0\Modules\' ('Machine')
2021-02-19 12:50:50,996 1376 [DEBUG] - * 'NUMBER_OF_PROCESSORS'='1' ('Machine')
2021-02-19 12:50:50,996 1376 [DEBUG] - * 'PROCESSOR_LEVEL'='16' ('Machine')
2021-02-19 12:50:50,996 1376 [DEBUG] - * 'PROCESSOR_IDENTIFIER'='AMD64 Family 16 Model 6 Stepping 3, AuthenticAMD' ('Machine')
2021-02-19 12:50:51,012 1376 [DEBUG] - * 'PROCESSOR_REVISION'='0603' ('Machine')
2021-02-19 12:50:51,012 1376 [DEBUG] - * 'HOME'='C:\Users\Administrator' ('Machine')
2021-02-19 12:50:51,012 1376 [DEBUG] - * 'ChocolateyInstall'='C:\ProgramData\chocolatey' ('Machine')
2021-02-19 12:50:52,512 1376 [INFO ] - [NuGet] Attempting to resolve dependency 'chocolatey-core.extension (= 1.3.3)'.
2021-02-19 12:50:54,090 1376 [INFO ] - [NuGet] Installing 'chocolatey-core.extension 1.3.5.1'.
2021-02-19 12:50:54,106 1376 [DEBUG] - [NuGet] Added file 'chocolatey-core.psm1' to folder 'chocolatey-core.extension\extensions'.
2021-02-19 12:50:54,106 1376 [DEBUG] - [NuGet] Added file 'Get-AppInstallLocation.ps1' to folder 'chocolatey-core.extension\extensions'.
2021-02-19 12:50:54,121 1376 [DEBUG] - [NuGet] Added file 'Get-AvailableDriveLetter.ps1' to folder 'chocolatey-core.extension\extensions'.
2021-02-19 12:50:54,121 1376 [DEBUG] - [NuGet] Added file 'Get-EffectiveProxy.ps1' to folder 'chocolatey-core.extension\extensions'.
2021-02-19 12:50:54,121 1376 [DEBUG] - [NuGet] Added file 'Get-PackageCacheLocation.ps1' to folder 'chocolatey-core.extension\extensions'.
2021-02-19 12:50:54,137 1376 [DEBUG] - [NuGet] Added file 'Get-PackageParameters.ps1' to folder 'chocolatey-core.extension\extensions'.
2021-02-19 12:50:54,137 1376 [DEBUG] - [NuGet] Added file 'Get-UninstallRegistryKey.ps1' to folder 'chocolatey-core.extension\extensions'.
2021-02-19 12:50:54,137 1376 [DEBUG] - [NuGet] Added file 'Get-WebContent.ps1' to folder 'chocolatey-core.extension\extensions'.
2021-02-19 12:50:54,137 1376 [DEBUG] - [NuGet] Added file 'Register-Application.ps1' to folder 'chocolatey-core.extension\extensions'.
2021-02-19 12:50:54,152 1376 [DEBUG] - [NuGet] Added file 'Remove-Process.ps1' to folder 'chocolatey-core.extension\extensions'.
2021-02-19 12:50:54,168 1376 [DEBUG] - [NuGet] Added file 'chocolatey-core.extension.nupkg' to folder 'chocolatey-core.extension'.
2021-02-19 12:50:54,543 1376 [DEBUG] - [NuGet] Added file 'chocolatey-core.extension.nuspec' to folder 'chocolatey-core.extension'.
2021-02-19 12:50:54,559 1376 [INFO ] - [NuGet] Successfully installed 'chocolatey-core.extension 1.3.5.1'.
2021-02-19 12:50:54,574 1376 [INFO ] -
chocolatey-core.extension v1.3.5.1 (forced)
2021-02-19 12:50:54,622 1376 [INFO ] - chocolatey-core.extension package files install completed. Performing other installation steps.
2021-02-19 12:50:54,919 1376 [DEBUG] - Capturing package files in 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension'
2021-02-19 12:50:54,933 1376 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\chocolatey-core.extension.nupkg'
with checksum '7F066B11D65D07704BDB0A9D8FB4437F'
2021-02-19 12:50:54,933 1376 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\chocolatey-core.extension.nuspec'
with checksum 'D71F7B1D873058AA1A6CE4EA7CD21AE8'
2021-02-19 12:50:54,933 1376 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\chocolatey-core.psm1'
with checksum '8007E67FDE249548DBF78D1DC8AFDCCC'
2021-02-19 12:50:54,949 1376 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Get-AppInstallLocation.ps1'
with checksum 'D036C97BC50A3731BF69A15417F60E72'
2021-02-19 12:50:54,949 1376 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Get-AvailableDriveLetter.ps1'
with checksum '2F386746AFC2ACB9561DFB245239B93F'
2021-02-19 12:50:54,949 1376 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Get-EffectiveProxy.ps1'
with checksum '3895F062D2D91D9D32D1FC57A619066C'
2021-02-19 12:50:54,949 1376 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Get-PackageCacheLocation.ps1'
with checksum '77A378E5C659E5A53D2D64E276159B62'
2021-02-19 12:50:54,966 1376 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Get-PackageParameters.ps1'
with checksum 'C08B3AF8CA150B6609DF2B978B693269'
2021-02-19 12:50:54,966 1376 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Get-UninstallRegistryKey.ps1'
with checksum '3FAA5C11AAFC4EA35BB98EA797446C97'
2021-02-19 12:50:54,966 1376 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Get-WebContent.ps1'
with checksum '57D013E581EFEA3D4D8366183C9A5797'
2021-02-19 12:50:54,981 1376 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Register-Application.ps1'
with checksum 'D2853E569DAC9A341642BA76EC4FB411'
2021-02-19 12:50:54,981 1376 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\chocolatey-core.extension\extensions\Remove-Process.ps1'
with checksum 'CFDFB899BE8491454B264BF7C5EF08BA'
2021-02-19 12:50:54,997 1376 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\extensions".
2021-02-19 12:50:55,027 1376 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\extensions\chocolatey-core".
2021-02-19 12:50:55,027 1376 [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".
2021-02-19 12:50:55,043 1376 [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".
2021-02-19 12:50:55,043 1376 [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".
2021-02-19 12:50:55,059 1376 [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".
2021-02-19 12:50:55,074 1376 [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".
2021-02-19 12:50:55,090 1376 [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".
2021-02-19 12:50:55,090 1376 [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".
2021-02-19 12:50:55,105 1376 [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".
2021-02-19 12:50:55,121 1376 [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".
2021-02-19 12:50:55,121 1376 [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".
2021-02-19 12:50:56,652 1376 [WARN ] - Installed/updated chocolatey-core extensions.
2021-02-19 12:50:56,732 1376 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\.chocolatey\chocolatey-core.extension.1.3.5.1".
2021-02-19 12:50:56,777 1376 [DEBUG] - There was no original file at 'C:\ProgramData\chocolatey\.chocolatey\chocolatey-core.extension.1.3.5.1\.files'
2021-02-19 12:50:56,793 1376 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\chocolatey-core.extension.1.3.5.1\.extra".
2021-02-19 12:50:56,793 1376 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\chocolatey-core.extension.1.3.5.1\.version".
2021-02-19 12:50:56,808 1376 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\chocolatey-core.extension.1.3.5.1\.sxs".
2021-02-19 12:50:56,808 1376 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\chocolatey-core.extension.1.3.5.1\.pin".
2021-02-19 12:50:56,808 1376 [DEBUG] - Sending message 'HandlePackageResultCompletedMessage' out if there are subscribers...
2021-02-19 12:50:56,824 1376 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\chocolatey-core.extension\.chocolateyPending".
2021-02-19 12:50:56,839 1376 [INFO ] - The install of chocolatey-core.extension was successful.
2021-02-19 12:50:56,902 1376 [INFO ] - Software installed to 'C:\ProgramData\chocolatey\extensions\chocolatey-core'
2021-02-19 12:50:56,902 1376 [INFO ] - [NuGet] Installing 'Coq 8.13.1'.
2021-02-19 12:50:56,949 1376 [DEBUG] - [NuGet] Added file 'chocolateyInstall.ps1' to folder 'Coq\tools'.
2021-02-19 12:50:56,949 1376 [DEBUG] - [NuGet] Added file 'chocolateyUninstall.ps1' to folder 'Coq\tools'.
2021-02-19 12:50:56,996 1376 [DEBUG] - [NuGet] Added file 'Coq.nupkg' to folder 'Coq'.
2021-02-19 12:50:57,230 1376 [DEBUG] - [NuGet] Added file 'Coq.nuspec' to folder 'Coq'.
2021-02-19 12:50:57,246 1376 [INFO ] - [NuGet] Successfully installed 'Coq 8.13.1'.
2021-02-19 12:50:57,261 1376 [INFO ] -
Coq v8.13.1 (forced)
2021-02-19 12:50:57,261 1376 [INFO ] - coq package files install completed. Performing other installation steps.
2021-02-19 12:50:57,324 1376 [DEBUG] - Setting installer args for Coq
2021-02-19 12:50:57,324 1376 [DEBUG] - Setting package parameters for Coq
2021-02-19 12:50:57,340 1376 [DEBUG] - Contents of 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyInstall.ps1':
2021-02-19 12:50:57,418 1376 [DEBUG] - $ErrorActionPreference = 'Stop'
$packageArgs = @{
packageName = $env:ChocolateyPackageName
fileType = 'exe'
url = 'https://github.com/coq/coq/releases/download/V8.13.1/coq-8.13.1-installer-windows-i686.exe'
url64bit = 'https://github.com/coq/coq/releases/download/V8.13.1/coq-8.13.1-installer-windows-x86_64.exe'
softwareName = 'coq*'
checksum = 'a67ddd3041b6149cdc6d4d80fc4d4be231ef35f0c0866d3c6a5bbe2ebb500175'
checksumType = 'sha256'
checksum64 = 'a64e58692c2db894f520d047e07c9c6a53ae8571deacf4abc0f113cd1d206d08'
checksumType64 = 'sha256'
silentArgs = '/S'
validExitCodes = @(0)
}
Install-ChocolateyPackage @packageArgs
2021-02-19 12:50:57,480 1376 [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 ''']
2021-02-19 12:50:57,480 1376 [DEBUG] - Redirecting System.Management.Automation.resources, Version=3.0.0.0, Culture=en-US, PublicKeyToken=31bf3856ad364e35, requested by ''
2021-02-19 12:50:58,090 1376 [DEBUG] - Host version is 4.0, PowerShell Version is '4.0' and CLR Version is '4.0.30319.34014'.
2021-02-19 12:50:58,511 1376 [INFO ] - VERBOSE: Exporting function 'Format-FileSize'.
2021-02-19 12:50:58,559 1376 [INFO ] - VERBOSE: Exporting function 'Get-ChecksumValid'.
2021-02-19 12:50:58,559 1376 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyUnzip'.
2021-02-19 12:50:58,574 1376 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyWebFile'.
2021-02-19 12:50:58,574 1376 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariable'.
2021-02-19 12:50:58,574 1376 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariableNames'.
2021-02-19 12:50:58,590 1376 [INFO ] - VERBOSE: Exporting function 'Get-FtpFile'.
2021-02-19 12:50:58,590 1376 [INFO ] - VERBOSE: Exporting function 'Get-OSArchitectureWidth'.
2021-02-19 12:50:58,590 1376 [INFO ] - VERBOSE: Exporting function 'Get-PackageParameters'.
2021-02-19 12:50:58,605 1376 [INFO ] - VERBOSE: Exporting function 'Get-PackageParametersBuiltIn'.
2021-02-19 12:50:58,605 1376 [INFO ] - VERBOSE: Exporting function 'Get-ToolsLocation'.
2021-02-19 12:50:58,605 1376 [INFO ] - VERBOSE: Exporting function 'Get-UACEnabled'.
2021-02-19 12:50:58,605 1376 [INFO ] - VERBOSE: Exporting function 'Get-UninstallRegistryKey'.
2021-02-19 12:50:58,621 1376 [INFO ] - VERBOSE: Exporting function 'Get-VirusCheckValid'.
2021-02-19 12:50:58,621 1376 [INFO ] - VERBOSE: Exporting function 'Get-WebFile'.
2021-02-19 12:50:58,621 1376 [INFO ] - VERBOSE: Exporting function 'Get-WebFileName'.
2021-02-19 12:50:58,637 1376 [INFO ] - VERBOSE: Exporting function 'Get-WebHeaders'.
2021-02-19 12:50:58,637 1376 [INFO ] - VERBOSE: Exporting function 'Install-BinFile'.
2021-02-19 12:50:58,637 1376 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyDesktopLink'.
2021-02-19 12:50:58,653 1376 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyEnvironmentVariable'.
2021-02-19 12:50:58,653 1376 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyExplorerMenuItem'.
2021-02-19 12:50:58,668 1376 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyFileAssociation'.
2021-02-19 12:50:58,668 1376 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyInstallPackage'.
2021-02-19 12:50:58,668 1376 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPackage'.
2021-02-19 12:50:58,683 1376 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPath'.
2021-02-19 12:50:58,683 1376 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPinnedTaskBarItem'.
2021-02-19 12:50:58,700 1376 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPowershellCommand'.
2021-02-19 12:50:58,714 1376 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyShortcut'.
2021-02-19 12:50:58,714 1376 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyVsixPackage'.
2021-02-19 12:50:58,730 1376 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyZipPackage'.
2021-02-19 12:50:58,746 1376 [INFO ] - VERBOSE: Exporting function 'Install-Vsix'.
2021-02-19 12:50:58,746 1376 [INFO ] - VERBOSE: Exporting function 'Set-EnvironmentVariable'.
2021-02-19 12:50:58,746 1376 [INFO ] - VERBOSE: Exporting function 'Set-PowerShellExitCode'.
2021-02-19 12:50:58,762 1376 [INFO ] - VERBOSE: Exporting function 'Start-ChocolateyProcessAsAdmin'.
2021-02-19 12:50:58,762 1376 [INFO ] - VERBOSE: Exporting function 'Test-ProcessAdminRights'.
2021-02-19 12:50:58,762 1376 [INFO ] - VERBOSE: Exporting function 'Uninstall-BinFile'.
2021-02-19 12:50:58,777 1376 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyEnvironmentVariable'.
2021-02-19 12:50:58,777 1376 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyPackage'.
2021-02-19 12:50:58,777 1376 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyZipPackage'.
2021-02-19 12:50:58,793 1376 [INFO ] - VERBOSE: Exporting function 'Update-SessionEnvironment'.
2021-02-19 12:50:58,793 1376 [INFO ] - VERBOSE: Exporting function 'Write-ChocolateyFailure'.
2021-02-19 12:50:58,793 1376 [INFO ] - VERBOSE: Exporting function 'Write-ChocolateySuccess'.
2021-02-19 12:50:58,793 1376 [INFO ] - VERBOSE: Exporting function 'Write-FileUpdateLog'.
2021-02-19 12:50:58,810 1376 [INFO ] - VERBOSE: Exporting function 'Write-FunctionCallLogMessage'.
2021-02-19 12:50:58,810 1376 [INFO ] - VERBOSE: Exporting alias 'Get-ProcessorBits'.
2021-02-19 12:50:58,810 1376 [INFO ] - VERBOSE: Exporting alias 'Get-OSBitness'.
2021-02-19 12:50:58,810 1376 [INFO ] - VERBOSE: Exporting alias 'Get-InstallRegistryKey'.
2021-02-19 12:50:58,824 1376 [INFO ] - VERBOSE: Exporting alias 'Generate-BinFile'.
2021-02-19 12:50:58,824 1376 [INFO ] - VERBOSE: Exporting alias 'Add-BinFile'.
2021-02-19 12:50:58,824 1376 [INFO ] - VERBOSE: Exporting alias 'Start-ChocolateyProcess'.
2021-02-19 12:50:58,824 1376 [INFO ] - VERBOSE: Exporting alias 'Invoke-ChocolateyProcess'.
2021-02-19 12:50:58,840 1376 [INFO ] - VERBOSE: Exporting alias 'Remove-BinFile'.
2021-02-19 12:50:58,840 1376 [INFO ] - VERBOSE: Exporting alias 'refreshenv'.
2021-02-19 12:50:58,872 1376 [DEBUG] - Loading community extensions
2021-02-19 12:50:58,887 1376 [DEBUG] - Importing 'C:\ProgramData\chocolatey\extensions\chocolatey-core\chocolatey-core.psm1'
2021-02-19 12:50:58,887 1376 [INFO ] - VERBOSE: Loading module from path 'C:\ProgramData\chocolatey\extensions\chocolatey-core\chocolatey-core.psm1'.
2021-02-19 12:50:59,121 1376 [INFO ] - VERBOSE: Exporting function 'Get-UninstallRegistryKey'.
2021-02-19 12:50:59,121 1376 [INFO ] - VERBOSE: Exporting function 'Get-AppInstallLocation'.
2021-02-19 12:50:59,137 1376 [INFO ] - VERBOSE: Exporting function 'Get-AvailableDriveLetter'.
2021-02-19 12:50:59,137 1376 [INFO ] - VERBOSE: Exporting function 'Get-EffectiveProxy'.
2021-02-19 12:50:59,152 1376 [INFO ] - VERBOSE: Exporting function 'Get-PackageCacheLocation'.
2021-02-19 12:50:59,152 1376 [INFO ] - VERBOSE: Exporting function 'Get-PackageParameters'.
2021-02-19 12:50:59,152 1376 [INFO ] - VERBOSE: Exporting function 'Get-WebContent'.
2021-02-19 12:50:59,168 1376 [INFO ] - VERBOSE: Exporting function 'Register-Application'.
2021-02-19 12:50:59,168 1376 [INFO ] - VERBOSE: Exporting function 'Remove-Process'.
2021-02-19 12:50:59,184 1376 [INFO ] - VERBOSE: Importing function 'Get-AppInstallLocation'.
2021-02-19 12:50:59,184 1376 [INFO ] - VERBOSE: Importing function 'Get-AvailableDriveLetter'.
2021-02-19 12:50:59,199 1376 [INFO ] - VERBOSE: Importing function 'Get-EffectiveProxy'.
2021-02-19 12:50:59,199 1376 [INFO ] - VERBOSE: Importing function 'Get-PackageCacheLocation'.
2021-02-19 12:50:59,199 1376 [INFO ] - VERBOSE: Importing function 'Get-PackageParameters'.
2021-02-19 12:50:59,215 1376 [INFO ] - VERBOSE: Importing function 'Get-UninstallRegistryKey'.
2021-02-19 12:50:59,215 1376 [INFO ] - VERBOSE: Importing function 'Get-WebContent'.
2021-02-19 12:50:59,230 1376 [INFO ] - VERBOSE: Importing function 'Register-Application'.
2021-02-19 12:50:59,230 1376 [INFO ] - VERBOSE: Importing function 'Remove-Process'.
2021-02-19 12:50:59,246 1376 [INFO ] - VERBOSE: Exporting function 'Format-FileSize'.
2021-02-19 12:50:59,261 1376 [INFO ] - VERBOSE: Exporting function 'Get-ChecksumValid'.
2021-02-19 12:50:59,261 1376 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyUnzip'.
2021-02-19 12:50:59,277 1376 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyWebFile'.
2021-02-19 12:50:59,293 1376 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariable'.
2021-02-19 12:50:59,293 1376 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariableNames'.
2021-02-19 12:50:59,308 1376 [INFO ] - VERBOSE: Exporting function 'Get-FtpFile'.
2021-02-19 12:50:59,308 1376 [INFO ] - VERBOSE: Exporting function 'Get-OSArchitectureWidth'.
2021-02-19 12:50:59,324 1376 [INFO ] - VERBOSE: Exporting function 'Get-PackageParameters'.
2021-02-19 12:50:59,324 1376 [INFO ] - VERBOSE: Exporting function 'Get-PackageParametersBuiltIn'.
2021-02-19 12:50:59,324 1376 [INFO ] - VERBOSE: Exporting function 'Get-ToolsLocation'.
2021-02-19 12:50:59,340 1376 [INFO ] - VERBOSE: Exporting function 'Get-UACEnabled'.
2021-02-19 12:50:59,340 1376 [INFO ] - VERBOSE: Exporting function 'Get-UninstallRegistryKey'.
2021-02-19 12:50:59,340 1376 [INFO ] - VERBOSE: Exporting function 'Get-VirusCheckValid'.
2021-02-19 12:50:59,340 1376 [INFO ] - VERBOSE: Exporting function 'Get-WebFile'.
2021-02-19 12:50:59,357 1376 [INFO ] - VERBOSE: Exporting function 'Get-WebFileName'.
2021-02-19 12:50:59,357 1376 [INFO ] - VERBOSE: Exporting function 'Get-WebHeaders'.
2021-02-19 12:50:59,357 1376 [INFO ] - VERBOSE: Exporting function 'Install-BinFile'.
2021-02-19 12:50:59,357 1376 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyDesktopLink'.
2021-02-19 12:50:59,371 1376 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyEnvironmentVariable'.
2021-02-19 12:50:59,371 1376 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyExplorerMenuItem'.
2021-02-19 12:50:59,386 1376 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyFileAssociation'.
2021-02-19 12:50:59,386 1376 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyInstallPackage'.
2021-02-19 12:50:59,386 1376 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPackage'.
2021-02-19 12:50:59,402 1376 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPath'.
2021-02-19 12:50:59,402 1376 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPinnedTaskBarItem'.
2021-02-19 12:50:59,402 1376 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPowershellCommand'.
2021-02-19 12:50:59,402 1376 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyShortcut'.
2021-02-19 12:50:59,418 1376 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyVsixPackage'.
2021-02-19 12:50:59,418 1376 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyZipPackage'.
2021-02-19 12:50:59,418 1376 [INFO ] - VERBOSE: Exporting function 'Install-Vsix'.
2021-02-19 12:50:59,433 1376 [INFO ] - VERBOSE: Exporting function 'Set-EnvironmentVariable'.
2021-02-19 12:50:59,433 1376 [INFO ] - VERBOSE: Exporting function 'Set-PowerShellExitCode'.
2021-02-19 12:50:59,433 1376 [INFO ] - VERBOSE: Exporting function 'Start-ChocolateyProcessAsAdmin'.
2021-02-19 12:50:59,433 1376 [INFO ] - VERBOSE: Exporting function 'Test-ProcessAdminRights'.
2021-02-19 12:50:59,433 1376 [INFO ] - VERBOSE: Exporting function 'Uninstall-BinFile'.
2021-02-19 12:50:59,449 1376 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyEnvironmentVariable'.
2021-02-19 12:50:59,449 1376 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyPackage'.
2021-02-19 12:50:59,464 1376 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyZipPackage'.
2021-02-19 12:50:59,480 1376 [INFO ] - VERBOSE: Exporting function 'Update-SessionEnvironment'.
2021-02-19 12:50:59,480 1376 [INFO ] - VERBOSE: Exporting function 'Write-ChocolateyFailure'.
2021-02-19 12:50:59,496 1376 [INFO ] - VERBOSE: Exporting function 'Write-ChocolateySuccess'.
2021-02-19 12:50:59,496 1376 [INFO ] - VERBOSE: Exporting function 'Write-FileUpdateLog'.
2021-02-19 12:50:59,511 1376 [INFO ] - VERBOSE: Exporting function 'Write-FunctionCallLogMessage'.
2021-02-19 12:50:59,527 1376 [INFO ] - VERBOSE: Exporting function 'Get-AppInstallLocation'.
2021-02-19 12:50:59,527 1376 [INFO ] - VERBOSE: Exporting function 'Get-AvailableDriveLetter'.
2021-02-19 12:50:59,542 1376 [INFO ] - VERBOSE: Exporting function 'Get-EffectiveProxy'.
2021-02-19 12:50:59,542 1376 [INFO ] - VERBOSE: Exporting function 'Get-PackageCacheLocation'.
2021-02-19 12:50:59,558 1376 [INFO ] - VERBOSE: Exporting function 'Get-WebContent'.
2021-02-19 12:50:59,558 1376 [INFO ] - VERBOSE: Exporting function 'Register-Application'.
2021-02-19 12:50:59,575 1376 [INFO ] - VERBOSE: Exporting function 'Remove-Process'.
2021-02-19 12:50:59,575 1376 [INFO ] - VERBOSE: Exporting alias 'Get-ProcessorBits'.
2021-02-19 12:50:59,575 1376 [INFO ] - VERBOSE: Exporting alias 'Get-OSBitness'.
2021-02-19 12:50:59,590 1376 [INFO ] - VERBOSE: Exporting alias 'Get-InstallRegistryKey'.
2021-02-19 12:50:59,590 1376 [INFO ] - VERBOSE: Exporting alias 'Generate-BinFile'.
2021-02-19 12:50:59,590 1376 [INFO ] - VERBOSE: Exporting alias 'Add-BinFile'.
2021-02-19 12:50:59,605 1376 [INFO ] - VERBOSE: Exporting alias 'Start-ChocolateyProcess'.
2021-02-19 12:50:59,605 1376 [INFO ] - VERBOSE: Exporting alias 'Invoke-ChocolateyProcess'.
2021-02-19 12:50:59,605 1376 [INFO ] - VERBOSE: Exporting alias 'Remove-BinFile'.
2021-02-19 12:50:59,605 1376 [INFO ] - VERBOSE: Exporting alias 'refreshenv'.
2021-02-19 12:50:59,621 1376 [INFO ] - VERBOSE: Importing function 'Format-FileSize'.
2021-02-19 12:50:59,621 1376 [INFO ] - VERBOSE: Importing function 'Get-AppInstallLocation'.
2021-02-19 12:50:59,621 1376 [INFO ] - VERBOSE: Importing function 'Get-AvailableDriveLetter'.
2021-02-19 12:50:59,637 1376 [INFO ] - VERBOSE: Importing function 'Get-ChecksumValid'.
2021-02-19 12:50:59,637 1376 [INFO ] - VERBOSE: Importing function 'Get-ChocolateyUnzip'.
2021-02-19 12:50:59,637 1376 [INFO ] - VERBOSE: Importing function 'Get-ChocolateyWebFile'.
2021-02-19 12:50:59,637 1376 [INFO ] - VERBOSE: Importing function 'Get-EffectiveProxy'.
2021-02-19 12:50:59,654 1376 [INFO ] - VERBOSE: Importing function 'Get-EnvironmentVariable'.
2021-02-19 12:50:59,654 1376 [INFO ] - VERBOSE: Importing function 'Get-EnvironmentVariableNames'.
2021-02-19 12:50:59,654 1376 [INFO ] - VERBOSE: Importing function 'Get-FtpFile'.
2021-02-19 12:50:59,654 1376 [INFO ] - VERBOSE: Importing function 'Get-OSArchitectureWidth'.
2021-02-19 12:50:59,668 1376 [INFO ] - VERBOSE: Importing function 'Get-PackageCacheLocation'.
2021-02-19 12:50:59,668 1376 [INFO ] - VERBOSE: Importing function 'Get-PackageParameters'.
2021-02-19 12:50:59,668 1376 [INFO ] - VERBOSE: Importing function 'Get-PackageParametersBuiltIn'.
2021-02-19 12:50:59,683 1376 [INFO ] - VERBOSE: Importing function 'Get-ToolsLocation'.
2021-02-19 12:50:59,683 1376 [INFO ] - VERBOSE: Importing function 'Get-UACEnabled'.
2021-02-19 12:50:59,683 1376 [INFO ] - VERBOSE: Importing function 'Get-UninstallRegistryKey'.
2021-02-19 12:50:59,701 1376 [INFO ] - VERBOSE: Importing function 'Get-VirusCheckValid'.
2021-02-19 12:50:59,701 1376 [INFO ] - VERBOSE: Importing function 'Get-WebContent'.
2021-02-19 12:50:59,701 1376 [INFO ] - VERBOSE: Importing function 'Get-WebFile'.
2021-02-19 12:50:59,701 1376 [INFO ] - VERBOSE: Importing function 'Get-WebFileName'.
2021-02-19 12:50:59,715 1376 [INFO ] - VERBOSE: Importing function 'Get-WebHeaders'.
2021-02-19 12:50:59,730 1376 [INFO ] - VERBOSE: Importing function 'Install-BinFile'.
2021-02-19 12:50:59,730 1376 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyDesktopLink'.
2021-02-19 12:50:59,746 1376 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyEnvironmentVariable'.
2021-02-19 12:50:59,746 1376 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyExplorerMenuItem'.
2021-02-19 12:50:59,761 1376 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyFileAssociation'.
2021-02-19 12:50:59,777 1376 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyInstallPackage'.
2021-02-19 12:50:59,777 1376 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPackage'.
2021-02-19 12:50:59,793 1376 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPath'.
2021-02-19 12:50:59,793 1376 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPinnedTaskBarItem'.
2021-02-19 12:50:59,808 1376 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPowershellCommand'.
2021-02-19 12:50:59,808 1376 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyShortcut'.
2021-02-19 12:50:59,824 1376 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyVsixPackage'.
2021-02-19 12:50:59,824 1376 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyZipPackage'.
2021-02-19 12:50:59,824 1376 [INFO ] - VERBOSE: Importing function 'Install-Vsix'.
2021-02-19 12:50:59,839 1376 [INFO ] - VERBOSE: Importing function 'Register-Application'.
2021-02-19 12:50:59,839 1376 [INFO ] - VERBOSE: Importing function 'Remove-Process'.
2021-02-19 12:50:59,839 1376 [INFO ] - VERBOSE: Importing function 'Set-EnvironmentVariable'.
2021-02-19 12:50:59,856 1376 [INFO ] - VERBOSE: Importing function 'Set-PowerShellExitCode'.
2021-02-19 12:50:59,856 1376 [INFO ] - VERBOSE: Importing function 'Start-ChocolateyProcessAsAdmin'.
2021-02-19 12:50:59,856 1376 [INFO ] - VERBOSE: Importing function 'Test-ProcessAdminRights'.
2021-02-19 12:50:59,856 1376 [INFO ] - VERBOSE: Importing function 'Uninstall-BinFile'.
2021-02-19 12:50:59,871 1376 [INFO ] - VERBOSE: Importing function 'Uninstall-ChocolateyEnvironmentVariable'.
2021-02-19 12:50:59,871 1376 [INFO ] - VERBOSE: Importing function 'Uninstall-ChocolateyPackage'.
2021-02-19 12:50:59,871 1376 [INFO ] - VERBOSE: Importing function 'Uninstall-ChocolateyZipPackage'.
2021-02-19 12:50:59,871 1376 [INFO ] - VERBOSE: Importing function 'Update-SessionEnvironment'.
2021-02-19 12:50:59,886 1376 [INFO ] - VERBOSE: Importing function 'Write-ChocolateyFailure'.
2021-02-19 12:50:59,886 1376 [INFO ] - VERBOSE: Importing function 'Write-ChocolateySuccess'.
2021-02-19 12:50:59,902 1376 [INFO ] - VERBOSE: Importing function 'Write-FileUpdateLog'.
2021-02-19 12:50:59,902 1376 [INFO ] - VERBOSE: Importing function 'Write-FunctionCallLogMessage'.
2021-02-19 12:50:59,902 1376 [INFO ] - VERBOSE: Importing alias 'Add-BinFile'.
2021-02-19 12:50:59,902 1376 [INFO ] - VERBOSE: Importing alias 'Generate-BinFile'.
2021-02-19 12:50:59,918 1376 [INFO ] - VERBOSE: Importing alias 'Get-InstallRegistryKey'.
2021-02-19 12:50:59,918 1376 [INFO ] - VERBOSE: Importing alias 'Get-OSBitness'.
2021-02-19 12:50:59,918 1376 [INFO ] - VERBOSE: Importing alias 'Get-ProcessorBits'.
2021-02-19 12:50:59,934 1376 [INFO ] - VERBOSE: Importing alias 'Invoke-ChocolateyProcess'.
2021-02-19 12:50:59,934 1376 [INFO ] - VERBOSE: Importing alias 'refreshenv'.
2021-02-19 12:50:59,934 1376 [INFO ] - VERBOSE: Importing alias 'Remove-BinFile'.
2021-02-19 12:50:59,950 1376 [INFO ] - VERBOSE: Importing alias 'Start-ChocolateyProcess'.
2021-02-19 12:51:00,059 1376 [DEBUG] - ---------------------------Script Execution---------------------------
2021-02-19 12:51:00,059 1376 [DEBUG] - Running 'ChocolateyScriptRunner' for Coq v8.13.1 with packageScript 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyInstall.ps1', packageFolder:'C:\ProgramData\chocolatey\lib\Coq', installArguments: '', packageParameters: '',
2021-02-19 12:51:00,090 1376 [DEBUG] - Running 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyInstall.ps1'
2021-02-19 12:51:00,230 1376 [DEBUG] - Running Install-ChocolateyPackage -url 'https://github.com/coq/coq/releases/download/V8.13.1/coq-8.13.1-installer-windows-i686.exe' -silentArgs '/S' -url64bit 'https://github.com/coq/coq/releases/download/V8.13.1/coq-8.13.1-installer-windows-x86_64.exe' -checksum 'a67ddd3041b6149cdc6d4d80fc4d4be231ef35f0c0866d3c6a5bbe2ebb500175' -checksum64 'a64e58692c2db894f520d047e07c9c6a53ae8571deacf4abc0f113cd1d206d08' -checksumType 'sha256' -packageName 'Coq' -fileType 'exe' -validExitCodes '0' -checksumType64 'sha256'
2021-02-19 12:51:00,544 1376 [DEBUG] - Running Get-ChocolateyWebFile -packageName 'Coq' -fileFullPath 'C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.13.1\CoqInstall.exe' -url 'https://github.com/coq/coq/releases/download/V8.13.1/coq-8.13.1-installer-windows-i686.exe' -url64bit 'https://github.com/coq/coq/releases/download/V8.13.1/coq-8.13.1-installer-windows-x86_64.exe' -checksum 'a67ddd3041b6149cdc6d4d80fc4d4be231ef35f0c0866d3c6a5bbe2ebb500175' -checksumType 'sha256' -checksum64 'a64e58692c2db894f520d047e07c9c6a53ae8571deacf4abc0f113cd1d206d08' -checksumType64 'sha256' -options 'System.Collections.Hashtable' -getOriginalFileName 'True'
2021-02-19 12:51:00,576 1376 [DEBUG] - Running Get-ProcessorBits -compare '64'
2021-02-19 12:51:00,621 1376 [DEBUG] - CPU is 64 bit
2021-02-19 12:51:00,636 1376 [DEBUG] - Setting url to 'https://github.com/coq/coq/releases/download/V8.13.1/coq-8.13.1-installer-windows-x86_64.exe' and bitPackage to 64
2021-02-19 12:51:00,684 1376 [DEBUG] - Running Get-WebFileName -url 'https://github.com/coq/coq/releases/download/V8.13.1/coq-8.13.1-installer-windows-x86_64.exe' -defaultName 'CoqInstall.exe'
2021-02-19 12:51:01,777 1376 [DEBUG] - Using header 'Content-Disposition' to determine file name.
2021-02-19 12:51:01,809 1376 [DEBUG] - File name determined from url is 'coq-8.13.1-installer-windows-x86_64.exe'
2021-02-19 12:51:01,840 1376 [DEBUG] - Running Get-WebHeaders -url 'https://github.com/coq/coq/releases/download/V8.13.1/coq-8.13.1-installer-windows-x86_64.exe' -ErrorAction 'Stop'
2021-02-19 12:51:01,855 1376 [DEBUG] - Setting the UserAgent to 'chocolatey command line'
2021-02-19 12:51:01,855 1376 [DEBUG] - Request Headers:
2021-02-19 12:51:01,871 1376 [DEBUG] - 'Accept':'*/*'
2021-02-19 12:51:01,871 1376 [DEBUG] - 'User-Agent':'chocolatey command line'
2021-02-19 12:51:01,980 1376 [DEBUG] - Response Headers:
2021-02-19 12:51:01,997 1376 [DEBUG] - 'Connection':'keep-alive'
2021-02-19 12:51:01,997 1376 [DEBUG] - 'x-amz-id-2':'Zl1J0z8GRVYsZhE9Mouhsm0Tekn5XI/U/4SeUuvupdiXqaYFZmNGtXVUeTNpoAhIJ1Iifu/XF/Q='
2021-02-19 12:51:01,997 1376 [DEBUG] - 'x-amz-request-id':'A806352A931FD2DB'
2021-02-19 12:51:02,011 1376 [DEBUG] - 'Content-Disposition':'attachment; filename=coq-8.13.1-installer-windows-x86_64.exe'
2021-02-19 12:51:02,011 1376 [DEBUG] - 'Age':'0'
2021-02-19 12:51:02,011 1376 [DEBUG] - 'X-Served-By':'cache-dca12928-DCA, cache-lhr7340-LHR'
2021-02-19 12:51:02,027 1376 [DEBUG] - 'X-Cache':'MISS, HIT'
2021-02-19 12:51:02,027 1376 [DEBUG] - 'X-Cache-Hits':'0, 1'
2021-02-19 12:51:02,027 1376 [DEBUG] - 'Strict-Transport-Security':'max-age=31536000'
2021-02-19 12:51:02,027 1376 [DEBUG] - 'X-Fastly-Request-ID':'637bb2372abb0151b51ce22cd5cf3d1f201c9d31'
2021-02-19 12:51:02,042 1376 [DEBUG] - 'Accept-Ranges':'bytes'
2021-02-19 12:51:02,042 1376 [DEBUG] - 'Content-Length':'163692104'
2021-02-19 12:51:02,042 1376 [DEBUG] - 'Content-Type':'application/octet-stream'
2021-02-19 12:51:02,042 1376 [DEBUG] - 'Date':'Tue, 23 Feb 2021 01:53:18 GMT'
2021-02-19 12:51:02,058 1376 [DEBUG] - 'ETag':'"4f029d2d07b6cfef1bbf9f4992aefaea"'
2021-02-19 12:51:02,058 1376 [DEBUG] - 'Last-Modified':'Mon, 22 Feb 2021 21:39:53 GMT'
2021-02-19 12:51:02,074 1376 [DEBUG] - 'Server':'AmazonS3'
2021-02-19 12:51:02,230 1376 [DEBUG] - 'Via':'1.1 varnish, 1.1 varnish'
2021-02-19 12:51:02,246 1376 [INFO ] - Downloading Coq 64 bit
from 'https://github.com/coq/coq/releases/download/V8.13.1/coq-8.13.1-installer-windows-x86_64.exe'
2021-02-19 12:51:02,261 1376 [INFO ] -
2021-02-19 12:51:02,293 1376 [DEBUG] - Running Get-WebFile -url 'https://github.com/coq/coq/releases/download/V8.13.1/coq-8.13.1-installer-windows-x86_64.exe' -fileName 'C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.13.1\coq-8.13.1-installer-windows-x86_64.exe' -options 'System.Collections.Hashtable'
2021-02-19 12:51:02,308 1376 [DEBUG] - Setting request timeout to 30000
2021-02-19 12:51:02,308 1376 [DEBUG] - Setting read/write timeout to 2700000
2021-02-19 12:51:02,328 1376 [DEBUG] - Setting the UserAgent to 'chocolatey command line'
2021-02-19 12:51:02,777 1376 [DEBUG] - Downloading https://github.com/coq/coq/releases/download/V8.13.1/coq-8.13.1-installer-windows-x86_64.exe to C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.13.1\coq-8.13.1-installer-windows-x86_64.exe
2021-02-19 12:51:26,183 1376 [INFO ] -
2021-02-19 12:51:26,199 1376 [INFO ] - Download of coq-8.13.1-installer-windows-x86_64.exe (156.11 MB) completed.
2021-02-19 12:51:26,199 1376 [INFO ] -
2021-02-19 12:51:29,339 1376 [DEBUG] - No runtime virus checking built into FOSS Chocolatey. Check out Pro/Business - https://chocolatey.org/compare
2021-02-19 12:51:29,355 1376 [DEBUG] - Verifying package provided checksum of 'a64e58692c2db894f520d047e07c9c6a53ae8571deacf4abc0f113cd1d206d08' for 'C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.13.1\coq-8.13.1-installer-windows-x86_64.exe'.
2021-02-19 12:51:29,372 1376 [DEBUG] - Running Get-ChecksumValid -file 'C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.13.1\coq-8.13.1-installer-windows-x86_64.exe' -checksum 'a64e58692c2db894f520d047e07c9c6a53ae8571deacf4abc0f113cd1d206d08' -checksumType 'sha256' -originalUrl 'https://github.com/coq/coq/releases/download/V8.13.1/coq-8.13.1-installer-windows-x86_64.exe'
2021-02-19 12:51:29,386 1376 [DEBUG] - checksum.exe found at 'C:\ProgramData\chocolatey\helpers\..\tools\checksum.exe'
2021-02-19 12:51:29,386 1376 [DEBUG] - Executing command ['C:\ProgramData\chocolatey\helpers\..\tools\checksum.exe' -c="a64e58692c2db894f520d047e07c9c6a53ae8571deacf4abc0f113cd1d206d08" -t="sha256" -f="C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.13.1\coq-8.13.1-installer-windows-x86_64.exe"]
2021-02-19 12:51:35,948 1376 [DEBUG] - Command ['C:\ProgramData\chocolatey\helpers\..\tools\checksum.exe' -c="a64e58692c2db894f520d047e07c9c6a53ae8571deacf4abc0f113cd1d206d08" -t="sha256" -f="C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.13.1\coq-8.13.1-installer-windows-x86_64.exe"] exited with '0'.
2021-02-19 12:51:36,011 1376 [DEBUG] - Running Install-ChocolateyInstallPackage -packageName 'Coq' -fileType 'exe' -silentArgs '/S' -file 'C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.13.1\coq-8.13.1-installer-windows-x86_64.exe' -validExitCodes '0' -useOnlyPackageSilentArguments 'False'
2021-02-19 12:51:36,027 1376 [DEBUG] - Running Get-ProcessorBits -compare '32'
2021-02-19 12:51:36,043 1376 [INFO ] - Installing Coq...
2021-02-19 12:51:36,043 1376 [INFO ] -
2021-02-19 12:51:36,184 1376 [DEBUG] - Running Start-ChocolateyProcessAsAdmin -validExitCodes '0' -workingDirectory 'C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.13.1' -statements '/S ' -exeToRun 'C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.13.1\coq-8.13.1-installer-windows-x86_64.exe'
2021-02-19 12:51:37,090 1376 [DEBUG] - Test-ProcessAdminRights: returning True
2021-02-19 12:51:37,104 1376 [DEBUG] - Elevating permissions and running ["C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.13.1\coq-8.13.1-installer-windows-x86_64.exe" /S ]. This may take a while, depending on the statements.
2021-02-19 12:55:13,945 1376 [DEBUG] - Command ["C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.13.1\coq-8.13.1-installer-windows-x86_64.exe" /S ] exited with '0'.
2021-02-19 12:55:14,023 1376 [DEBUG] - Finishing 'Start-ChocolateyProcessAsAdmin'
2021-02-19 12:55:14,023 1376 [INFO ] - Coq has been installed.
2021-02-19 12:55:14,039 1376 [INFO ] -
2021-02-19 12:55:14,055 1376 [DEBUG] - ----------------------------------------------------------------------
2021-02-19 12:55:14,055 1376 [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'.
2021-02-19 12:55:14,086 1376 [DEBUG] - Calling command ['"C:\Windows\System32\shutdown.exe" /a']
2021-02-19 12:55:14,148 1376 [DEBUG] - Command ['"C:\Windows\System32\shutdown.exe" /a'] exited with '1116'
2021-02-19 12:55:14,164 1376 [INFO ] - coq may be able to be automatically uninstalled.
2021-02-19 12:55:14,164 1376 [DEBUG] - Capturing package files in 'C:\ProgramData\chocolatey\lib\Coq'
2021-02-19 12:55:14,164 1376 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\Coq\Coq.nupkg'
with checksum '136E88E46AA6882F0DE19579DCEEFE2A'
2021-02-19 12:55:14,180 1376 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\Coq\Coq.nuspec'
with checksum '9DEFE123141FF45A0B999FEA135571A0'
2021-02-19 12:55:14,180 1376 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyInstall.ps1'
with checksum 'E24849472AF16F6C849794A4266F3444'
2021-02-19 12:55:14,180 1376 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyUninstall.ps1'
with checksum 'A985B284D16501E6678AF87FE34BA9EF'
2021-02-19 12:55:14,195 1376 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\.chocolatey\Coq.8.13.1".
2021-02-19 12:55:14,289 1376 [DEBUG] - There was no original file at 'C:\ProgramData\chocolatey\.chocolatey\Coq.8.13.1\.registry'
2021-02-19 12:55:14,321 1376 [DEBUG] - There was no original file at 'C:\ProgramData\chocolatey\.chocolatey\Coq.8.13.1\.files'
2021-02-19 12:55:14,467 1376 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\Coq.8.13.1\.extra".
2021-02-19 12:55:14,476 1376 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\Coq.8.13.1\.version".
2021-02-19 12:55:14,476 1376 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\Coq.8.13.1\.sxs".
2021-02-19 12:55:14,492 1376 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\Coq.8.13.1\.pin".
2021-02-19 12:55:14,492 1376 [DEBUG] - Sending message 'HandlePackageResultCompletedMessage' out if there are subscribers...
2021-02-19 12:55:14,492 1376 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\Coq\.chocolateyPending".
2021-02-19 12:55:14,508 1376 [INFO ] - The install of coq was successful.
2021-02-19 12:55:14,508 1376 [INFO ] - Software installed as 'exe', install location is likely default.
2021-02-19 12:55:14,508 1376 [DEBUG] - Attempting to delete file "C:\Users\Administrator\AppData\Local\NuGet\Cache\Coq.8.13.1.nupkg".
2021-02-19 12:55:14,555 1376 [WARN ] -
Chocolatey installed 2/2 packages.
See the log for details (C:\ProgramData\chocolatey\logs\chocolatey.log).
2021-02-19 12:55:14,602 1376 [DEBUG] - Sending message 'PostRunMessage' out if there are subscribers...
2021-02-19 12:55:14,649 1376 [DEBUG] - Exiting with 0
2021-02-19 12:55:55,727 2272 [DEBUG] - XmlConfiguration is now operational
2021-02-19 12:55:55,897 2272 [INFO ] - ============================================================
2021-02-19 12:55:56,617 2272 [INFO ] - Chocolatey v0.10.16-beta
2021-02-19 12:55:56,648 2272 [DEBUG] - Chocolatey is running on Windows v 6.3.9600.0
2021-02-19 12:55:56,663 2272 [DEBUG] - Attempting to delete file "C:/ProgramData/chocolatey/choco.exe.old".
2021-02-19 12:55:56,679 2272 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\choco.exe.old".
2021-02-19 12:55:56,694 2272 [DEBUG] - Command line: "C:\ProgramData\chocolatey\choco.exe" uninstall Coq --version 8.13.1 -dvy --execution-timeout=2700
2021-02-19 12:55:56,710 2272 [DEBUG] - Received arguments: uninstall Coq --version 8.13.1 -dvy --execution-timeout=2700
2021-02-19 12:55:56,882 2272 [DEBUG] - RemovePendingPackagesTask is now ready and waiting for PreRunMessage.
2021-02-19 12:55:56,897 2272 [DEBUG] - Sending message 'PreRunMessage' out if there are subscribers...
2021-02-19 12:55:56,929 2272 [DEBUG] - [Pending] Removing all pending packages that should not be considered installed...
2021-02-19 12:55:57,085 2272 [DEBUG] - Performing validation checks.
2021-02-19 12:55:57,100 2272 [DEBUG] - Global Configuration Validation Checks:
2021-02-19 12:55:57,117 2272 [DEBUG] - - Package Exit Code / Exit On Reboot = Checked
2021-02-19 12:55:57,117 2272 [DEBUG] - System State Validation Checks:
2021-02-19 12:55:57,132 2272 [DEBUG] - Reboot Requirement Checks:
2021-02-19 12:55:57,148 2272 [DEBUG] - - Pending Computer Rename = Checked
2021-02-19 12:55:57,148 2272 [DEBUG] - - Pending Component Based Servicing = Checked
2021-02-19 12:55:57,163 2272 [DEBUG] - - Pending Windows Auto Update = Checked
2021-02-19 12:55:57,163 2272 [DEBUG] - - Pending File Rename Operations = Ignored
2021-02-19 12:55:57,179 2272 [DEBUG] - - Pending Windows Package Installer = Checked
2021-02-19 12:55:57,179 2272 [DEBUG] - - Pending Windows Package Installer SysWow64 = Checked
2021-02-19 12:55:57,195 2272 [INFO ] - 2 validations performed. 2 success(es), 0 warning(s), and 0 error(s).
2021-02-19 12:55:57,210 2272 [DEBUG] - The source 'c:\cached-packages;https://chocolatey.org/api/v2/' evaluated to a 'normal' source type
2021-02-19 12:55:57,210 2272 [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.
2021-02-19 12:55:57,257 2272 [DEBUG] - Configuration: CommandName='uninstall'|
CacheLocation='C:\Users\Administrator\AppData\Local\Temp\chocolatey'|
ContainsLegacyPackageInstalls='True'|
CommandExecutionTimeoutSeconds='2700'|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.13.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'|
2021-02-19 12:55:57,288 2272 [DEBUG] - _ Chocolatey:ChocolateyUninstallCommand - Normal Run Mode _
2021-02-19 12:55:57,304 2272 [INFO ] - Uninstalling the following packages:
2021-02-19 12:55:57,304 2272 [INFO ] - Coq
2021-02-19 12:55:57,319 2272 [DEBUG] - Current environment values (may contain sensitive data):
2021-02-19 12:55:57,335 2272 [DEBUG] - * 'TMP'='C:\Users\Administrator\AppData\Local\Temp' ('User')
2021-02-19 12:55:57,335 2272 [DEBUG] - * 'TEMP'='C:\Users\Administrator\AppData\Local\Temp' ('User')
2021-02-19 12:55:57,335 2272 [DEBUG] - * 'ChocolateyLastPathUpdate'='132582123886734658' ('User')
2021-02-19 12:55:57,335 2272 [DEBUG] - * 'FP_NO_HOST_CHECK'='NO' ('Machine')
2021-02-19 12:55:57,352 2272 [DEBUG] - * 'USERNAME'='SYSTEM' ('Machine')
2021-02-19 12:55:57,352 2272 [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')
2021-02-19 12:55:57,352 2272 [DEBUG] - * 'ComSpec'='C:\Windows\system32\cmd.exe' ('Machine')
2021-02-19 12:55:57,366 2272 [DEBUG] - * 'TMP'='C:\Windows\TEMP' ('Machine')
2021-02-19 12:55:57,819 2272 [DEBUG] - * 'OS'='Windows_NT' ('Machine')
2021-02-19 12:55:57,867 2272 [DEBUG] - * 'windir'='C:\Windows' ('Machine')
2021-02-19 12:55:57,867 2272 [DEBUG] - * 'PROCESSOR_ARCHITECTURE'='AMD64' ('Machine')
2021-02-19 12:55:57,882 2272 [DEBUG] - * 'TEMP'='C:\Windows\TEMP' ('Machine')
2021-02-19 12:55:57,882 2272 [DEBUG] - * 'PATHEXT'='.COM;.EXE;.BAT;.CMD;.VBS;.VBE;.JS;.JSE;.WSF;.WSH;.MSC' ('Machine')
2021-02-19 12:55:57,897 2272 [DEBUG] - * 'PSModulePath'='C:\Windows\system32\WindowsPowerShell\v1.0\Modules\' ('Machine')
2021-02-19 12:55:57,897 2272 [DEBUG] - * 'NUMBER_OF_PROCESSORS'='1' ('Machine')
2021-02-19 12:55:57,897 2272 [DEBUG] - * 'PROCESSOR_LEVEL'='16' ('Machine')
2021-02-19 12:55:57,897 2272 [DEBUG] - * 'PROCESSOR_IDENTIFIER'='AMD64 Family 16 Model 6 Stepping 3, AuthenticAMD' ('Machine')
2021-02-19 12:55:57,914 2272 [DEBUG] - * 'PROCESSOR_REVISION'='0603' ('Machine')
2021-02-19 12:55:57,914 2272 [DEBUG] - * 'HOME'='C:\Users\Administrator' ('Machine')
2021-02-19 12:55:57,914 2272 [DEBUG] - * 'ChocolateyInstall'='C:\ProgramData\chocolatey' ('Machine')
2021-02-19 12:55:58,195 2272 [DEBUG] - Running list with the following filter = ''
2021-02-19 12:55:58,195 2272 [DEBUG] - --- Start of List ---
2021-02-19 12:55:58,928 2272 [DEBUG] - Coq 8.13.1
2021-02-19 12:55:58,944 2272 [DEBUG] - --- End of List ---
2021-02-19 12:55:59,227 2272 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\lib-bkp".
2021-02-19 12:55:59,227 2272 [DEBUG] - Backing up existing Coq prior to operation.
2021-02-19 12:55:59,241 2272 [DEBUG] - Moving 'C:\ProgramData\chocolatey\lib\Coq'
to 'C:\ProgramData\chocolatey\lib-bkp\Coq'
2021-02-19 12:56:01,272 2272 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\lib\Coq".
2021-02-19 12:56:04,632 2272 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\Coq\Coq.nupkg"
to "C:\ProgramData\chocolatey\lib\Coq\Coq.nupkg".
2021-02-19 12:56:04,632 2272 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\Coq\Coq.nuspec"
to "C:\ProgramData\chocolatey\lib\Coq\Coq.nuspec".
2021-02-19 12:56:04,651 2272 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\lib\Coq\tools".
2021-02-19 12:56:04,663 2272 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\Coq\tools\chocolateyInstall.ps1"
to "C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyInstall.ps1".
2021-02-19 12:56:04,663 2272 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\Coq\tools\chocolateyUninstall.ps1"
to "C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyUninstall.ps1".
2021-02-19 12:56:06,178 2272 [DEBUG] - Capturing package files in 'C:\ProgramData\chocolatey\lib\Coq'
2021-02-19 12:56:06,304 2272 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\Coq\Coq.nupkg'
with checksum '136E88E46AA6882F0DE19579DCEEFE2A'
2021-02-19 12:56:06,304 2272 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\Coq\Coq.nuspec'
with checksum '9DEFE123141FF45A0B999FEA135571A0'
2021-02-19 12:56:06,320 2272 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyInstall.ps1'
with checksum 'E24849472AF16F6C849794A4266F3444'
2021-02-19 12:56:06,320 2272 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyUninstall.ps1'
with checksum 'A985B284D16501E6678AF87FE34BA9EF'
2021-02-19 12:56:06,648 2272 [INFO ] - [NuGet] Uninstalling 'Coq 8.13.1'.
2021-02-19 12:56:06,663 2272 [INFO ] -
Coq v8.13.1
2021-02-19 12:56:06,756 2272 [DEBUG] - Setting installer args for Coq
2021-02-19 12:56:06,756 2272 [DEBUG] - Setting package parameters for Coq
2021-02-19 12:56:06,756 2272 [DEBUG] - Contents of 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyUninstall.ps1':
2021-02-19 12:56:06,805 2272 [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)" }
}
2021-02-19 12:56:06,866 2272 [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 ''']
2021-02-19 12:56:06,866 2272 [DEBUG] - Redirecting System.Management.Automation.resources, Version=3.0.0.0, Culture=en-US, PublicKeyToken=31bf3856ad364e35, requested by ''
2021-02-19 12:56:08,726 2272 [DEBUG] - Host version is 4.0, PowerShell Version is '4.0' and CLR Version is '4.0.30319.34014'.
2021-02-19 12:56:09,084 2272 [INFO ] - VERBOSE: Exporting function 'Format-FileSize'.
2021-02-19 12:56:09,164 2272 [INFO ] - VERBOSE: Exporting function 'Get-ChecksumValid'.
2021-02-19 12:56:09,164 2272 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyUnzip'.
2021-02-19 12:56:09,164 2272 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyWebFile'.
2021-02-19 12:56:09,178 2272 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariable'.
2021-02-19 12:56:09,178 2272 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariableNames'.
2021-02-19 12:56:09,178 2272 [INFO ] - VERBOSE: Exporting function 'Get-FtpFile'.
2021-02-19 12:56:09,178 2272 [INFO ] - VERBOSE: Exporting function 'Get-OSArchitectureWidth'.
2021-02-19 12:56:09,194 2272 [INFO ] - VERBOSE: Exporting function 'Get-PackageParameters'.
2021-02-19 12:56:09,209 2272 [INFO ] - VERBOSE: Exporting function 'Get-PackageParametersBuiltIn'.
2021-02-19 12:56:09,209 2272 [INFO ] - VERBOSE: Exporting function 'Get-ToolsLocation'.
2021-02-19 12:56:09,209 2272 [INFO ] - VERBOSE: Exporting function 'Get-UACEnabled'.
2021-02-19 12:56:09,209 2272 [INFO ] - VERBOSE: Exporting function 'Get-UninstallRegistryKey'.
2021-02-19 12:56:09,225 2272 [INFO ] - VERBOSE: Exporting function 'Get-VirusCheckValid'.
2021-02-19 12:56:09,225 2272 [INFO ] - VERBOSE: Exporting function 'Get-WebFile'.
2021-02-19 12:56:09,241 2272 [INFO ] - VERBOSE: Exporting function 'Get-WebFileName'.
2021-02-19 12:56:09,241 2272 [INFO ] - VERBOSE: Exporting function 'Get-WebHeaders'.
2021-02-19 12:56:09,258 2272 [INFO ] - VERBOSE: Exporting function 'Install-BinFile'.
2021-02-19 12:56:09,258 2272 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyDesktopLink'.
2021-02-19 12:56:09,273 2272 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyEnvironmentVariable'.
2021-02-19 12:56:09,273 2272 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyExplorerMenuItem'.
2021-02-19 12:56:09,273 2272 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyFileAssociation'.
2021-02-19 12:56:09,288 2272 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyInstallPackage'.
2021-02-19 12:56:09,288 2272 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPackage'.
2021-02-19 12:56:09,303 2272 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPath'.
2021-02-19 12:56:09,303 2272 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPinnedTaskBarItem'.
2021-02-19 12:56:09,303 2272 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPowershellCommand'.
2021-02-19 12:56:09,303 2272 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyShortcut'.
2021-02-19 12:56:09,319 2272 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyVsixPackage'.
2021-02-19 12:56:09,319 2272 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyZipPackage'.
2021-02-19 12:56:09,319 2272 [INFO ] - VERBOSE: Exporting function 'Install-Vsix'.
2021-02-19 12:56:09,319 2272 [INFO ] - VERBOSE: Exporting function 'Set-EnvironmentVariable'.
2021-02-19 12:56:09,336 2272 [INFO ] - VERBOSE: Exporting function 'Set-PowerShellExitCode'.
2021-02-19 12:56:09,336 2272 [INFO ] - VERBOSE: Exporting function 'Start-ChocolateyProcessAsAdmin'.
2021-02-19 12:56:09,336 2272 [INFO ] - VERBOSE: Exporting function 'Test-ProcessAdminRights'.
2021-02-19 12:56:09,351 2272 [INFO ] - VERBOSE: Exporting function 'Uninstall-BinFile'.
2021-02-19 12:56:09,351 2272 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyEnvironmentVariable'.
2021-02-19 12:56:09,366 2272 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyPackage'.
2021-02-19 12:56:09,366 2272 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyZipPackage'.
2021-02-19 12:56:09,366 2272 [INFO ] - VERBOSE: Exporting function 'Update-SessionEnvironment'.
2021-02-19 12:56:09,366 2272 [INFO ] - VERBOSE: Exporting function 'Write-ChocolateyFailure'.
2021-02-19 12:56:09,381 2272 [INFO ] - VERBOSE: Exporting function 'Write-ChocolateySuccess'.
2021-02-19 12:56:09,381 2272 [INFO ] - VERBOSE: Exporting function 'Write-FileUpdateLog'.
2021-02-19 12:56:09,381 2272 [INFO ] - VERBOSE: Exporting function 'Write-FunctionCallLogMessage'.
2021-02-19 12:56:09,381 2272 [INFO ] - VERBOSE: Exporting alias 'Get-ProcessorBits'.
2021-02-19 12:56:09,397 2272 [INFO ] - VERBOSE: Exporting alias 'Get-OSBitness'.
2021-02-19 12:56:09,397 2272 [INFO ] - VERBOSE: Exporting alias 'Get-InstallRegistryKey'.
2021-02-19 12:56:09,397 2272 [INFO ] - VERBOSE: Exporting alias 'Generate-BinFile'.
2021-02-19 12:56:09,413 2272 [INFO ] - VERBOSE: Exporting alias 'Add-BinFile'.
2021-02-19 12:56:09,413 2272 [INFO ] - VERBOSE: Exporting alias 'Start-ChocolateyProcess'.
2021-02-19 12:56:09,413 2272 [INFO ] - VERBOSE: Exporting alias 'Invoke-ChocolateyProcess'.
2021-02-19 12:56:09,428 2272 [INFO ] - VERBOSE: Exporting alias 'Remove-BinFile'.
2021-02-19 12:56:09,428 2272 [INFO ] - VERBOSE: Exporting alias 'refreshenv'.
2021-02-19 12:56:09,539 2272 [DEBUG] - Loading community extensions
2021-02-19 12:56:09,553 2272 [DEBUG] - Importing 'C:\ProgramData\chocolatey\extensions\chocolatey-core\chocolatey-core.psm1'
2021-02-19 12:56:09,573 2272 [INFO ] - VERBOSE: Loading module from path 'C:\ProgramData\chocolatey\extensions\chocolatey-core\chocolatey-core.psm1'.
2021-02-19 12:56:09,819 2272 [INFO ] - VERBOSE: Exporting function 'Get-UninstallRegistryKey'.
2021-02-19 12:56:10,709 2272 [INFO ] - VERBOSE: Exporting function 'Get-AppInstallLocation'.
2021-02-19 12:56:10,709 2272 [INFO ] - VERBOSE: Exporting function 'Get-AvailableDriveLetter'.
2021-02-19 12:56:10,709 2272 [INFO ] - VERBOSE: Exporting function 'Get-EffectiveProxy'.
2021-02-19 12:56:10,709 2272 [INFO ] - VERBOSE: Exporting function 'Get-PackageCacheLocation'.
2021-02-19 12:56:10,726 2272 [INFO ] - VERBOSE: Exporting function 'Get-PackageParameters'.
2021-02-19 12:56:10,726 2272 [INFO ] - VERBOSE: Exporting function 'Get-WebContent'.
2021-02-19 12:56:10,741 2272 [INFO ] - VERBOSE: Exporting function 'Register-Application'.
2021-02-19 12:56:10,757 2272 [INFO ] - VERBOSE: Exporting function 'Remove-Process'.
2021-02-19 12:56:10,757 2272 [INFO ] - VERBOSE: Importing function 'Get-AppInstallLocation'.
2021-02-19 12:56:10,772 2272 [INFO ] - VERBOSE: Importing function 'Get-AvailableDriveLetter'.
2021-02-19 12:56:10,772 2272 [INFO ] - VERBOSE: Importing function 'Get-EffectiveProxy'.
2021-02-19 12:56:10,772 2272 [INFO ] - VERBOSE: Importing function 'Get-PackageCacheLocation'.
2021-02-19 12:56:10,772 2272 [INFO ] - VERBOSE: Importing function 'Get-PackageParameters'.
2021-02-19 12:56:10,772 2272 [INFO ] - VERBOSE: Importing function 'Get-UninstallRegistryKey'.
2021-02-19 12:56:10,787 2272 [INFO ] - VERBOSE: Importing function 'Get-WebContent'.
2021-02-19 12:56:10,787 2272 [INFO ] - VERBOSE: Importing function 'Register-Application'.
2021-02-19 12:56:10,787 2272 [INFO ] - VERBOSE: Importing function 'Remove-Process'.
2021-02-19 12:56:10,803 2272 [INFO ] - VERBOSE: Exporting function 'Format-FileSize'.
2021-02-19 12:56:10,803 2272 [INFO ] - VERBOSE: Exporting function 'Get-ChecksumValid'.
2021-02-19 12:56:10,803 2272 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyUnzip'.
2021-02-19 12:56:10,819 2272 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyWebFile'.
2021-02-19 12:56:10,819 2272 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariable'.
2021-02-19 12:56:10,842 2272 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariableNames'.
2021-02-19 12:56:10,852 2272 [INFO ] - VERBOSE: Exporting function 'Get-FtpFile'.
2021-02-19 12:56:10,852 2272 [INFO ] - VERBOSE: Exporting function 'Get-OSArchitectureWidth'.
2021-02-19 12:56:10,866 2272 [INFO ] - VERBOSE: Exporting function 'Get-PackageParameters'.
2021-02-19 12:56:11,006 2272 [INFO ] - VERBOSE: Exporting function 'Get-PackageParametersBuiltIn'.
2021-02-19 12:56:11,006 2272 [INFO ] - VERBOSE: Exporting function 'Get-ToolsLocation'.
2021-02-19 12:56:11,006 2272 [INFO ] - VERBOSE: Exporting function 'Get-UACEnabled'.
2021-02-19 12:56:11,006 2272 [INFO ] - VERBOSE: Exporting function 'Get-UninstallRegistryKey'.
2021-02-19 12:56:11,022 2272 [INFO ] - VERBOSE: Exporting function 'Get-VirusCheckValid'.
2021-02-19 12:56:11,022 2272 [INFO ] - VERBOSE: Exporting function 'Get-WebFile'.
2021-02-19 12:56:11,022 2272 [INFO ] - VERBOSE: Exporting function 'Get-WebFileName'.
2021-02-19 12:56:11,022 2272 [INFO ] - VERBOSE: Exporting function 'Get-WebHeaders'.
2021-02-19 12:56:11,037 2272 [INFO ] - VERBOSE: Exporting function 'Install-BinFile'.
2021-02-19 12:56:11,037 2272 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyDesktopLink'.
2021-02-19 12:56:11,037 2272 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyEnvironmentVariable'.
2021-02-19 12:56:11,054 2272 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyExplorerMenuItem'.
2021-02-19 12:56:11,054 2272 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyFileAssociation'.
2021-02-19 12:56:11,054 2272 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyInstallPackage'.
2021-02-19 12:56:11,054 2272 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPackage'.
2021-02-19 12:56:11,069 2272 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPath'.
2021-02-19 12:56:11,069 2272 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPinnedTaskBarItem'.
2021-02-19 12:56:11,100 2272 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPowershellCommand'.
2021-02-19 12:56:11,100 2272 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyShortcut'.
2021-02-19 12:56:11,100 2272 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyVsixPackage'.
2021-02-19 12:56:11,100 2272 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyZipPackage'.
2021-02-19 12:56:11,116 2272 [INFO ] - VERBOSE: Exporting function 'Install-Vsix'.
2021-02-19 12:56:11,116 2272 [INFO ] - VERBOSE: Exporting function 'Set-EnvironmentVariable'.
2021-02-19 12:56:11,116 2272 [INFO ] - VERBOSE: Exporting function 'Set-PowerShellExitCode'.
2021-02-19 12:56:11,132 2272 [INFO ] - VERBOSE: Exporting function 'Start-ChocolateyProcessAsAdmin'.
2021-02-19 12:56:11,132 2272 [INFO ] - VERBOSE: Exporting function 'Test-ProcessAdminRights'.
2021-02-19 12:56:11,147 2272 [INFO ] - VERBOSE: Exporting function 'Uninstall-BinFile'.
2021-02-19 12:56:11,147 2272 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyEnvironmentVariable'.
2021-02-19 12:56:11,147 2272 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyPackage'.
2021-02-19 12:56:11,172 2272 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyZipPackage'.
2021-02-19 12:56:11,178 2272 [INFO ] - VERBOSE: Exporting function 'Update-SessionEnvironment'.
2021-02-19 12:56:11,178 2272 [INFO ] - VERBOSE: Exporting function 'Write-ChocolateyFailure'.
2021-02-19 12:56:11,178 2272 [INFO ] - VERBOSE: Exporting function 'Write-ChocolateySuccess'.
2021-02-19 12:56:11,194 2272 [INFO ] - VERBOSE: Exporting function 'Write-FileUpdateLog'.
2021-02-19 12:56:11,194 2272 [INFO ] - VERBOSE: Exporting function 'Write-FunctionCallLogMessage'.
2021-02-19 12:56:11,194 2272 [INFO ] - VERBOSE: Exporting function 'Get-AppInstallLocation'.
2021-02-19 12:56:11,194 2272 [INFO ] - VERBOSE: Exporting function 'Get-AvailableDriveLetter'.
2021-02-19 12:56:11,209 2272 [INFO ] - VERBOSE: Exporting function 'Get-EffectiveProxy'.
2021-02-19 12:56:11,209 2272 [INFO ] - VERBOSE: Exporting function 'Get-PackageCacheLocation'.
2021-02-19 12:56:11,209 2272 [INFO ] - VERBOSE: Exporting function 'Get-WebContent'.
2021-02-19 12:56:11,209 2272 [INFO ] - VERBOSE: Exporting function 'Register-Application'.
2021-02-19 12:56:11,229 2272 [INFO ] - VERBOSE: Exporting function 'Remove-Process'.
2021-02-19 12:56:11,229 2272 [INFO ] - VERBOSE: Exporting alias 'Get-ProcessorBits'.
2021-02-19 12:56:11,242 2272 [INFO ] - VERBOSE: Exporting alias 'Get-OSBitness'.
2021-02-19 12:56:11,242 2272 [INFO ] - VERBOSE: Exporting alias 'Get-InstallRegistryKey'.
2021-02-19 12:56:11,259 2272 [INFO ] - VERBOSE: Exporting alias 'Generate-BinFile'.
2021-02-19 12:56:11,259 2272 [INFO ] - VERBOSE: Exporting alias 'Add-BinFile'.
2021-02-19 12:56:11,273 2272 [INFO ] - VERBOSE: Exporting alias 'Start-ChocolateyProcess'.
2021-02-19 12:56:11,273 2272 [INFO ] - VERBOSE: Exporting alias 'Invoke-ChocolateyProcess'.
2021-02-19 12:56:11,273 2272 [INFO ] - VERBOSE: Exporting alias 'Remove-BinFile'.
2021-02-19 12:56:11,291 2272 [INFO ] - VERBOSE: Exporting alias 'refreshenv'.
2021-02-19 12:56:11,291 2272 [INFO ] - VERBOSE: Importing function 'Format-FileSize'.
2021-02-19 12:56:11,291 2272 [INFO ] - VERBOSE: Importing function 'Get-AppInstallLocation'.
2021-02-19 12:56:11,304 2272 [INFO ] - VERBOSE: Importing function 'Get-AvailableDriveLetter'.
2021-02-19 12:56:11,304 2272 [INFO ] - VERBOSE: Importing function 'Get-ChecksumValid'.
2021-02-19 12:56:11,304 2272 [INFO ] - VERBOSE: Importing function 'Get-ChocolateyUnzip'.
2021-02-19 12:56:11,319 2272 [INFO ] - VERBOSE: Importing function 'Get-ChocolateyWebFile'.
2021-02-19 12:56:11,319 2272 [INFO ] - VERBOSE: Importing function 'Get-EffectiveProxy'.
2021-02-19 12:56:11,319 2272 [INFO ] - VERBOSE: Importing function 'Get-EnvironmentVariable'.
2021-02-19 12:56:11,335 2272 [INFO ] - VERBOSE: Importing function 'Get-EnvironmentVariableNames'.
2021-02-19 12:56:11,335 2272 [INFO ] - VERBOSE: Importing function 'Get-FtpFile'.
2021-02-19 12:56:11,335 2272 [INFO ] - VERBOSE: Importing function 'Get-OSArchitectureWidth'.
2021-02-19 12:56:11,359 2272 [INFO ] - VERBOSE: Importing function 'Get-PackageCacheLocation'.
2021-02-19 12:56:11,366 2272 [INFO ] - VERBOSE: Importing function 'Get-PackageParameters'.
2021-02-19 12:56:11,366 2272 [INFO ] - VERBOSE: Importing function 'Get-PackageParametersBuiltIn'.
2021-02-19 12:56:11,366 2272 [INFO ] - VERBOSE: Importing function 'Get-ToolsLocation'.
2021-02-19 12:56:11,391 2272 [INFO ] - VERBOSE: Importing function 'Get-UACEnabled'.
2021-02-19 12:56:11,397 2272 [INFO ] - VERBOSE: Importing function 'Get-UninstallRegistryKey'.
2021-02-19 12:56:11,397 2272 [INFO ] - VERBOSE: Importing function 'Get-VirusCheckValid'.
2021-02-19 12:56:11,397 2272 [INFO ] - VERBOSE: Importing function 'Get-WebContent'.
2021-02-19 12:56:11,506 2272 [INFO ] - VERBOSE: Importing function 'Get-WebFile'.
2021-02-19 12:56:11,506 2272 [INFO ] - VERBOSE: Importing function 'Get-WebFileName'.
2021-02-19 12:56:11,506 2272 [INFO ] - VERBOSE: Importing function 'Get-WebHeaders'.
2021-02-19 12:56:11,506 2272 [INFO ] - VERBOSE: Importing function 'Install-BinFile'.
2021-02-19 12:56:11,537 2272 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyDesktopLink'.
2021-02-19 12:56:11,537 2272 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyEnvironmentVariable'.
2021-02-19 12:56:11,537 2272 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyExplorerMenuItem'.
2021-02-19 12:56:11,537 2272 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyFileAssociation'.
2021-02-19 12:56:11,537 2272 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyInstallPackage'.
2021-02-19 12:56:11,569 2272 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPackage'.
2021-02-19 12:56:11,569 2272 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPath'.
2021-02-19 12:56:11,569 2272 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPinnedTaskBarItem'.
2021-02-19 12:56:11,569 2272 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPowershellCommand'.
2021-02-19 12:56:11,600 2272 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyShortcut'.
2021-02-19 12:56:11,600 2272 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyVsixPackage'.
2021-02-19 12:56:11,600 2272 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyZipPackage'.
2021-02-19 12:56:11,617 2272 [INFO ] - VERBOSE: Importing function 'Install-Vsix'.
2021-02-19 12:56:11,617 2272 [INFO ] - VERBOSE: Importing function 'Register-Application'.
2021-02-19 12:56:11,617 2272 [INFO ] - VERBOSE: Importing function 'Remove-Process'.
2021-02-19 12:56:11,632 2272 [INFO ] - VERBOSE: Importing function 'Set-EnvironmentVariable'.
2021-02-19 12:56:11,632 2272 [INFO ] - VERBOSE: Importing function 'Set-PowerShellExitCode'.
2021-02-19 12:56:11,632 2272 [INFO ] - VERBOSE: Importing function 'Start-ChocolateyProcessAsAdmin'.
2021-02-19 12:56:11,647 2272 [INFO ] - VERBOSE: Importing function 'Test-ProcessAdminRights'.
2021-02-19 12:56:11,647 2272 [INFO ] - VERBOSE: Importing function 'Uninstall-BinFile'.
2021-02-19 12:56:11,647 2272 [INFO ] - VERBOSE: Importing function 'Uninstall-ChocolateyEnvironmentVariable'.
2021-02-19 12:56:11,647 2272 [INFO ] - VERBOSE: Importing function 'Uninstall-ChocolateyPackage'.
2021-02-19 12:56:11,663 2272 [INFO ] - VERBOSE: Importing function 'Uninstall-ChocolateyZipPackage'.
2021-02-19 12:56:11,663 2272 [INFO ] - VERBOSE: Importing function 'Update-SessionEnvironment'.
2021-02-19 12:56:11,663 2272 [INFO ] - VERBOSE: Importing function 'Write-ChocolateyFailure'.
2021-02-19 12:56:11,663 2272 [INFO ] - VERBOSE: Importing function 'Write-ChocolateySuccess'.
2021-02-19 12:56:11,679 2272 [INFO ] - VERBOSE: Importing function 'Write-FileUpdateLog'.
2021-02-19 12:56:11,679 2272 [INFO ] - VERBOSE: Importing function 'Write-FunctionCallLogMessage'.
2021-02-19 12:56:11,695 2272 [INFO ] - VERBOSE: Importing alias 'Add-BinFile'.
2021-02-19 12:56:11,695 2272 [INFO ] - VERBOSE: Importing alias 'Generate-BinFile'.
2021-02-19 12:56:11,695 2272 [INFO ] - VERBOSE: Importing alias 'Get-InstallRegistryKey'.
2021-02-19 12:56:11,711 2272 [INFO ] - VERBOSE: Importing alias 'Get-OSBitness'.
2021-02-19 12:56:11,711 2272 [INFO ] - VERBOSE: Importing alias 'Get-ProcessorBits'.
2021-02-19 12:56:11,711 2272 [INFO ] - VERBOSE: Importing alias 'Invoke-ChocolateyProcess'.
2021-02-19 12:56:11,725 2272 [INFO ] - VERBOSE: Importing alias 'refreshenv'.
2021-02-19 12:56:11,725 2272 [INFO ] - VERBOSE: Importing alias 'Remove-BinFile'.
2021-02-19 12:56:11,725 2272 [INFO ] - VERBOSE: Importing alias 'Start-ChocolateyProcess'.
2021-02-19 12:56:11,897 2272 [DEBUG] - ---------------------------Script Execution---------------------------
2021-02-19 12:56:11,912 2272 [DEBUG] - Running 'ChocolateyScriptRunner' for Coq v8.13.1 with packageScript 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyUninstall.ps1', packageFolder:'C:\ProgramData\chocolatey\lib\Coq', installArguments: '', packageParameters: '',
2021-02-19 12:56:11,945 2272 [DEBUG] - Running 'C:\ProgramData\chocolatey\lib\Coq\tools\chocolateyUninstall.ps1'
2021-02-19 12:56:12,006 2272 [DEBUG] - Running 'Get-UninstallRegistryKey' for 'Coq' with SoftwareName:'coq*'
2021-02-19 12:56:12,022 2272 [INFO ] - VERBOSE: Retrieving all uninstall registry keys
2021-02-19 12:56:12,460 2272 [DEBUG] - Registry uninstall keys on system: 32
2021-02-19 12:56:13,225 2272 [DEBUG] - Error handling check: 'Get-ItemProperty' fails if a registry key is encoded incorrectly.
2021-02-19 12:56:13,304 2272 [DEBUG] - Found 1 uninstall registry key(s) with SoftwareName:'coq*'
2021-02-19 12:56:13,413 2272 [DEBUG] - Running Uninstall-ChocolateyPackage -packageName 'Coq' -fileType 'exe' -validExitCodes '0' -silentArgs '/S' -file '"C:\Coq\Uninstall.exe"'
2021-02-19 12:56:13,476 2272 [INFO ] - Uninstalling Coq...
2021-02-19 12:56:13,491 2272 [INFO ] -
2021-02-19 12:56:13,585 2272 [DEBUG] - Running Start-ChocolateyProcessAsAdmin -validExitCodes '0' -statements '/S ' -exeToRun '"C:\Coq\Uninstall.exe"'
2021-02-19 12:56:13,663 2272 [DEBUG] - Test-ProcessAdminRights: returning True
2021-02-19 12:56:13,741 2272 [DEBUG] - Elevating permissions and running ["C:\Coq\Uninstall.exe" /S ]. This may take a while, depending on the statements.
2021-02-19 12:56:14,366 2272 [DEBUG] - Command ["C:\Coq\Uninstall.exe" /S ] exited with '0'.
2021-02-19 12:56:14,397 2272 [DEBUG] - Finishing 'Start-ChocolateyProcessAsAdmin'
2021-02-19 12:56:14,413 2272 [INFO ] - 0
2021-02-19 12:56:14,413 2272 [INFO ] - Coq has been uninstalled.
2021-02-19 12:56:14,428 2272 [INFO ] -
2021-02-19 12:56:14,428 2272 [INFO ] - ^^ No it hasn't just yet...
2021-02-19 12:56:14,445 2272 [INFO ] -
2021-02-19 12:56:14,445 2272 [INFO ] - Waiting for the uninstall process to close...
2021-02-19 12:56:14,445 2272 [INFO ] -
2021-02-19 12:56:19,491 2272 [DEBUG] - ----------------------------------------------------------------------
2021-02-19 12:56:19,506 2272 [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'.
2021-02-19 12:56:19,553 2272 [INFO ] - Running auto uninstaller...
2021-02-19 12:56:19,569 2272 [DEBUG] - Sleeping for 2 seconds to allow Windows to finish cleaning up.
2021-02-19 12:56:21,726 2272 [DEBUG] - Preparing uninstall key '"C:\Coq\Uninstall.exe"' for 'Coq Version 8.13.1'
2021-02-19 12:56:21,913 2272 [DEBUG] - Uninstaller path is 'C:\Coq\Uninstall.exe'
2021-02-19 12:56:21,991 2272 [DEBUG] - Installer type is 'CustomInstaller'
2021-02-19 12:56:22,601 2272 [DEBUG] - Setting up uninstall logging directory at C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.13.1
2021-02-19 12:56:22,616 2272 [DEBUG] - Args are ''
2021-02-19 12:56:22,616 2272 [WARN ] -
Did you know licensed versions of Chocolatey are 95% effective with
Automatic Uninstaller due to licensed enhancements and Package
Synchronizer?
2021-02-19 12:56:22,944 2272 [INFO ] - For the question below, you have 30 seconds to make a selection.
2021-02-19 12:56:22,959 2272 [INFO ] - Uninstall may not be silent (could not detect). Proceed?
2021-02-19 12:56:22,976 2272 [INFO ] - 1) yes
2021-02-19 12:56:22,976 2272 [INFO ] - 2) no [Default - Press Enter]
2021-02-19 12:56:53,443 2272 [INFO ] - Choosing default choice of 'no'
2021-02-19 12:56:53,460 2272 [INFO ] - Skipping auto uninstaller - Installer type was not detected and no silent uninstall key exists.
2021-02-19 12:56:53,474 2272 [WARN ] - If the application was not removed with a chocolateyUninstall.ps1,
please remove it from Programs and Features manually.
2021-02-19 12:56:53,490 2272 [DEBUG] - Calling command ['"C:\Windows\System32\shutdown.exe" /a']
2021-02-19 12:56:53,616 2272 [DEBUG] - Command ['"C:\Windows\System32\shutdown.exe" /a'] exited with '1116'
2021-02-19 12:56:53,631 2272 [DEBUG] - Attempting to delete directory "C:\ProgramData\chocolatey\lib-bkp\coq".
2021-02-19 12:56:53,694 2272 [DEBUG] - [NuGet] Removed file 'chocolateyInstall.ps1' to folder 'C:\ProgramData\chocolatey\lib\Coq\tools'.
2021-02-19 12:56:53,709 2272 [DEBUG] - [NuGet] Removed file 'chocolateyUninstall.ps1' to folder 'C:\ProgramData\chocolatey\lib\Coq\tools'.
2021-02-19 12:56:53,709 2272 [DEBUG] - [NuGet] Removed folder 'C:\ProgramData\chocolatey\lib\Coq\tools'.
2021-02-19 12:56:53,787 2272 [DEBUG] - [NuGet] Removed file 'Coq.nuspec' to folder 'C:\ProgramData\chocolatey\lib\Coq'.
2021-02-19 12:56:53,787 2272 [DEBUG] - [NuGet] Removed file 'Coq.nupkg' to folder 'C:\ProgramData\chocolatey\lib\Coq'.
2021-02-19 12:56:53,787 2272 [DEBUG] - [NuGet] Removed folder 'C:\ProgramData\chocolatey\lib\Coq'.
2021-02-19 12:56:53,802 2272 [INFO ] - [NuGet] Successfully uninstalled 'Coq 8.13.1'.
2021-02-19 12:56:53,802 2272 [INFO ] - Coq has been successfully uninstalled.
2021-02-19 12:56:53,819 2272 [DEBUG] - Removing nupkg if it still exists.
2021-02-19 12:56:53,834 2272 [DEBUG] - Ensuring removal of installation files.
2021-02-19 12:56:53,834 2272 [DEBUG] - Ensuring removal of package cache files.
2021-02-19 12:56:53,851 2272 [DEBUG] - Attempting to delete directory "C:\Users\Administrator\AppData\Local\Temp\chocolatey\Coq\8.13.1".
2021-02-19 12:56:54,007 2272 [WARN ] -
Chocolatey uninstalled 1/1 packages.
See the log for details (C:\ProgramData\chocolatey\logs\chocolatey.log).
2021-02-19 12:56:54,021 2272 [DEBUG] - Sending message 'PostRunMessage' out if there are subscribers...
2021-02-19 12:56:54,053 2272 [DEBUG] - Exiting with 0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment