z3 v4.12.3 - Passed - Package Test Results
| <?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\z3\z3-4.12.3-x64-win.zip.txt" checksum="25329D80B1A7EB2B7308621439FCC6D2" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\z3.nupkg" checksum="523D97794AB0675610179198F7F1D422" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\z3.nuspec" checksum="C01204ED4B9196B50F2314CE1CE7EC9B" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\legal\LICENSE.txt" checksum="5F03AD1486A2E4CE71200CE0F9721557" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\legal\VERIFICATION.txt" checksum="557E44260D2311185DDDF5337679413D" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\chocolateyinstall.ps1" checksum="BE8C0D509ED6DDAC657A03FE2F9BC32F" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\LICENSE.txt" checksum="C4C1DA8ADA62596848A6E38B6BAA8CD4" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\com.microsoft.z3.jar" checksum="DFE7952CA0C5876762BC4B8AEAFFFEF0" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.dll" checksum="7EE06C4B30D65165A43F48868E0A41CC" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.lib" checksum="25AF078BC41BD71C8B31474614CADAA9" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.pdb" checksum="E691A4727DFF1FB735E51AB0F8A72DBA" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3java.dll" checksum="28BB3B484CCE168CE956F70C87FF1391" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3java.lib" checksum="985360706ACC13BBB0A30D7E94CDDE20" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.deps.json" checksum="59B5F6239215A645C09E522EBF17E69C" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.dll" checksum="0225698244FCA72638A6B74932CA119C" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.pdb" checksum="F8E1196A2D5D07BC297FD98E5EB80152" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.xml" checksum="FFAB4950985F7AF81661F150BA6FBB00" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140.dll" checksum="EBF8072A3C5C586979313F76E503AABF" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_1.dll" checksum="11D5D26552C1730CCC440F13A1FCE188" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_2.dll" checksum="718E5C4A63D2F941EEB1B4E9D6D85A8C" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_atomic_wait.dll" checksum="F9C7A19DFC5FA60B1405C81208BD959B" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_codecvt_ids.dll" checksum="0F4E5F6C68C514E63C4CDAE9EB9E40F5" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcomp140.dll" checksum="C25E40C224F37FCB17C3ACDF320FF258" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140.dll" checksum="699DD61122D91E80ABDFCC396CE0EC10" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140_1.dll" checksum="9410EE0771FF1C2007D9087A8C316A4B" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140_threads.dll" checksum="268036DFA28320D2186B9B21631D443D" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\z3.exe" checksum="9024BD4A4B14CCA8410B6172E757EDDD" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\example.py" checksum="29885F72DC972005BEB062CA03EA370D" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3.py" checksum="DECA604BC520620BE2F795CAEC125572" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3consts.py" checksum="2AB8C818DAC49723A65A1C44F4554679" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3core.py" checksum="FE792204ADEDEBEE8B0385F92114B679" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3num.py" checksum="22C0A73170BDD0F91B76E6A160B9C937" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3poly.py" checksum="871B33516926538E32564673DBED0ECE" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3printer.py" checksum="0859A674AD84FE8DF698E46FA55FAB43" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3rcf.py" checksum="D1BCA6D5D266F3A117D4C27034899B46" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3types.py" checksum="5E7C688F0E667142D184D4217B5CFD6D" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3util.py" checksum="4A505E5FA3A95A76D24629BD0B7CE94D" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__init__.py" checksum="6BB9C83973ECA222DE80539171BE2476" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3.cpython-39.pyc" checksum="5FBA9398BE3713B662A963EB3A36B5D1" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3consts.cpython-39.pyc" checksum="E2E3817974B1856DE92F5ACC881C80F4" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3core.cpython-39.pyc" checksum="3BCAB5171A36B664A9FC78B049CA54CE" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3num.cpython-39.pyc" checksum="55AB88AADCB465DE6E798D914461A5FB" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3poly.cpython-39.pyc" checksum="BDB9768711B467F6A57823336C787A68" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3printer.cpython-39.pyc" checksum="99A396C15A9220A1AE20FF46BC7B75D5" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3rcf.cpython-39.pyc" checksum="0BF1259F0B9029C730D013DD4130860E" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3types.cpython-39.pyc" checksum="8F79C9CCFCC3AE1BFEB0C357C3789790" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3util.cpython-39.pyc" checksum="775C8BB08AD7ACF02F25454D9A2530C7" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\__init__.cpython-39.pyc" checksum="3AE06C0771BF6647827C05ABB855FFE2" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3++.h" checksum="D1F95277FD6EF959256E0D748556A10D" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3.h" checksum="0602E2A11D0409DF0C3DF0D74DF9E9BB" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_algebraic.h" checksum="C8936A5692C777B83E3A7A8F14A3954B" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_api.h" checksum="7B1A301660AD78D7211330924D27C64B" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_ast_containers.h" checksum="7BD14C7167A2B963CC8F816A465C129D" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_fixedpoint.h" checksum="541CD560A009030C0CA714F29D8F4F78" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_fpa.h" checksum="B45F64AAFB4C930A00A04E110893198A" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_macros.h" checksum="FC52E663352B3480C330E33251668F3E" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_optimization.h" checksum="17AA872A47E02AB6814F98754B97748A" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_polynomial.h" checksum="0FEB0C1B89A1CF44C8FFBF198D4E4326" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_rcf.h" checksum="F60A9E5C257089988260C6BDF0F5A0A3" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_spacer.h" checksum="B8125A332163A59D09751DECDE319F03" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_v1.h" checksum="4E173E65B2EE8814EFD03B704B3628F7" /> | |
| <file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_version.h" checksum="91F80D77863401B605C013083F9378B2" /> | |
| </files> | |
| </fileSnapshot> |
| 2023-12-05 20:04:52,103 5708 [DEBUG] - XmlConfiguration is now operational | |
| 2023-12-05 20:04:52,290 5708 [DEBUG] - Adding new type 'CygwinService' for type 'IAlternativeSourceRunner' from assembly 'choco' | |
| 2023-12-05 20:04:52,304 5708 [DEBUG] - Adding new type 'CygwinService' for type 'IInstallSourceRunner' from assembly 'choco' | |
| 2023-12-05 20:04:52,304 5708 [DEBUG] - Adding new type 'PythonService' for type 'IAlternativeSourceRunner' from assembly 'choco' | |
| 2023-12-05 20:04:52,323 5708 [DEBUG] - Adding new type 'PythonService' for type 'IListSourceRunner' from assembly 'choco' | |
| 2023-12-05 20:04:52,323 5708 [DEBUG] - Adding new type 'PythonService' for type 'IInstallSourceRunner' from assembly 'choco' | |
| 2023-12-05 20:04:52,337 5708 [DEBUG] - Adding new type 'PythonService' for type 'IUninstallSourceRunner' from assembly 'choco' | |
| 2023-12-05 20:04:52,353 5708 [DEBUG] - Adding new type 'RubyGemsService' for type 'IAlternativeSourceRunner' from assembly 'choco' | |
| 2023-12-05 20:04:52,353 5708 [DEBUG] - Adding new type 'RubyGemsService' for type 'IListSourceRunner' from assembly 'choco' | |
| 2023-12-05 20:04:52,368 5708 [DEBUG] - Adding new type 'RubyGemsService' for type 'IInstallSourceRunner' from assembly 'choco' | |
| 2023-12-05 20:04:52,399 5708 [DEBUG] - Adding new type 'SystemStateValidation' for type 'IValidation' from assembly 'choco' | |
| 2023-12-05 20:04:52,399 5708 [DEBUG] - Adding new type 'CacheFolderLockdownValidation' for type 'IValidation' from assembly 'choco' | |
| 2023-12-05 20:04:54,007 5708 [DEBUG] - Adding new type 'EmptyOrInvalidUrlMetadataRule' for type 'IMetadataRule' from assembly 'choco' | |
| 2023-12-05 20:04:54,007 5708 [DEBUG] - Adding new type 'FrameWorkReferencesMetadataRule' for type 'IMetadataRule' from assembly 'choco' | |
| 2023-12-05 20:04:54,007 5708 [DEBUG] - Adding new type 'IconMetadataRule' for type 'IMetadataRule' from assembly 'choco' | |
| 2023-12-05 20:04:54,024 5708 [DEBUG] - Adding new type 'LicenseMetadataRule' for type 'IMetadataRule' from assembly 'choco' | |
| 2023-12-05 20:04:54,039 5708 [DEBUG] - Adding new type 'PackageTypesMetadataRule' for type 'IMetadataRule' from assembly 'choco' | |
| 2023-12-05 20:04:54,039 5708 [DEBUG] - Adding new type 'ReadmeMetadataRule' for type 'IMetadataRule' from assembly 'choco' | |
| 2023-12-05 20:04:54,055 5708 [DEBUG] - Adding new type 'RepositoryMetadataRule' for type 'IMetadataRule' from assembly 'choco' | |
| 2023-12-05 20:04:54,055 5708 [DEBUG] - Adding new type 'RequireLicenseAcceptanceMetadataRule' for type 'IMetadataRule' from assembly 'choco' | |
| 2023-12-05 20:04:54,071 5708 [DEBUG] - Adding new type 'ServicableMetadataRule' for type 'IMetadataRule' from assembly 'choco' | |
| 2023-12-05 20:04:54,086 5708 [DEBUG] - Adding new type 'VersionMetadataRule' for type 'IMetadataRule' from assembly 'choco' | |
| 2023-12-05 20:04:54,118 5708 [DEBUG] - Registering new command 'cache' in assembly 'choco' | |
| 2023-12-05 20:04:54,133 5708 [DEBUG] - Registering new command 'list' in assembly 'choco' | |
| 2023-12-05 20:04:54,149 5708 [DEBUG] - Registering new command 'template' in assembly 'choco' | |
| 2023-12-05 20:04:54,164 5708 [DEBUG] - Registering new command 'export' in assembly 'choco' | |
| 2023-12-05 20:04:54,164 5708 [DEBUG] - Registering new command 'info' in assembly 'choco' | |
| 2023-12-05 20:04:54,181 5708 [DEBUG] - Registering new command 'help' in assembly 'choco' | |
| 2023-12-05 20:04:54,181 5708 [DEBUG] - Registering new command 'config' in assembly 'choco' | |
| 2023-12-05 20:04:54,198 5708 [DEBUG] - Registering new command 'feature' in assembly 'choco' | |
| 2023-12-05 20:04:54,210 5708 [DEBUG] - Registering new command 'new' in assembly 'choco' | |
| 2023-12-05 20:04:54,210 5708 [DEBUG] - Registering new command 'outdated' in assembly 'choco' | |
| 2023-12-05 20:04:54,227 5708 [DEBUG] - Registering new command 'pack' in assembly 'choco' | |
| 2023-12-05 20:04:54,227 5708 [DEBUG] - Registering new command 'pin' in assembly 'choco' | |
| 2023-12-05 20:04:54,242 5708 [DEBUG] - Registering new command 'push' in assembly 'choco' | |
| 2023-12-05 20:04:54,258 5708 [DEBUG] - Registering new command 'apikey' in assembly 'choco' | |
| 2023-12-05 20:04:54,258 5708 [DEBUG] - Registering new command 'source' in assembly 'choco' | |
| 2023-12-05 20:04:54,273 5708 [DEBUG] - Registering new command 'uninstall' in assembly 'choco' | |
| 2023-12-05 20:04:54,273 5708 [DEBUG] - Registering new command 'upgrade' in assembly 'choco' | |
| 2023-12-05 20:04:54,289 5708 [DEBUG] - Registering new command 'search' in assembly 'choco' | |
| 2023-12-05 20:04:54,289 5708 [DEBUG] - Registering new command 'unpackself' in assembly 'choco' | |
| 2023-12-05 20:04:54,305 5708 [DEBUG] - Registering new command 'install' in assembly 'choco' | |
| 2023-12-05 20:04:54,898 5708 [INFO ] - ============================================================ | |
| 2023-12-05 20:04:55,415 5708 [INFO ] - Chocolatey v2.2.2 | |
| 2023-12-05 20:04:55,477 5708 [DEBUG] - Chocolatey is running on Windows v 10.0.17763.0 | |
| 2023-12-05 20:04:55,508 5708 [DEBUG] - Attempting to delete file "C:/ProgramData/chocolatey/choco.exe.old". | |
| 2023-12-05 20:04:55,523 5708 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\choco.exe.old". | |
| 2023-12-05 20:04:55,555 5708 [DEBUG] - Command line: "C:\ProgramData\chocolatey\choco.exe" install z3 --version 4.12.3 -fdvy --execution-timeout=2700 --allow-downgrade | |
| 2023-12-05 20:04:55,571 5708 [DEBUG] - Received arguments: install z3 --version 4.12.3 -fdvy --execution-timeout=2700 --allow-downgrade | |
| 2023-12-05 20:04:55,819 5708 [DEBUG] - RemovePendingPackagesTask is now ready and waiting for PreRunMessage. | |
| 2023-12-05 20:04:55,867 5708 [DEBUG] - Sending message 'PreRunMessage' out if there are subscribers... | |
| 2023-12-05 20:04:55,914 5708 [DEBUG] - [Pending] Removing all pending packages that should not be considered installed... | |
| 2023-12-05 20:04:56,289 5708 [DEBUG] - Performing validation checks. | |
| 2023-12-05 20:04:56,325 5708 [DEBUG] - Global Configuration Validation Checks: | |
| 2023-12-05 20:04:56,337 5708 [DEBUG] - - Package Exit Code / Exit On Reboot = Checked | |
| 2023-12-05 20:04:56,353 5708 [DEBUG] - System State Validation Checks: | |
| 2023-12-05 20:04:56,367 5708 [DEBUG] - Reboot Requirement Checks: | |
| 2023-12-05 20:04:56,399 5708 [DEBUG] - - Pending Computer Rename = Checked | |
| 2023-12-05 20:04:56,417 5708 [DEBUG] - - Pending Component Based Servicing = Checked | |
| 2023-12-05 20:04:56,429 5708 [DEBUG] - - Pending Windows Auto Update = Checked | |
| 2023-12-05 20:04:56,445 5708 [DEBUG] - - Pending File Rename Operations = Ignored | |
| 2023-12-05 20:04:56,460 5708 [DEBUG] - - Pending Windows Package Installer = Checked | |
| 2023-12-05 20:04:56,476 5708 [DEBUG] - - Pending Windows Package Installer SysWow64 = Checked | |
| 2023-12-05 20:04:56,492 5708 [DEBUG] - Cache Folder Lockdown Checks: | |
| 2023-12-05 20:04:56,508 5708 [DEBUG] - - Elevated State = Checked | |
| 2023-12-05 20:04:56,508 5708 [DEBUG] - - Folder Exists = Checked | |
| 2023-12-05 20:04:56,538 5708 [DEBUG] - - Folder lockdown = Checked | |
| 2023-12-05 20:04:56,602 5708 [INFO ] - 3 validations performed. 3 success(es), 0 warning(s), and 0 error(s). | |
| 2023-12-05 20:04:56,664 5708 [DEBUG] - The source 'c:\cached-packages;https://community.chocolatey.org/api/v2/' evaluated to a 'normal' source type | |
| 2023-12-05 20:04:56,696 5708 [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. | |
| 2023-12-05 20:04:56,788 5708 [DEBUG] - Configuration: CommandName='install'| | |
| CacheLocation='C:\Users\vagrant\AppData\Local\Temp\chocolatey'| | |
| CommandExecutionTimeoutSeconds='2700'|WebRequestTimeoutSeconds='30'| | |
| Sources='c:\cached-packages;https://community.chocolatey.org/api/v2/'| | |
| SourceType='normal'|ShowOnlineHelp='False'|Debug='True'|Verbose='True'| | |
| Trace='False'|Force='True'|Noop='False'|HelpRequested='False'| | |
| UnsuccessfulParsing='False'|RegularOutput='True'|QuietOutput='False'| | |
| PromptForConfirmation='False'|DisableCompatibilityChecks='False'| | |
| AcceptLicense='True'|AllowUnofficialBuild='False'|Input='z3'| | |
| Version='4.12.3'|AllVersions='False'| | |
| SkipPackageInstallProvider='False'| | |
| SkipHookScripts='False'|PackageNames='z3'|Prerelease='False'| | |
| ForceX86='False'|OverrideArguments='False'|NotSilent='False'| | |
| ApplyPackageParametersToDependencies='False'| | |
| ApplyInstallArgumentsToDependencies='False'|IgnoreDependencies='False'| | |
| CacheExpirationInMinutes='30'|AllowDowngrade='True'| | |
| ForceDependencies='False'|PinPackage='False'| | |
| Information.PlatformType='Windows'| | |
| Information.PlatformVersion='10.0.17763.0'| | |
| Information.PlatformName='Windows Server 2016'| | |
| Information.ChocolateyVersion='2.2.2.0'| | |
| Information.ChocolateyProductVersion='2.2.2'| | |
| Information.FullName='choco, Version=2.2.2.0, Culture=neutral, PublicKeyToken=79d02ea9cad655eb'| | |
| Information.Is64BitOperatingSystem='True'| | |
| Information.Is64BitProcess='True'|Information.IsInteractive='False'| | |
| Information.UserName='vagrant'| | |
| Information.UserDomainName='WIN-ISCBH25A8DT'| | |
| Information.IsUserAdministrator='True'| | |
| Information.IsUserSystemAccount='False'| | |
| Information.IsUserRemoteDesktop='False'| | |
| Information.IsUserRemote='True'| | |
| Information.IsProcessElevated='True'| | |
| Information.IsLicensedVersion='False'| | |
| Information.IsLicensedAssemblyLoaded='False'| | |
| Information.LicenseType='Foss'| | |
| Information.CurrentDirectory='C:\Users\vagrant'| | |
| 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'| | |
| 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'| | |
| ListCommand.ExplicitPageSize='False'| | |
| ListCommand.ExplicitSource='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.Command='Unknown'|PinCommand.Command='Unknown'| | |
| OutdatedCommand.IgnorePinned='False'| | |
| ExportCommand.IncludeVersionNumbers='False'|Proxy.BypassOnLocal='True'| | |
| TemplateCommand.Command='unknown'|CacheCommand.Command='Unknown'| | |
| CacheCommand.RemoveExpiredItemsOnly='False'| | |
| 2023-12-05 20:04:56,788 5708 [DEBUG] - _ Chocolatey:ChocolateyInstallCommand - Normal Run Mode _ | |
| 2023-12-05 20:04:56,836 5708 [INFO ] - Installing the following packages: | |
| 2023-12-05 20:04:56,855 5708 [INFO ] - z3 | |
| 2023-12-05 20:04:56,867 5708 [INFO ] - By installing, you accept licenses for the packages. | |
| 2023-12-05 20:04:56,929 5708 [DEBUG] - Current environment values (may contain sensitive data): | |
| 2023-12-05 20:04:56,946 5708 [DEBUG] - * 'Path'='C:\Users\vagrant\AppData\Local\Microsoft\WindowsApps;' ('User') | |
| 2023-12-05 20:04:56,946 5708 [DEBUG] - * 'TEMP'='C:\Users\vagrant\AppData\Local\Temp' ('User') | |
| 2023-12-05 20:04:56,962 5708 [DEBUG] - * 'TMP'='C:\Users\vagrant\AppData\Local\Temp' ('User') | |
| 2023-12-05 20:04:56,992 5708 [DEBUG] - * 'ChocolateyLastPathUpdate'='133462519623523069' ('User') | |
| 2023-12-05 20:04:57,024 5708 [DEBUG] - * 'ComSpec'='C:\Windows\system32\cmd.exe' ('Machine') | |
| 2023-12-05 20:04:57,039 5708 [DEBUG] - * 'DriverData'='C:\Windows\System32\Drivers\DriverData' ('Machine') | |
| 2023-12-05 20:04:57,039 5708 [DEBUG] - * 'OS'='Windows_NT' ('Machine') | |
| 2023-12-05 20:04:57,058 5708 [DEBUG] - * 'Path'='C:\Windows\system32;C:\Windows;C:\Windows\System32\Wbem;C:\Windows\System32\WindowsPowerShell\v1.0\;C:\Windows\System32\OpenSSH\;C:\ProgramData\chocolatey\bin;' ('Machine') | |
| 2023-12-05 20:04:57,070 5708 [DEBUG] - * 'PATHEXT'='.COM;.EXE;.BAT;.CMD;.VBS;.VBE;.JS;.JSE;.WSF;.WSH;.MSC' ('Machine') | |
| 2023-12-05 20:04:57,070 5708 [DEBUG] - * 'PROCESSOR_ARCHITECTURE'='AMD64' ('Machine') | |
| 2023-12-05 20:04:57,086 5708 [DEBUG] - * 'PSModulePath'='C:\Program Files\WindowsPowerShell\Modules;C:\Windows\system32\WindowsPowerShell\v1.0\Modules' ('Machine') | |
| 2023-12-05 20:04:57,086 5708 [DEBUG] - * 'TEMP'='C:\Windows\TEMP' ('Machine') | |
| 2023-12-05 20:04:57,102 5708 [DEBUG] - * 'TMP'='C:\Windows\TEMP' ('Machine') | |
| 2023-12-05 20:04:57,118 5708 [DEBUG] - * 'USERNAME'='SYSTEM' ('Machine') | |
| 2023-12-05 20:04:57,118 5708 [DEBUG] - * 'windir'='C:\Windows' ('Machine') | |
| 2023-12-05 20:04:57,132 5708 [DEBUG] - * 'NUMBER_OF_PROCESSORS'='4' ('Machine') | |
| 2023-12-05 20:04:57,148 5708 [DEBUG] - * 'PROCESSOR_LEVEL'='6' ('Machine') | |
| 2023-12-05 20:04:57,148 5708 [DEBUG] - * 'PROCESSOR_IDENTIFIER'='Intel64 Family 6 Model 85 Stepping 7, GenuineIntel' ('Machine') | |
| 2023-12-05 20:04:57,165 5708 [DEBUG] - * 'PROCESSOR_REVISION'='5507' ('Machine') | |
| 2023-12-05 20:04:57,181 5708 [DEBUG] - * 'ChocolateyInstall'='C:\ProgramData\chocolatey' ('Machine') | |
| 2023-12-05 20:04:58,007 5708 [DEBUG] - Running list with the following filter = '' | |
| 2023-12-05 20:04:58,025 5708 [DEBUG] - --- Start of List --- | |
| 2023-12-05 20:04:58,101 5708 [DEBUG] - Resolving resource PackageSearchResource for source C:\ProgramData\chocolatey\lib | |
| 2023-12-05 20:04:58,835 5708 [DEBUG] - chocolatey 2.2.2 | |
| 2023-12-05 20:04:58,867 5708 [DEBUG] - chocolatey-windowsupdate.extension 1.0.5 | |
| 2023-12-05 20:04:58,883 5708 [DEBUG] - KB2919355 1.0.20160915 | |
| 2023-12-05 20:04:58,899 5708 [DEBUG] - KB2919442 1.0.20160915 | |
| 2023-12-05 20:04:58,915 5708 [DEBUG] - KB2999226 1.0.20181019 | |
| 2023-12-05 20:04:58,915 5708 [DEBUG] - KB3035131 1.0.3 | |
| 2023-12-05 20:04:58,931 5708 [DEBUG] - KB3118401 1.0.5 | |
| 2023-12-05 20:04:58,976 5708 [DEBUG] - virtualbox-guest-additions-guest.install 7.0.12 | |
| 2023-12-05 20:04:58,991 5708 [DEBUG] - --- End of List --- | |
| 2023-12-05 20:04:59,009 5708 [DEBUG] - Resolving resource PackageMetadataResource for source c:\cached-packages | |
| 2023-12-05 20:04:59,883 5708 [DEBUG] - Resolving resource PackageMetadataResource for source https://community.chocolatey.org/api/v2/ | |
| 2023-12-05 20:05:00,898 5708 [INFO ] - [NuGet] GET https://community.chocolatey.org/api/v2/Packages(Id='z3',Version='4.12.3') | |
| 2023-12-05 20:05:01,181 5708 [INFO ] - [NuGet] OK https://community.chocolatey.org/api/v2/Packages(Id='z3',Version='4.12.3') 262ms | |
| 2023-12-05 20:05:01,523 5708 [DEBUG] - Resolving resource DependencyInfoResource for source c:\cached-packages | |
| 2023-12-05 20:05:02,494 5708 [DEBUG] - Resolving resource DependencyInfoResource for source https://community.chocolatey.org/api/v2/ | |
| 2023-12-05 20:05:02,524 5708 [INFO ] - [NuGet] CACHE https://community.chocolatey.org/api/v2/Packages(Id='z3',Version='4.12.3') | |
| 2023-12-05 20:05:03,043 5708 [INFO ] - [NuGet] Resolving dependency information took 0 ms | |
| 2023-12-05 20:05:03,085 5708 [DEBUG] - Resolving resource DownloadResource for source https://community.chocolatey.org/api/v2/ | |
| 2023-12-05 20:05:03,180 5708 [DEBUG] - Attempting to delete file "". | |
| 2023-12-05 20:05:03,257 5708 [INFO ] - [NuGet] GET https://community.chocolatey.org/api/v2/package/z3/4.12.3 | |
| 2023-12-05 20:05:04,000 5708 [INFO ] - [NuGet] OK https://community.chocolatey.org/api/v2/package/z3/4.12.3 727ms | |
| 2023-12-05 20:05:04,117 5708 [INFO ] - [NuGet] Acquiring lock for the installation of z3 4.12.3 | |
| 2023-12-05 20:05:04,242 5708 [INFO ] - [NuGet] Acquired lock for the installation of z3 4.12.3 | |
| 2023-12-05 20:05:17,773 5708 [INFO ] - [NuGet] Installed z3 4.12.3 from https://community.chocolatey.org/api/v2/ with content hash X0C5zuaSbU4ZVE5CO3seArm27Zf+IOwS3FF0fvRSuCh8eVN38aioArbOAWBcEbqDWN5cgIc2O7jIyQvbG085ZQ==. | |
| 2023-12-05 20:05:17,899 5708 [INFO ] - [NuGet] Adding package 'z3.4.12.3' to folder 'C:\ProgramData\chocolatey\lib' | |
| 2023-12-05 20:05:19,139 5708 [INFO ] - [NuGet] Added package 'z3.4.12.3' to folder 'C:\ProgramData\chocolatey\lib' | |
| 2023-12-05 20:05:19,166 5708 [DEBUG] - Attempting to delete file "C:\Users\vagrant\AppData\Local\Temp\chocolatey\ChocolateyScratch\z3/4.12.3\z3.4.12.3.nupkg". | |
| 2023-12-05 20:05:19,194 5708 [DEBUG] - Attempting to delete file "C:\Users\vagrant\AppData\Local\Temp\chocolatey\ChocolateyScratch\z3/4.12.3\.nupkg.metadata". | |
| 2023-12-05 20:05:19,194 5708 [DEBUG] - Attempting to delete file "C:\Users\vagrant\AppData\Local\Temp\chocolatey\ChocolateyScratch\z3/4.12.3\z3.4.12.3.nupkg.sha512". | |
| 2023-12-05 20:05:19,211 5708 [INFO ] - | |
| z3 v4.12.3 (forced) | |
| 2023-12-05 20:05:19,374 5708 [INFO ] - z3 package files install completed. Performing other installation steps. | |
| 2023-12-05 20:05:19,603 5708 [DEBUG] - Setting installer args for z3 | |
| 2023-12-05 20:05:19,617 5708 [DEBUG] - Setting package parameters for z3 | |
| 2023-12-05 20:05:19,633 5708 [DEBUG] - Contents of 'C:\ProgramData\chocolatey\lib\z3\tools\chocolateyinstall.ps1': | |
| 2023-12-05 20:05:19,696 5708 [DEBUG] - $ErrorActionPreference = 'Stop' | |
| $toolsDir = Split-Path -parent $MyInvocation.MyCommand.Definition | |
| $packageArgs = @{ | |
| packageName = $env:ChocolateyPackageName | |
| fileFullPath = Join-Path $toolsDir 'z3-4.12.3-x86-win.zip' | |
| fileFullPath64 = Join-Path $toolsDir 'z3-4.12.3-x64-win.zip' | |
| destination = $toolsDir | |
| validExitCodes = @(0) | |
| } | |
| Get-ChocolateyUnzip @packageArgs | |
| Remove-Item ` | |
| -Path "$toolsDir\bin" ` | |
| -Recurse -Force ` | |
| -ErrorAction SilentlyContinue | |
| Get-ChildItem "$toolsDir\z3-*-win" | % { Rename-Item -Path $_ -NewName 'bin' -Force } | |
| Remove-Item ` | |
| -Path $packageArgs['fileFullPath'], $packageArgs['fileFullPath64'] ` | |
| -ErrorAction SilentlyContinue ` | |
| -Force | |
| 2023-12-05 20:05:19,789 5708 [DEBUG] - Calling built-in PowerShell host with ['[System.Threading.Thread]::CurrentThread.CurrentCulture = '';[System.Threading.Thread]::CurrentThread.CurrentUICulture = '';[System.Net.ServicePointManager]::SecurityProtocol = [System.Net.SecurityProtocolType]::SystemDefault; & import-module -name 'C:\ProgramData\chocolatey\helpers\chocolateyInstaller.psm1'; & 'C:\ProgramData\chocolatey\helpers\chocolateyScriptRunner.ps1' -packageScript 'C:\ProgramData\chocolatey\lib\z3\tools\chocolateyinstall.ps1' -installArguments '' -packageParameters '' -preRunHookScripts $null -postRunHookScripts $null'] | |
| 2023-12-05 20:05:19,836 5708 [DEBUG] - Redirecting System.Management.Automation.resources, Version=3.0.0.0, Culture=en-US, PublicKeyToken=31bf3856ad364e35, requested by '' | |
| 2023-12-05 20:05:21,320 5708 [DEBUG] - Host version is 5.1.17763.1, PowerShell Version is '5.1.17763.3770' and CLR Version is '4.0.30319.42000'. | |
| 2023-12-05 20:05:22,367 5708 [INFO ] - VERBOSE: Exporting function 'Format-FileSize'. | |
| 2023-12-05 20:05:22,401 5708 [INFO ] - VERBOSE: Exporting function 'Get-ChecksumValid'. | |
| 2023-12-05 20:05:22,419 5708 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyConfigValue'. | |
| 2023-12-05 20:05:22,430 5708 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyPath'. | |
| 2023-12-05 20:05:22,445 5708 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyUnzip'. | |
| 2023-12-05 20:05:22,464 5708 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyWebFile'. | |
| 2023-12-05 20:05:22,495 5708 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariable'. | |
| 2023-12-05 20:05:22,528 5708 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariableNames'. | |
| 2023-12-05 20:05:22,541 5708 [INFO ] - VERBOSE: Exporting function 'Get-FtpFile'. | |
| 2023-12-05 20:05:22,573 5708 [INFO ] - VERBOSE: Exporting function 'Get-OSArchitectureWidth'. | |
| 2023-12-05 20:05:22,607 5708 [INFO ] - VERBOSE: Exporting function 'Get-PackageParameters'. | |
| 2023-12-05 20:05:22,616 5708 [INFO ] - VERBOSE: Exporting function 'Get-PackageParametersBuiltIn'. | |
| 2023-12-05 20:05:22,632 5708 [INFO ] - VERBOSE: Exporting function 'Get-ToolsLocation'. | |
| 2023-12-05 20:05:22,632 5708 [INFO ] - VERBOSE: Exporting function 'Get-UACEnabled'. | |
| 2023-12-05 20:05:22,650 5708 [INFO ] - VERBOSE: Exporting function 'Get-UninstallRegistryKey'. | |
| 2023-12-05 20:05:22,664 5708 [INFO ] - VERBOSE: Exporting function 'Get-VirusCheckValid'. | |
| 2023-12-05 20:05:22,680 5708 [INFO ] - VERBOSE: Exporting function 'Get-WebFile'. | |
| 2023-12-05 20:05:22,696 5708 [INFO ] - VERBOSE: Exporting function 'Get-WebFileName'. | |
| 2023-12-05 20:05:22,710 5708 [INFO ] - VERBOSE: Exporting function 'Get-WebHeaders'. | |
| 2023-12-05 20:05:22,726 5708 [INFO ] - VERBOSE: Exporting function 'Install-BinFile'. | |
| 2023-12-05 20:05:22,726 5708 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyEnvironmentVariable'. | |
| 2023-12-05 20:05:22,742 5708 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyExplorerMenuItem'. | |
| 2023-12-05 20:05:22,757 5708 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyFileAssociation'. | |
| 2023-12-05 20:05:22,774 5708 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyInstallPackage'. | |
| 2023-12-05 20:05:22,789 5708 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPackage'. | |
| 2023-12-05 20:05:22,805 5708 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPath'. | |
| 2023-12-05 20:05:22,805 5708 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPinnedTaskBarItem'. | |
| 2023-12-05 20:05:22,820 5708 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPowershellCommand'. | |
| 2023-12-05 20:05:22,836 5708 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyShortcut'. | |
| 2023-12-05 20:05:22,851 5708 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyVsixPackage'. | |
| 2023-12-05 20:05:22,868 5708 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyZipPackage'. | |
| 2023-12-05 20:05:22,868 5708 [INFO ] - VERBOSE: Exporting function 'Install-Vsix'. | |
| 2023-12-05 20:05:22,884 5708 [INFO ] - VERBOSE: Exporting function 'Set-EnvironmentVariable'. | |
| 2023-12-05 20:05:22,899 5708 [INFO ] - VERBOSE: Exporting function 'Set-PowerShellExitCode'. | |
| 2023-12-05 20:05:22,914 5708 [INFO ] - VERBOSE: Exporting function 'Start-ChocolateyProcessAsAdmin'. | |
| 2023-12-05 20:05:22,931 5708 [INFO ] - VERBOSE: Exporting function 'Test-ProcessAdminRights'. | |
| 2023-12-05 20:05:22,931 5708 [INFO ] - VERBOSE: Exporting function 'Uninstall-BinFile'. | |
| 2023-12-05 20:05:22,946 5708 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyEnvironmentVariable'. | |
| 2023-12-05 20:05:22,960 5708 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyPackage'. | |
| 2023-12-05 20:05:22,977 5708 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyZipPackage'. | |
| 2023-12-05 20:05:22,977 5708 [INFO ] - VERBOSE: Exporting function 'Update-SessionEnvironment'. | |
| 2023-12-05 20:05:22,992 5708 [INFO ] - VERBOSE: Exporting function 'Write-FunctionCallLogMessage'. | |
| 2023-12-05 20:05:23,008 5708 [INFO ] - VERBOSE: Exporting alias 'Get-ProcessorBits'. | |
| 2023-12-05 20:05:23,022 5708 [INFO ] - VERBOSE: Exporting alias 'Get-OSBitness'. | |
| 2023-12-05 20:05:23,022 5708 [INFO ] - VERBOSE: Exporting alias 'Get-InstallRegistryKey'. | |
| 2023-12-05 20:05:23,056 5708 [INFO ] - VERBOSE: Exporting alias 'Generate-BinFile'. | |
| 2023-12-05 20:05:23,071 5708 [INFO ] - VERBOSE: Exporting alias 'Add-BinFile'. | |
| 2023-12-05 20:05:23,071 5708 [INFO ] - VERBOSE: Exporting alias 'Start-ChocolateyProcess'. | |
| 2023-12-05 20:05:23,101 5708 [INFO ] - VERBOSE: Exporting alias 'Invoke-ChocolateyProcess'. | |
| 2023-12-05 20:05:23,101 5708 [INFO ] - VERBOSE: Exporting alias 'Remove-BinFile'. | |
| 2023-12-05 20:05:23,116 5708 [INFO ] - VERBOSE: Exporting alias 'refreshenv'. | |
| 2023-12-05 20:05:23,163 5708 [DEBUG] - Loading community extensions | |
| 2023-12-05 20:05:23,226 5708 [DEBUG] - Importing 'C:\ProgramData\chocolatey\extensions\chocolatey-windowsupdate\chocolatey-windowsupdate.psm1' | |
| 2023-12-05 20:05:23,257 5708 [INFO ] - VERBOSE: Loading module from path 'C:\ProgramData\chocolatey\extensions\chocolatey-windowsupdate\chocolatey-windowsupdate.psm1'. | |
| 2023-12-05 20:05:23,541 5708 [INFO ] - VERBOSE: Exporting function 'Install-WindowsUpdate'. | |
| 2023-12-05 20:05:23,541 5708 [INFO ] - VERBOSE: Exporting function 'Test-WindowsUpdate'. | |
| 2023-12-05 20:05:23,589 5708 [INFO ] - VERBOSE: Importing function 'Install-WindowsUpdate'. | |
| 2023-12-05 20:05:23,589 5708 [INFO ] - VERBOSE: Importing function 'Test-WindowsUpdate'. | |
| 2023-12-05 20:05:23,633 5708 [INFO ] - VERBOSE: Exporting function 'Format-FileSize'. | |
| 2023-12-05 20:05:23,665 5708 [INFO ] - VERBOSE: Exporting function 'Get-ChecksumValid'. | |
| 2023-12-05 20:05:23,695 5708 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyConfigValue'. | |
| 2023-12-05 20:05:23,712 5708 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyPath'. | |
| 2023-12-05 20:05:23,742 5708 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyUnzip'. | |
| 2023-12-05 20:05:23,773 5708 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyWebFile'. | |
| 2023-12-05 20:05:23,791 5708 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariable'. | |
| 2023-12-05 20:05:23,808 5708 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariableNames'. | |
| 2023-12-05 20:05:23,823 5708 [INFO ] - VERBOSE: Exporting function 'Get-FtpFile'. | |
| 2023-12-05 20:05:23,835 5708 [INFO ] - VERBOSE: Exporting function 'Get-OSArchitectureWidth'. | |
| 2023-12-05 20:05:23,851 5708 [INFO ] - VERBOSE: Exporting function 'Get-PackageParameters'. | |
| 2023-12-05 20:05:23,882 5708 [INFO ] - VERBOSE: Exporting function 'Get-PackageParametersBuiltIn'. | |
| 2023-12-05 20:05:23,899 5708 [INFO ] - VERBOSE: Exporting function 'Get-ToolsLocation'. | |
| 2023-12-05 20:05:23,899 5708 [INFO ] - VERBOSE: Exporting function 'Get-UACEnabled'. | |
| 2023-12-05 20:05:23,914 5708 [INFO ] - VERBOSE: Exporting function 'Get-UninstallRegistryKey'. | |
| 2023-12-05 20:05:23,928 5708 [INFO ] - VERBOSE: Exporting function 'Get-VirusCheckValid'. | |
| 2023-12-05 20:05:23,928 5708 [INFO ] - VERBOSE: Exporting function 'Get-WebFile'. | |
| 2023-12-05 20:05:23,947 5708 [INFO ] - VERBOSE: Exporting function 'Get-WebFileName'. | |
| 2023-12-05 20:05:23,961 5708 [INFO ] - VERBOSE: Exporting function 'Get-WebHeaders'. | |
| 2023-12-05 20:05:23,976 5708 [INFO ] - VERBOSE: Exporting function 'Install-BinFile'. | |
| 2023-12-05 20:05:23,991 5708 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyEnvironmentVariable'. | |
| 2023-12-05 20:05:23,991 5708 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyExplorerMenuItem'. | |
| 2023-12-05 20:05:24,009 5708 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyFileAssociation'. | |
| 2023-12-05 20:05:24,026 5708 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyInstallPackage'. | |
| 2023-12-05 20:05:24,039 5708 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPackage'. | |
| 2023-12-05 20:05:24,054 5708 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPath'. | |
| 2023-12-05 20:05:24,054 5708 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPinnedTaskBarItem'. | |
| 2023-12-05 20:05:24,070 5708 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPowershellCommand'. | |
| 2023-12-05 20:05:24,088 5708 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyShortcut'. | |
| 2023-12-05 20:05:24,102 5708 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyVsixPackage'. | |
| 2023-12-05 20:05:24,102 5708 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyZipPackage'. | |
| 2023-12-05 20:05:24,118 5708 [INFO ] - VERBOSE: Exporting function 'Install-Vsix'. | |
| 2023-12-05 20:05:24,134 5708 [INFO ] - VERBOSE: Exporting function 'Set-EnvironmentVariable'. | |
| 2023-12-05 20:05:24,151 5708 [INFO ] - VERBOSE: Exporting function 'Set-PowerShellExitCode'. | |
| 2023-12-05 20:05:24,165 5708 [INFO ] - VERBOSE: Exporting function 'Start-ChocolateyProcessAsAdmin'. | |
| 2023-12-05 20:05:24,179 5708 [INFO ] - VERBOSE: Exporting function 'Test-ProcessAdminRights'. | |
| 2023-12-05 20:05:24,196 5708 [INFO ] - VERBOSE: Exporting function 'Uninstall-BinFile'. | |
| 2023-12-05 20:05:24,196 5708 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyEnvironmentVariable'. | |
| 2023-12-05 20:05:24,213 5708 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyPackage'. | |
| 2023-12-05 20:05:24,226 5708 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyZipPackage'. | |
| 2023-12-05 20:05:24,243 5708 [INFO ] - VERBOSE: Exporting function 'Update-SessionEnvironment'. | |
| 2023-12-05 20:05:24,243 5708 [INFO ] - VERBOSE: Exporting function 'Write-FunctionCallLogMessage'. | |
| 2023-12-05 20:05:24,260 5708 [INFO ] - VERBOSE: Exporting function 'Install-WindowsUpdate'. | |
| 2023-12-05 20:05:24,273 5708 [INFO ] - VERBOSE: Exporting function 'Test-WindowsUpdate'. | |
| 2023-12-05 20:05:24,308 5708 [INFO ] - VERBOSE: Exporting alias 'Get-ProcessorBits'. | |
| 2023-12-05 20:05:24,320 5708 [INFO ] - VERBOSE: Exporting alias 'Get-OSBitness'. | |
| 2023-12-05 20:05:24,320 5708 [INFO ] - VERBOSE: Exporting alias 'Get-InstallRegistryKey'. | |
| 2023-12-05 20:05:24,337 5708 [INFO ] - VERBOSE: Exporting alias 'Generate-BinFile'. | |
| 2023-12-05 20:05:24,351 5708 [INFO ] - VERBOSE: Exporting alias 'Add-BinFile'. | |
| 2023-12-05 20:05:24,368 5708 [INFO ] - VERBOSE: Exporting alias 'Start-ChocolateyProcess'. | |
| 2023-12-05 20:05:24,384 5708 [INFO ] - VERBOSE: Exporting alias 'Invoke-ChocolateyProcess'. | |
| 2023-12-05 20:05:24,384 5708 [INFO ] - VERBOSE: Exporting alias 'Remove-BinFile'. | |
| 2023-12-05 20:05:24,398 5708 [INFO ] - VERBOSE: Exporting alias 'refreshenv'. | |
| 2023-12-05 20:05:24,415 5708 [INFO ] - VERBOSE: Importing function 'Format-FileSize'. | |
| 2023-12-05 20:05:24,431 5708 [INFO ] - VERBOSE: Importing function 'Get-ChecksumValid'. | |
| 2023-12-05 20:05:24,446 5708 [INFO ] - VERBOSE: Importing function 'Get-ChocolateyConfigValue'. | |
| 2023-12-05 20:05:24,461 5708 [INFO ] - VERBOSE: Importing function 'Get-ChocolateyPath'. | |
| 2023-12-05 20:05:24,476 5708 [INFO ] - VERBOSE: Importing function 'Get-ChocolateyUnzip'. | |
| 2023-12-05 20:05:24,476 5708 [INFO ] - VERBOSE: Importing function 'Get-ChocolateyWebFile'. | |
| 2023-12-05 20:05:24,493 5708 [INFO ] - VERBOSE: Importing function 'Get-EnvironmentVariable'. | |
| 2023-12-05 20:05:24,510 5708 [INFO ] - VERBOSE: Importing function 'Get-EnvironmentVariableNames'. | |
| 2023-12-05 20:05:24,523 5708 [INFO ] - VERBOSE: Importing function 'Get-FtpFile'. | |
| 2023-12-05 20:05:24,538 5708 [INFO ] - VERBOSE: Importing function 'Get-OSArchitectureWidth'. | |
| 2023-12-05 20:05:24,556 5708 [INFO ] - VERBOSE: Importing function 'Get-PackageParameters'. | |
| 2023-12-05 20:05:24,571 5708 [INFO ] - VERBOSE: Importing function 'Get-PackageParametersBuiltIn'. | |
| 2023-12-05 20:05:24,571 5708 [INFO ] - VERBOSE: Importing function 'Get-ToolsLocation'. | |
| 2023-12-05 20:05:24,586 5708 [INFO ] - VERBOSE: Importing function 'Get-UACEnabled'. | |
| 2023-12-05 20:05:24,601 5708 [INFO ] - VERBOSE: Importing function 'Get-UninstallRegistryKey'. | |
| 2023-12-05 20:05:24,617 5708 [INFO ] - VERBOSE: Importing function 'Get-VirusCheckValid'. | |
| 2023-12-05 20:05:24,617 5708 [INFO ] - VERBOSE: Importing function 'Get-WebFile'. | |
| 2023-12-05 20:05:24,634 5708 [INFO ] - VERBOSE: Importing function 'Get-WebFileName'. | |
| 2023-12-05 20:05:24,648 5708 [INFO ] - VERBOSE: Importing function 'Get-WebHeaders'. | |
| 2023-12-05 20:05:24,664 5708 [INFO ] - VERBOSE: Importing function 'Install-BinFile'. | |
| 2023-12-05 20:05:24,679 5708 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyEnvironmentVariable'. | |
| 2023-12-05 20:05:24,679 5708 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyExplorerMenuItem'. | |
| 2023-12-05 20:05:24,696 5708 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyFileAssociation'. | |
| 2023-12-05 20:05:24,713 5708 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyInstallPackage'. | |
| 2023-12-05 20:05:24,726 5708 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPackage'. | |
| 2023-12-05 20:05:24,743 5708 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPath'. | |
| 2023-12-05 20:05:24,743 5708 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPinnedTaskBarItem'. | |
| 2023-12-05 20:05:24,773 5708 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPowershellCommand'. | |
| 2023-12-05 20:05:24,808 5708 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyShortcut'. | |
| 2023-12-05 20:05:24,822 5708 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyVsixPackage'. | |
| 2023-12-05 20:05:24,835 5708 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyZipPackage'. | |
| 2023-12-05 20:05:24,835 5708 [INFO ] - VERBOSE: Importing function 'Install-Vsix'. | |
| 2023-12-05 20:05:24,852 5708 [INFO ] - VERBOSE: Importing function 'Install-WindowsUpdate'. | |
| 2023-12-05 20:05:24,868 5708 [INFO ] - VERBOSE: Importing function 'Set-EnvironmentVariable'. | |
| 2023-12-05 20:05:24,882 5708 [INFO ] - VERBOSE: Importing function 'Set-PowerShellExitCode'. | |
| 2023-12-05 20:05:24,898 5708 [INFO ] - VERBOSE: Importing function 'Start-ChocolateyProcessAsAdmin'. | |
| 2023-12-05 20:05:24,913 5708 [INFO ] - VERBOSE: Importing function 'Test-ProcessAdminRights'. | |
| 2023-12-05 20:05:24,929 5708 [INFO ] - VERBOSE: Importing function 'Test-WindowsUpdate'. | |
| 2023-12-05 20:05:24,946 5708 [INFO ] - VERBOSE: Importing function 'Uninstall-BinFile'. | |
| 2023-12-05 20:05:24,977 5708 [INFO ] - VERBOSE: Importing function 'Uninstall-ChocolateyEnvironmentVariable'. | |
| 2023-12-05 20:05:24,992 5708 [INFO ] - VERBOSE: Importing function 'Uninstall-ChocolateyPackage'. | |
| 2023-12-05 20:05:24,992 5708 [INFO ] - VERBOSE: Importing function 'Uninstall-ChocolateyZipPackage'. | |
| 2023-12-05 20:05:25,024 5708 [INFO ] - VERBOSE: Importing function 'Update-SessionEnvironment'. | |
| 2023-12-05 20:05:25,040 5708 [INFO ] - VERBOSE: Importing function 'Write-FunctionCallLogMessage'. | |
| 2023-12-05 20:05:25,056 5708 [INFO ] - VERBOSE: Importing alias 'Add-BinFile'. | |
| 2023-12-05 20:05:25,087 5708 [INFO ] - VERBOSE: Importing alias 'Generate-BinFile'. | |
| 2023-12-05 20:05:25,103 5708 [INFO ] - VERBOSE: Importing alias 'Get-InstallRegistryKey'. | |
| 2023-12-05 20:05:25,119 5708 [INFO ] - VERBOSE: Importing alias 'Get-OSBitness'. | |
| 2023-12-05 20:05:25,150 5708 [INFO ] - VERBOSE: Importing alias 'Get-ProcessorBits'. | |
| 2023-12-05 20:05:25,181 5708 [INFO ] - VERBOSE: Importing alias 'Invoke-ChocolateyProcess'. | |
| 2023-12-05 20:05:25,196 5708 [INFO ] - VERBOSE: Importing alias 'refreshenv'. | |
| 2023-12-05 20:05:25,226 5708 [INFO ] - VERBOSE: Importing alias 'Remove-BinFile'. | |
| 2023-12-05 20:05:25,243 5708 [INFO ] - VERBOSE: Importing alias 'Start-ChocolateyProcess'. | |
| 2023-12-05 20:05:25,497 5708 [DEBUG] - ---------------------------Script Execution--------------------------- | |
| 2023-12-05 20:05:25,554 5708 [DEBUG] - Running 'ChocolateyScriptRunner' for z3 v4.12.3 with packageScript 'C:\ProgramData\chocolatey\lib\z3\tools\chocolateyinstall.ps1', packageFolder:'C:\ProgramData\chocolatey\lib\z3', installArguments: '', packageParameters: '', preRunHookScripts: '', postRunHookScripts: '', | |
| 2023-12-05 20:05:25,648 5708 [DEBUG] - Running package script 'C:\ProgramData\chocolatey\lib\z3\tools\chocolateyinstall.ps1' | |
| 2023-12-05 20:05:26,074 5708 [DEBUG] - Running Get-ChocolateyUnzip -destination 'C:\ProgramData\chocolatey\lib\z3\tools' -fileFullPath64 'C:\ProgramData\chocolatey\lib\z3\tools\z3-4.12.3-x64-win.zip' -packageName 'z3' -fileFullPath 'C:\ProgramData\chocolatey\lib\z3\tools\z3-4.12.3-x86-win.zip' | |
| 2023-12-05 20:05:26,134 5708 [DEBUG] - Running Get-OSArchitectureWidth -compare '32' | |
| 2023-12-05 20:05:26,288 5708 [INFO ] - Extracting 64-bit C:\ProgramData\chocolatey\lib\z3\tools\z3-4.12.3-x64-win.zip to C:\ProgramData\chocolatey\lib\z3\tools... | |
| 2023-12-05 20:05:26,461 5708 [DEBUG] - 7zip found at 'C:\ProgramData\chocolatey\tools\7z.exe' | |
| 2023-12-05 20:05:26,711 5708 [DEBUG] - Executing command ['C:\ProgramData\chocolatey\tools\7z.exe' x -aoa -bd -bb1 -o"C:\ProgramData\chocolatey\lib\z3\tools" -y "C:\ProgramData\chocolatey\lib\z3\tools\z3-4.12.3-x64-win.zip"] | |
| 2023-12-05 20:05:30,367 5708 [INFO ] - VERBOSE: | |
| 2023-12-05 20:05:30,398 5708 [INFO ] - VERBOSE: 7-Zip 23.01 (x86) : Copyright (c) 1999-2023 Igor Pavlov : 2023-06-20 | |
| 2023-12-05 20:05:30,430 5708 [INFO ] - VERBOSE: Scanning the drive for archives: | |
| 2023-12-05 20:05:30,446 5708 [INFO ] - VERBOSE: | |
| 2023-12-05 20:05:30,463 5708 [INFO ] - VERBOSE: 1 file, 57482725 bytes (55 MiB) | |
| 2023-12-05 20:05:30,476 5708 [INFO ] - VERBOSE: | |
| 2023-12-05 20:05:30,493 5708 [INFO ] - VERBOSE: Extracting archive: C:\ProgramData\chocolatey\lib\z3\tools\z3-4.12.3-x64-win.zip | |
| 2023-12-05 20:05:30,509 5708 [INFO ] - VERBOSE: -- | |
| 2023-12-05 20:05:30,523 5708 [INFO ] - VERBOSE: Path = C:\ProgramData\chocolatey\lib\z3\tools\z3-4.12.3-x64-win.zip | |
| 2023-12-05 20:05:30,539 5708 [INFO ] - VERBOSE: Type = zip | |
| 2023-12-05 20:05:30,555 5708 [INFO ] - VERBOSE: Physical Size = 57482725 | |
| 2023-12-05 20:05:30,570 5708 [INFO ] - VERBOSE: | |
| 2023-12-05 20:05:30,570 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\ | |
| 2023-12-05 20:05:30,681 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\ | |
| 2023-12-05 20:05:30,681 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\com.microsoft.z3.jar | |
| 2023-12-05 20:05:30,712 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\libz3.dll | |
| 2023-12-05 20:05:30,727 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\libz3.lib | |
| 2023-12-05 20:05:30,743 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\libz3.pdb | |
| 2023-12-05 20:05:30,758 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\libz3java.dll | |
| 2023-12-05 20:05:30,794 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\libz3java.lib | |
| 2023-12-05 20:05:30,807 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\Microsoft.Z3.deps.json | |
| 2023-12-05 20:05:30,823 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\Microsoft.Z3.dll | |
| 2023-12-05 20:05:30,836 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\Microsoft.Z3.pdb | |
| 2023-12-05 20:05:30,851 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\Microsoft.Z3.xml | |
| 2023-12-05 20:05:30,868 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\msvcp140.dll | |
| 2023-12-05 20:05:30,884 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\msvcp140_1.dll | |
| 2023-12-05 20:05:30,899 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\msvcp140_2.dll | |
| 2023-12-05 20:05:30,914 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\msvcp140_atomic_wait.dll | |
| 2023-12-05 20:05:30,931 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\msvcp140_codecvt_ids.dll | |
| 2023-12-05 20:05:30,977 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\python\ | |
| 2023-12-05 20:05:31,010 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\python\example.py | |
| 2023-12-05 20:05:31,039 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\python\z3\ | |
| 2023-12-05 20:05:31,039 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\python\z3\z3.py | |
| 2023-12-05 20:05:31,055 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\python\z3\z3consts.py | |
| 2023-12-05 20:05:31,086 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\python\z3\z3core.py | |
| 2023-12-05 20:05:31,118 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\python\z3\z3num.py | |
| 2023-12-05 20:05:31,132 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\python\z3\z3poly.py | |
| 2023-12-05 20:05:31,132 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\python\z3\z3printer.py | |
| 2023-12-05 20:05:31,148 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\python\z3\z3rcf.py | |
| 2023-12-05 20:05:31,164 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\python\z3\z3types.py | |
| 2023-12-05 20:05:31,180 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\python\z3\z3util.py | |
| 2023-12-05 20:05:31,195 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\python\z3\__init__.py | |
| 2023-12-05 20:05:31,211 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\python\z3\__pycache__\ | |
| 2023-12-05 20:05:31,226 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\python\z3\__pycache__\z3.cpython-39.pyc | |
| 2023-12-05 20:05:31,243 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\python\z3\__pycache__\z3consts.cpython-39.pyc | |
| 2023-12-05 20:05:31,257 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\python\z3\__pycache__\z3core.cpython-39.pyc | |
| 2023-12-05 20:05:31,274 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\python\z3\__pycache__\z3num.cpython-39.pyc | |
| 2023-12-05 20:05:31,323 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\python\z3\__pycache__\z3poly.cpython-39.pyc | |
| 2023-12-05 20:05:31,351 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\python\z3\__pycache__\z3printer.cpython-39.pyc | |
| 2023-12-05 20:05:31,368 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\python\z3\__pycache__\z3rcf.cpython-39.pyc | |
| 2023-12-05 20:05:31,399 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\python\z3\__pycache__\z3types.cpython-39.pyc | |
| 2023-12-05 20:05:31,432 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\python\z3\__pycache__\z3util.cpython-39.pyc | |
| 2023-12-05 20:05:31,445 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\python\z3\__pycache__\__init__.cpython-39.pyc | |
| 2023-12-05 20:05:31,477 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\vcomp140.dll | |
| 2023-12-05 20:05:31,493 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\vcruntime140.dll | |
| 2023-12-05 20:05:31,509 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\vcruntime140_1.dll | |
| 2023-12-05 20:05:31,523 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\vcruntime140_threads.dll | |
| 2023-12-05 20:05:31,555 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\bin\z3.exe | |
| 2023-12-05 20:05:31,569 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\include\ | |
| 2023-12-05 20:05:31,569 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\include\z3++.h | |
| 2023-12-05 20:05:31,602 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\include\z3.h | |
| 2023-12-05 20:05:31,602 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\include\z3_algebraic.h | |
| 2023-12-05 20:05:31,633 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\include\z3_api.h | |
| 2023-12-05 20:05:31,648 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\include\z3_ast_containers.h | |
| 2023-12-05 20:05:31,648 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\include\z3_fixedpoint.h | |
| 2023-12-05 20:05:31,663 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\include\z3_fpa.h | |
| 2023-12-05 20:05:31,681 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\include\z3_macros.h | |
| 2023-12-05 20:05:31,695 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\include\z3_optimization.h | |
| 2023-12-05 20:05:31,695 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\include\z3_polynomial.h | |
| 2023-12-05 20:05:31,726 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\include\z3_rcf.h | |
| 2023-12-05 20:05:31,726 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\include\z3_spacer.h | |
| 2023-12-05 20:05:31,742 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\include\z3_v1.h | |
| 2023-12-05 20:05:31,757 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\include\z3_version.h | |
| 2023-12-05 20:05:31,774 5708 [INFO ] - VERBOSE: - z3-4.12.3-x64-win\LICENSE.txt | |
| 2023-12-05 20:05:31,789 5708 [INFO ] - VERBOSE: Everything is Ok | |
| 2023-12-05 20:05:31,809 5708 [INFO ] - VERBOSE: | |
| 2023-12-05 20:05:31,821 5708 [INFO ] - VERBOSE: Folders: 6 | |
| 2023-12-05 20:05:31,836 5708 [INFO ] - VERBOSE: Files: 56 | |
| 2023-12-05 20:05:31,852 5708 [INFO ] - VERBOSE: Size: 167552572 | |
| 2023-12-05 20:05:31,868 5708 [INFO ] - VERBOSE: Compressed: 57482725 | |
| 2023-12-05 20:05:32,054 5708 [DEBUG] - $exitCode was passed null | |
| 2023-12-05 20:05:32,102 5708 [DEBUG] - Command ['C:\ProgramData\chocolatey\tools\7z.exe' x -aoa -bd -bb1 -o"C:\ProgramData\chocolatey\lib\z3\tools" -y "C:\ProgramData\chocolatey\lib\z3\tools\z3-4.12.3-x64-win.zip"] exited with '0'. | |
| 2023-12-05 20:05:32,194 5708 [DEBUG] - 7z exit code: 0 | |
| 2023-12-05 20:05:32,293 5708 [INFO ] - C:\ProgramData\chocolatey\lib\z3\tools | |
| 2023-12-05 20:05:32,651 5708 [DEBUG] - ---------------------------------------------------------------------- | |
| 2023-12-05 20:05:32,697 5708 [DEBUG] - Built-in PowerShell host called with ['[System.Threading.Thread]::CurrentThread.CurrentCulture = '';[System.Threading.Thread]::CurrentThread.CurrentUICulture = '';[System.Net.ServicePointManager]::SecurityProtocol = [System.Net.SecurityProtocolType]::SystemDefault; & import-module -name 'C:\ProgramData\chocolatey\helpers\chocolateyInstaller.psm1'; & 'C:\ProgramData\chocolatey\helpers\chocolateyScriptRunner.ps1' -packageScript 'C:\ProgramData\chocolatey\lib\z3\tools\chocolateyinstall.ps1' -installArguments '' -packageParameters '' -preRunHookScripts $null -postRunHookScripts $null'] exited with '0'. | |
| 2023-12-05 20:05:32,726 5708 [DEBUG] - Calling command ['"C:\Windows\System32\shutdown.exe" /a'] | |
| 2023-12-05 20:05:32,992 5708 [DEBUG] - Command ['"C:\Windows\System32\shutdown.exe" /a'] exited with '1116' | |
| 2023-12-05 20:05:33,259 5708 [DEBUG] - Capturing package files in 'C:\ProgramData\chocolatey\lib\z3' | |
| 2023-12-05 20:05:33,274 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\z3-4.12.3-x64-win.zip.txt' | |
| with checksum '25329D80B1A7EB2B7308621439FCC6D2' | |
| 2023-12-05 20:05:33,696 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\z3.nupkg' | |
| with checksum '523D97794AB0675610179198F7F1D422' | |
| 2023-12-05 20:05:33,710 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\z3.nuspec' | |
| with checksum 'C01204ED4B9196B50F2314CE1CE7EC9B' | |
| 2023-12-05 20:05:33,727 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\legal\LICENSE.txt' | |
| with checksum '5F03AD1486A2E4CE71200CE0F9721557' | |
| 2023-12-05 20:05:33,743 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\legal\VERIFICATION.txt' | |
| with checksum '557E44260D2311185DDDF5337679413D' | |
| 2023-12-05 20:05:33,760 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\chocolateyinstall.ps1' | |
| with checksum 'BE8C0D509ED6DDAC657A03FE2F9BC32F' | |
| 2023-12-05 20:05:33,773 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\LICENSE.txt' | |
| with checksum 'C4C1DA8ADA62596848A6E38B6BAA8CD4' | |
| 2023-12-05 20:05:33,900 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\com.microsoft.z3.jar' | |
| with checksum 'DFE7952CA0C5876762BC4B8AEAFFFEF0' | |
| 2023-12-05 20:05:33,991 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.dll' | |
| with checksum '7EE06C4B30D65165A43F48868E0A41CC' | |
| 2023-12-05 20:05:34,023 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.lib' | |
| with checksum '25AF078BC41BD71C8B31474614CADAA9' | |
| 2023-12-05 20:05:34,617 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.pdb' | |
| with checksum 'E691A4727DFF1FB735E51AB0F8A72DBA' | |
| 2023-12-05 20:05:34,633 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3java.dll' | |
| with checksum '28BB3B484CCE168CE956F70C87FF1391' | |
| 2023-12-05 20:05:34,633 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3java.lib' | |
| with checksum '985360706ACC13BBB0A30D7E94CDDE20' | |
| 2023-12-05 20:05:34,649 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.deps.json' | |
| with checksum '59B5F6239215A645C09E522EBF17E69C' | |
| 2023-12-05 20:05:34,666 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.dll' | |
| with checksum '0225698244FCA72638A6B74932CA119C' | |
| 2023-12-05 20:05:34,681 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.pdb' | |
| with checksum 'F8E1196A2D5D07BC297FD98E5EB80152' | |
| 2023-12-05 20:05:34,698 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.xml' | |
| with checksum 'FFAB4950985F7AF81661F150BA6FBB00' | |
| 2023-12-05 20:05:34,712 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140.dll' | |
| with checksum 'EBF8072A3C5C586979313F76E503AABF' | |
| 2023-12-05 20:05:34,727 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_1.dll' | |
| with checksum '11D5D26552C1730CCC440F13A1FCE188' | |
| 2023-12-05 20:05:34,742 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_2.dll' | |
| with checksum '718E5C4A63D2F941EEB1B4E9D6D85A8C' | |
| 2023-12-05 20:05:34,759 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_atomic_wait.dll' | |
| with checksum 'F9C7A19DFC5FA60B1405C81208BD959B' | |
| 2023-12-05 20:05:34,774 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_codecvt_ids.dll' | |
| with checksum '0F4E5F6C68C514E63C4CDAE9EB9E40F5' | |
| 2023-12-05 20:05:34,820 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcomp140.dll' | |
| with checksum 'C25E40C224F37FCB17C3ACDF320FF258' | |
| 2023-12-05 20:05:34,836 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140.dll' | |
| with checksum '699DD61122D91E80ABDFCC396CE0EC10' | |
| 2023-12-05 20:05:34,852 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140_1.dll' | |
| with checksum '9410EE0771FF1C2007D9087A8C316A4B' | |
| 2023-12-05 20:05:34,867 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140_threads.dll' | |
| with checksum '268036DFA28320D2186B9B21631D443D' | |
| 2023-12-05 20:05:34,978 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\z3.exe' | |
| with checksum '9024BD4A4B14CCA8410B6172E757EDDD' | |
| 2023-12-05 20:05:34,991 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\example.py' | |
| with checksum '29885F72DC972005BEB062CA03EA370D' | |
| 2023-12-05 20:05:35,009 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3.py' | |
| with checksum 'DECA604BC520620BE2F795CAEC125572' | |
| 2023-12-05 20:05:35,023 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3consts.py' | |
| with checksum '2AB8C818DAC49723A65A1C44F4554679' | |
| 2023-12-05 20:05:35,023 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3core.py' | |
| with checksum 'FE792204ADEDEBEE8B0385F92114B679' | |
| 2023-12-05 20:05:35,039 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3num.py' | |
| with checksum '22C0A73170BDD0F91B76E6A160B9C937' | |
| 2023-12-05 20:05:35,055 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3poly.py' | |
| with checksum '871B33516926538E32564673DBED0ECE' | |
| 2023-12-05 20:05:35,069 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3printer.py' | |
| with checksum '0859A674AD84FE8DF698E46FA55FAB43' | |
| 2023-12-05 20:05:35,069 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3rcf.py' | |
| with checksum 'D1BCA6D5D266F3A117D4C27034899B46' | |
| 2023-12-05 20:05:35,102 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3types.py' | |
| with checksum '5E7C688F0E667142D184D4217B5CFD6D' | |
| 2023-12-05 20:05:35,134 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3util.py' | |
| with checksum '4A505E5FA3A95A76D24629BD0B7CE94D' | |
| 2023-12-05 20:05:35,148 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__init__.py' | |
| with checksum '6BB9C83973ECA222DE80539171BE2476' | |
| 2023-12-05 20:05:35,164 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3.cpython-39.pyc' | |
| with checksum '5FBA9398BE3713B662A963EB3A36B5D1' | |
| 2023-12-05 20:05:35,179 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3consts.cpython-39.pyc' | |
| with checksum 'E2E3817974B1856DE92F5ACC881C80F4' | |
| 2023-12-05 20:05:35,212 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3core.cpython-39.pyc' | |
| with checksum '3BCAB5171A36B664A9FC78B049CA54CE' | |
| 2023-12-05 20:05:35,212 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3num.cpython-39.pyc' | |
| with checksum '55AB88AADCB465DE6E798D914461A5FB' | |
| 2023-12-05 20:05:35,243 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3poly.cpython-39.pyc' | |
| with checksum 'BDB9768711B467F6A57823336C787A68' | |
| 2023-12-05 20:05:35,291 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3printer.cpython-39.pyc' | |
| with checksum '99A396C15A9220A1AE20FF46BC7B75D5' | |
| 2023-12-05 20:05:35,307 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3rcf.cpython-39.pyc' | |
| with checksum '0BF1259F0B9029C730D013DD4130860E' | |
| 2023-12-05 20:05:35,321 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3types.cpython-39.pyc' | |
| with checksum '8F79C9CCFCC3AE1BFEB0C357C3789790' | |
| 2023-12-05 20:05:35,336 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3util.cpython-39.pyc' | |
| with checksum '775C8BB08AD7ACF02F25454D9A2530C7' | |
| 2023-12-05 20:05:35,352 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\__init__.cpython-39.pyc' | |
| with checksum '3AE06C0771BF6647827C05ABB855FFE2' | |
| 2023-12-05 20:05:35,370 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3++.h' | |
| with checksum 'D1F95277FD6EF959256E0D748556A10D' | |
| 2023-12-05 20:05:35,384 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3.h' | |
| with checksum '0602E2A11D0409DF0C3DF0D74DF9E9BB' | |
| 2023-12-05 20:05:35,399 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_algebraic.h' | |
| with checksum 'C8936A5692C777B83E3A7A8F14A3954B' | |
| 2023-12-05 20:05:35,414 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_api.h' | |
| with checksum '7B1A301660AD78D7211330924D27C64B' | |
| 2023-12-05 20:05:35,430 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_ast_containers.h' | |
| with checksum '7BD14C7167A2B963CC8F816A465C129D' | |
| 2023-12-05 20:05:35,446 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_fixedpoint.h' | |
| with checksum '541CD560A009030C0CA714F29D8F4F78' | |
| 2023-12-05 20:05:35,446 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_fpa.h' | |
| with checksum 'B45F64AAFB4C930A00A04E110893198A' | |
| 2023-12-05 20:05:35,461 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_macros.h' | |
| with checksum 'FC52E663352B3480C330E33251668F3E' | |
| 2023-12-05 20:05:35,477 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_optimization.h' | |
| with checksum '17AA872A47E02AB6814F98754B97748A' | |
| 2023-12-05 20:05:35,494 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_polynomial.h' | |
| with checksum '0FEB0C1B89A1CF44C8FFBF198D4E4326' | |
| 2023-12-05 20:05:35,509 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_rcf.h' | |
| with checksum 'F60A9E5C257089988260C6BDF0F5A0A3' | |
| 2023-12-05 20:05:35,524 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_spacer.h' | |
| with checksum 'B8125A332163A59D09751DECDE319F03' | |
| 2023-12-05 20:05:35,524 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_v1.h' | |
| with checksum '4E173E65B2EE8814EFD03B704B3628F7' | |
| 2023-12-05 20:05:35,539 5708 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_version.h' | |
| with checksum '91F80D77863401B605C013083F9378B2' | |
| 2023-12-05 20:05:35,601 5708 [DEBUG] - Calling command ['"C:\ProgramData\chocolatey\tools\shimgen.exe" --path="..\\lib\z3\tools\bin\bin\z3.exe" --output="C:\ProgramData\chocolatey\bin\z3.exe" --iconpath="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\z3.exe"'] | |
| 2023-12-05 20:05:36,555 5708 [DEBUG] - [ShimGen] [WARN ] Could not extract icon from associated program. Using default. Error: | |
| 2023-12-05 20:05:36,570 5708 [DEBUG] - [ShimGen] Selected Icon is invalid | |
| 2023-12-05 20:05:37,305 5708 [DEBUG] - [ShimGen] Microsoft (R) Visual C# Compiler version 4.8.3761.0 | |
| 2023-12-05 20:05:37,320 5708 [DEBUG] - [ShimGen] for C# 5 | |
| 2023-12-05 20:05:37,336 5708 [DEBUG] - [ShimGen] Copyright (C) Microsoft Corporation. All rights reserved. | |
| 2023-12-05 20:05:37,352 5708 [DEBUG] - [ShimGen] This compiler is provided as part of the Microsoft (R) .NET Framework, but only supports language versions up to C# 5, which is no longer the latest version. For compilers that support newer versions of the C# programming language, see http://go.microsoft.com/fwlink/?LinkID=533240 | |
| 2023-12-05 20:05:37,383 5708 [DEBUG] - [ShimGen] ShimGen has successfully created 'C:\ProgramData\chocolatey\bin\z3.exe' | |
| 2023-12-05 20:05:37,415 5708 [DEBUG] - Command ['"C:\ProgramData\chocolatey\tools\shimgen.exe" --path="..\\lib\z3\tools\bin\bin\z3.exe" --output="C:\ProgramData\chocolatey\bin\z3.exe" --iconpath="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\z3.exe"'] exited with '0' | |
| 2023-12-05 20:05:37,415 5708 [INFO ] - ShimGen has successfully created a shim for z3.exe | |
| 2023-12-05 20:05:37,431 5708 [DEBUG] - Created: C:\ProgramData\chocolatey\bin\z3.exe | |
| Targeting: C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\z3.exe | |
| IsGui:False | |
| 2023-12-05 20:05:37,522 5708 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\.chocolatey\z3.4.12.3". | |
| 2023-12-05 20:05:37,618 5708 [DEBUG] - There was no original file at 'C:\ProgramData\chocolatey\.chocolatey\z3.4.12.3\.files' | |
| 2023-12-05 20:05:37,649 5708 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\z3.4.12.3\.extra". | |
| 2023-12-05 20:05:37,664 5708 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\z3.4.12.3\.version". | |
| 2023-12-05 20:05:37,664 5708 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\z3.4.12.3\.sxs". | |
| 2023-12-05 20:05:37,680 5708 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\z3.4.12.3\.pin". | |
| 2023-12-05 20:05:37,716 5708 [DEBUG] - Sending message 'HandlePackageResultCompletedMessage' out if there are subscribers... | |
| 2023-12-05 20:05:37,727 5708 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\.chocolateyPending". | |
| 2023-12-05 20:05:37,742 5708 [INFO ] - The install of z3 was successful. | |
| 2023-12-05 20:05:37,759 5708 [INFO ] - Software installed to 'C:\ProgramData\chocolatey\lib\z3\tools' | |
| 2023-12-05 20:05:37,835 5708 [WARN ] - | |
| Chocolatey installed 1/1 packages. | |
| See the log for details (C:\ProgramData\chocolatey\logs\chocolatey.log). | |
| 2023-12-05 20:05:37,869 5708 [DEBUG] - Sending message 'PostRunMessage' out if there are subscribers... | |
| 2023-12-05 20:05:37,883 5708 [DEBUG] - Exiting with 0 |
| 2023-12-05 20:06:02,541 976 [DEBUG] - XmlConfiguration is now operational | |
| 2023-12-05 20:06:02,914 976 [DEBUG] - Adding new type 'CygwinService' for type 'IAlternativeSourceRunner' from assembly 'choco' | |
| 2023-12-05 20:06:02,930 976 [DEBUG] - Adding new type 'CygwinService' for type 'IInstallSourceRunner' from assembly 'choco' | |
| 2023-12-05 20:06:02,930 976 [DEBUG] - Adding new type 'PythonService' for type 'IAlternativeSourceRunner' from assembly 'choco' | |
| 2023-12-05 20:06:02,945 976 [DEBUG] - Adding new type 'PythonService' for type 'IListSourceRunner' from assembly 'choco' | |
| 2023-12-05 20:06:02,961 976 [DEBUG] - Adding new type 'PythonService' for type 'IInstallSourceRunner' from assembly 'choco' | |
| 2023-12-05 20:06:02,961 976 [DEBUG] - Adding new type 'PythonService' for type 'IUninstallSourceRunner' from assembly 'choco' | |
| 2023-12-05 20:06:02,976 976 [DEBUG] - Adding new type 'RubyGemsService' for type 'IAlternativeSourceRunner' from assembly 'choco' | |
| 2023-12-05 20:06:02,976 976 [DEBUG] - Adding new type 'RubyGemsService' for type 'IListSourceRunner' from assembly 'choco' | |
| 2023-12-05 20:06:02,992 976 [DEBUG] - Adding new type 'RubyGemsService' for type 'IInstallSourceRunner' from assembly 'choco' | |
| 2023-12-05 20:06:03,008 976 [DEBUG] - Adding new type 'SystemStateValidation' for type 'IValidation' from assembly 'choco' | |
| 2023-12-05 20:06:03,025 976 [DEBUG] - Adding new type 'CacheFolderLockdownValidation' for type 'IValidation' from assembly 'choco' | |
| 2023-12-05 20:06:04,431 976 [DEBUG] - Adding new type 'EmptyOrInvalidUrlMetadataRule' for type 'IMetadataRule' from assembly 'choco' | |
| 2023-12-05 20:06:04,445 976 [DEBUG] - Adding new type 'FrameWorkReferencesMetadataRule' for type 'IMetadataRule' from assembly 'choco' | |
| 2023-12-05 20:06:04,445 976 [DEBUG] - Adding new type 'IconMetadataRule' for type 'IMetadataRule' from assembly 'choco' | |
| 2023-12-05 20:06:04,445 976 [DEBUG] - Adding new type 'LicenseMetadataRule' for type 'IMetadataRule' from assembly 'choco' | |
| 2023-12-05 20:06:04,468 976 [DEBUG] - Adding new type 'PackageTypesMetadataRule' for type 'IMetadataRule' from assembly 'choco' | |
| 2023-12-05 20:06:04,480 976 [DEBUG] - Adding new type 'ReadmeMetadataRule' for type 'IMetadataRule' from assembly 'choco' | |
| 2023-12-05 20:06:04,480 976 [DEBUG] - Adding new type 'RepositoryMetadataRule' for type 'IMetadataRule' from assembly 'choco' | |
| 2023-12-05 20:06:04,493 976 [DEBUG] - Adding new type 'RequireLicenseAcceptanceMetadataRule' for type 'IMetadataRule' from assembly 'choco' | |
| 2023-12-05 20:06:04,493 976 [DEBUG] - Adding new type 'ServicableMetadataRule' for type 'IMetadataRule' from assembly 'choco' | |
| 2023-12-05 20:06:04,511 976 [DEBUG] - Adding new type 'VersionMetadataRule' for type 'IMetadataRule' from assembly 'choco' | |
| 2023-12-05 20:06:04,554 976 [DEBUG] - Registering new command 'cache' in assembly 'choco' | |
| 2023-12-05 20:06:04,554 976 [DEBUG] - Registering new command 'list' in assembly 'choco' | |
| 2023-12-05 20:06:04,586 976 [DEBUG] - Registering new command 'template' in assembly 'choco' | |
| 2023-12-05 20:06:04,586 976 [DEBUG] - Registering new command 'export' in assembly 'choco' | |
| 2023-12-05 20:06:04,603 976 [DEBUG] - Registering new command 'info' in assembly 'choco' | |
| 2023-12-05 20:06:04,618 976 [DEBUG] - Registering new command 'help' in assembly 'choco' | |
| 2023-12-05 20:06:04,634 976 [DEBUG] - Registering new command 'config' in assembly 'choco' | |
| 2023-12-05 20:06:04,649 976 [DEBUG] - Registering new command 'feature' in assembly 'choco' | |
| 2023-12-05 20:06:04,663 976 [DEBUG] - Registering new command 'new' in assembly 'choco' | |
| 2023-12-05 20:06:04,663 976 [DEBUG] - Registering new command 'outdated' in assembly 'choco' | |
| 2023-12-05 20:06:04,681 976 [DEBUG] - Registering new command 'pack' in assembly 'choco' | |
| 2023-12-05 20:06:04,696 976 [DEBUG] - Registering new command 'pin' in assembly 'choco' | |
| 2023-12-05 20:06:04,715 976 [DEBUG] - Registering new command 'push' in assembly 'choco' | |
| 2023-12-05 20:06:04,731 976 [DEBUG] - Registering new command 'apikey' in assembly 'choco' | |
| 2023-12-05 20:06:04,742 976 [DEBUG] - Registering new command 'source' in assembly 'choco' | |
| 2023-12-05 20:06:04,759 976 [DEBUG] - Registering new command 'uninstall' in assembly 'choco' | |
| 2023-12-05 20:06:04,759 976 [DEBUG] - Registering new command 'upgrade' in assembly 'choco' | |
| 2023-12-05 20:06:04,774 976 [DEBUG] - Registering new command 'search' in assembly 'choco' | |
| 2023-12-05 20:06:04,789 976 [DEBUG] - Registering new command 'unpackself' in assembly 'choco' | |
| 2023-12-05 20:06:04,789 976 [DEBUG] - Registering new command 'install' in assembly 'choco' | |
| 2023-12-05 20:06:05,242 976 [INFO ] - ============================================================ | |
| 2023-12-05 20:06:05,899 976 [INFO ] - Chocolatey v2.2.2 | |
| 2023-12-05 20:06:05,944 976 [DEBUG] - Chocolatey is running on Windows v 10.0.17763.0 | |
| 2023-12-05 20:06:05,976 976 [DEBUG] - Attempting to delete file "C:/ProgramData/chocolatey/choco.exe.old". | |
| 2023-12-05 20:06:05,992 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\choco.exe.old". | |
| 2023-12-05 20:06:06,039 976 [DEBUG] - Command line: "C:\ProgramData\chocolatey\choco.exe" uninstall z3 --version 4.12.3 -dvy --execution-timeout=2700 | |
| 2023-12-05 20:06:06,039 976 [DEBUG] - Received arguments: uninstall z3 --version 4.12.3 -dvy --execution-timeout=2700 | |
| 2023-12-05 20:06:06,352 976 [DEBUG] - RemovePendingPackagesTask is now ready and waiting for PreRunMessage. | |
| 2023-12-05 20:06:06,432 976 [DEBUG] - Sending message 'PreRunMessage' out if there are subscribers... | |
| 2023-12-05 20:06:06,476 976 [DEBUG] - [Pending] Removing all pending packages that should not be considered installed... | |
| 2023-12-05 20:06:06,788 976 [DEBUG] - Performing validation checks. | |
| 2023-12-05 20:06:06,821 976 [DEBUG] - Global Configuration Validation Checks: | |
| 2023-12-05 20:06:06,929 976 [DEBUG] - - Package Exit Code / Exit On Reboot = Checked | |
| 2023-12-05 20:06:06,977 976 [DEBUG] - System State Validation Checks: | |
| 2023-12-05 20:06:06,995 976 [DEBUG] - Reboot Requirement Checks: | |
| 2023-12-05 20:06:07,023 976 [DEBUG] - - Pending Computer Rename = Checked | |
| 2023-12-05 20:06:07,039 976 [DEBUG] - - Pending Component Based Servicing = Checked | |
| 2023-12-05 20:06:07,055 976 [DEBUG] - - Pending Windows Auto Update = Checked | |
| 2023-12-05 20:06:07,070 976 [DEBUG] - - Pending File Rename Operations = Ignored | |
| 2023-12-05 20:06:07,121 976 [DEBUG] - - Pending Windows Package Installer = Checked | |
| 2023-12-05 20:06:07,135 976 [DEBUG] - - Pending Windows Package Installer SysWow64 = Checked | |
| 2023-12-05 20:06:07,163 976 [DEBUG] - Cache Folder Lockdown Checks: | |
| 2023-12-05 20:06:07,163 976 [DEBUG] - - Elevated State = Checked | |
| 2023-12-05 20:06:07,195 976 [DEBUG] - - Folder Exists = Checked | |
| 2023-12-05 20:06:07,226 976 [DEBUG] - - Folder lockdown = Checked | |
| 2023-12-05 20:06:07,256 976 [INFO ] - 3 validations performed. 3 success(es), 0 warning(s), and 0 error(s). | |
| 2023-12-05 20:06:07,339 976 [DEBUG] - The source 'c:\cached-packages;https://community.chocolatey.org/api/v2/' evaluated to a 'normal' source type | |
| 2023-12-05 20:06:07,366 976 [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. | |
| 2023-12-05 20:06:07,539 976 [DEBUG] - Configuration: CommandName='uninstall'| | |
| CacheLocation='C:\Users\vagrant\AppData\Local\Temp\chocolatey'| | |
| CommandExecutionTimeoutSeconds='2700'|WebRequestTimeoutSeconds='30'| | |
| Sources='c:\cached-packages;https://community.chocolatey.org/api/v2/'| | |
| SourceType='normal'|ShowOnlineHelp='False'|Debug='True'|Verbose='True'| | |
| Trace='False'|Force='False'|Noop='False'|HelpRequested='False'| | |
| UnsuccessfulParsing='False'|RegularOutput='True'|QuietOutput='False'| | |
| PromptForConfirmation='False'|DisableCompatibilityChecks='False'| | |
| AcceptLicense='True'|AllowUnofficialBuild='False'|Input='z3'| | |
| Version='4.12.3'|AllVersions='False'| | |
| SkipPackageInstallProvider='False'| | |
| SkipHookScripts='False'|PackageNames='z3'|Prerelease='False'| | |
| ForceX86='False'|OverrideArguments='False'|NotSilent='False'| | |
| ApplyPackageParametersToDependencies='False'| | |
| ApplyInstallArgumentsToDependencies='False'|IgnoreDependencies='False'| | |
| CacheExpirationInMinutes='30'|AllowDowngrade='False'| | |
| ForceDependencies='False'|PinPackage='False'| | |
| Information.PlatformType='Windows'| | |
| Information.PlatformVersion='10.0.17763.0'| | |
| Information.PlatformName='Windows Server 2016'| | |
| Information.ChocolateyVersion='2.2.2.0'| | |
| Information.ChocolateyProductVersion='2.2.2'| | |
| Information.FullName='choco, Version=2.2.2.0, Culture=neutral, PublicKeyToken=79d02ea9cad655eb'| | |
| Information.Is64BitOperatingSystem='True'| | |
| Information.Is64BitProcess='True'|Information.IsInteractive='False'| | |
| Information.UserName='vagrant'| | |
| Information.UserDomainName='WIN-ISCBH25A8DT'| | |
| Information.IsUserAdministrator='True'| | |
| Information.IsUserSystemAccount='False'| | |
| Information.IsUserRemoteDesktop='False'| | |
| Information.IsUserRemote='True'| | |
| Information.IsProcessElevated='True'| | |
| Information.IsLicensedVersion='False'| | |
| Information.IsLicensedAssemblyLoaded='False'| | |
| Information.LicenseType='Foss'| | |
| Information.CurrentDirectory='C:\Users\vagrant'| | |
| 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'| | |
| 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'| | |
| ListCommand.ExplicitPageSize='False'| | |
| ListCommand.ExplicitSource='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.Command='Unknown'|PinCommand.Command='Unknown'| | |
| OutdatedCommand.IgnorePinned='False'| | |
| ExportCommand.IncludeVersionNumbers='False'|Proxy.BypassOnLocal='True'| | |
| TemplateCommand.Command='unknown'|CacheCommand.Command='Unknown'| | |
| CacheCommand.RemoveExpiredItemsOnly='False'| | |
| 2023-12-05 20:06:07,539 976 [DEBUG] - _ Chocolatey:ChocolateyUninstallCommand - Normal Run Mode _ | |
| 2023-12-05 20:06:07,617 976 [INFO ] - Uninstalling the following packages: | |
| 2023-12-05 20:06:07,649 976 [INFO ] - z3 | |
| 2023-12-05 20:06:07,695 976 [DEBUG] - Current environment values (may contain sensitive data): | |
| 2023-12-05 20:06:07,711 976 [DEBUG] - * 'Path'='C:\Users\vagrant\AppData\Local\Microsoft\WindowsApps;' ('User') | |
| 2023-12-05 20:06:07,711 976 [DEBUG] - * 'TEMP'='C:\Users\vagrant\AppData\Local\Temp' ('User') | |
| 2023-12-05 20:06:07,726 976 [DEBUG] - * 'TMP'='C:\Users\vagrant\AppData\Local\Temp' ('User') | |
| 2023-12-05 20:06:07,741 976 [DEBUG] - * 'ChocolateyLastPathUpdate'='133462519623523069' ('User') | |
| 2023-12-05 20:06:07,759 976 [DEBUG] - * 'ComSpec'='C:\Windows\system32\cmd.exe' ('Machine') | |
| 2023-12-05 20:06:07,772 976 [DEBUG] - * 'DriverData'='C:\Windows\System32\Drivers\DriverData' ('Machine') | |
| 2023-12-05 20:06:07,789 976 [DEBUG] - * 'OS'='Windows_NT' ('Machine') | |
| 2023-12-05 20:06:07,789 976 [DEBUG] - * 'Path'='C:\Windows\system32;C:\Windows;C:\Windows\System32\Wbem;C:\Windows\System32\WindowsPowerShell\v1.0\;C:\Windows\System32\OpenSSH\;C:\ProgramData\chocolatey\bin;' ('Machine') | |
| 2023-12-05 20:06:07,837 976 [DEBUG] - * 'PATHEXT'='.COM;.EXE;.BAT;.CMD;.VBS;.VBE;.JS;.JSE;.WSF;.WSH;.MSC' ('Machine') | |
| 2023-12-05 20:06:07,854 976 [DEBUG] - * 'PROCESSOR_ARCHITECTURE'='AMD64' ('Machine') | |
| 2023-12-05 20:06:07,870 976 [DEBUG] - * 'PSModulePath'='C:\Program Files\WindowsPowerShell\Modules;C:\Windows\system32\WindowsPowerShell\v1.0\Modules' ('Machine') | |
| 2023-12-05 20:06:07,884 976 [DEBUG] - * 'TEMP'='C:\Windows\TEMP' ('Machine') | |
| 2023-12-05 20:06:07,884 976 [DEBUG] - * 'TMP'='C:\Windows\TEMP' ('Machine') | |
| 2023-12-05 20:06:07,900 976 [DEBUG] - * 'USERNAME'='SYSTEM' ('Machine') | |
| 2023-12-05 20:06:07,916 976 [DEBUG] - * 'windir'='C:\Windows' ('Machine') | |
| 2023-12-05 20:06:07,930 976 [DEBUG] - * 'NUMBER_OF_PROCESSORS'='4' ('Machine') | |
| 2023-12-05 20:06:07,945 976 [DEBUG] - * 'PROCESSOR_LEVEL'='6' ('Machine') | |
| 2023-12-05 20:06:07,945 976 [DEBUG] - * 'PROCESSOR_IDENTIFIER'='Intel64 Family 6 Model 85 Stepping 7, GenuineIntel' ('Machine') | |
| 2023-12-05 20:06:07,960 976 [DEBUG] - * 'PROCESSOR_REVISION'='5507' ('Machine') | |
| 2023-12-05 20:06:07,976 976 [DEBUG] - * 'ChocolateyInstall'='C:\ProgramData\chocolatey' ('Machine') | |
| 2023-12-05 20:06:08,415 976 [DEBUG] - Running list with the following filter = '' | |
| 2023-12-05 20:06:08,429 976 [DEBUG] - --- Start of List --- | |
| 2023-12-05 20:06:09,039 976 [DEBUG] - Resolving resource PackageSearchResource for source C:\ProgramData\chocolatey\lib | |
| 2023-12-05 20:06:09,852 976 [DEBUG] - chocolatey 2.2.2 | |
| 2023-12-05 20:06:09,900 976 [DEBUG] - chocolatey-windowsupdate.extension 1.0.5 | |
| 2023-12-05 20:06:09,929 976 [DEBUG] - KB2919355 1.0.20160915 | |
| 2023-12-05 20:06:09,946 976 [DEBUG] - KB2919442 1.0.20160915 | |
| 2023-12-05 20:06:09,961 976 [DEBUG] - KB2999226 1.0.20181019 | |
| 2023-12-05 20:06:09,976 976 [DEBUG] - KB3035131 1.0.3 | |
| 2023-12-05 20:06:10,023 976 [DEBUG] - KB3118401 1.0.5 | |
| 2023-12-05 20:06:10,055 976 [DEBUG] - virtualbox-guest-additions-guest.install 7.0.12 | |
| 2023-12-05 20:06:10,164 976 [DEBUG] - z3 4.12.3 | |
| 2023-12-05 20:06:10,166 976 [DEBUG] - --- End of List --- | |
| 2023-12-05 20:06:10,215 976 [DEBUG] - Running list with the following filter = '' | |
| 2023-12-05 20:06:10,225 976 [DEBUG] - --- Start of List --- | |
| 2023-12-05 20:06:10,289 976 [DEBUG] - chocolatey 2.2.2 | |
| 2023-12-05 20:06:10,306 976 [DEBUG] - chocolatey-windowsupdate.extension 1.0.5 | |
| 2023-12-05 20:06:10,336 976 [DEBUG] - KB2919355 1.0.20160915 | |
| 2023-12-05 20:06:10,336 976 [DEBUG] - KB2919442 1.0.20160915 | |
| 2023-12-05 20:06:10,367 976 [DEBUG] - KB2999226 1.0.20181019 | |
| 2023-12-05 20:06:10,383 976 [DEBUG] - KB3035131 1.0.3 | |
| 2023-12-05 20:06:10,399 976 [DEBUG] - KB3118401 1.0.5 | |
| 2023-12-05 20:06:10,399 976 [DEBUG] - virtualbox-guest-additions-guest.install 7.0.12 | |
| 2023-12-05 20:06:10,445 976 [DEBUG] - z3 4.12.3 | |
| 2023-12-05 20:06:10,460 976 [DEBUG] - --- End of List --- | |
| 2023-12-05 20:06:10,648 976 [DEBUG] - Running list with the following filter = '' | |
| 2023-12-05 20:06:10,648 976 [DEBUG] - --- Start of List --- | |
| 2023-12-05 20:06:10,696 976 [DEBUG] - chocolatey 2.2.2 | |
| 2023-12-05 20:06:10,710 976 [DEBUG] - chocolatey-windowsupdate.extension 1.0.5 | |
| 2023-12-05 20:06:10,728 976 [DEBUG] - KB2919355 1.0.20160915 | |
| 2023-12-05 20:06:10,742 976 [DEBUG] - KB2919442 1.0.20160915 | |
| 2023-12-05 20:06:10,757 976 [DEBUG] - KB2999226 1.0.20181019 | |
| 2023-12-05 20:06:10,773 976 [DEBUG] - KB3035131 1.0.3 | |
| 2023-12-05 20:06:10,804 976 [DEBUG] - KB3118401 1.0.5 | |
| 2023-12-05 20:06:10,822 976 [DEBUG] - virtualbox-guest-additions-guest.install 7.0.12 | |
| 2023-12-05 20:06:10,869 976 [DEBUG] - z3 4.12.3 | |
| 2023-12-05 20:06:10,869 976 [DEBUG] - --- End of List --- | |
| 2023-12-05 20:06:10,960 976 [INFO ] - | |
| z3 v4.12.3 | |
| 2023-12-05 20:06:10,993 976 [DEBUG] - Running beforeModify step for 'z3' | |
| 2023-12-05 20:06:11,038 976 [DEBUG] - Backing up package files for 'z3' | |
| 2023-12-05 20:06:11,320 976 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\lib-bkp\z3". | |
| 2023-12-05 20:06:11,336 976 [DEBUG] - Moving C:\ProgramData\chocolatey\lib\z3 to C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3 | |
| 2023-12-05 20:06:11,366 976 [DEBUG] - Moving 'C:\ProgramData\chocolatey\lib\z3' | |
| to 'C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3' | |
| 2023-12-05 20:06:13,383 976 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\lib\z3". | |
| 2023-12-05 20:06:13,399 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\z3-4.12.3-x64-win.zip.txt" | |
| to "C:\ProgramData\chocolatey\lib\z3\z3-4.12.3-x64-win.zip.txt". | |
| 2023-12-05 20:06:13,430 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\z3.nupkg" | |
| to "C:\ProgramData\chocolatey\lib\z3\z3.nupkg". | |
| 2023-12-05 20:06:13,601 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\z3.nuspec" | |
| to "C:\ProgramData\chocolatey\lib\z3\z3.nuspec". | |
| 2023-12-05 20:06:13,635 976 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\lib\z3\legal". | |
| 2023-12-05 20:06:13,664 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\legal\LICENSE.txt" | |
| to "C:\ProgramData\chocolatey\lib\z3\legal\LICENSE.txt". | |
| 2023-12-05 20:06:13,664 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\legal\VERIFICATION.txt" | |
| to "C:\ProgramData\chocolatey\lib\z3\legal\VERIFICATION.txt". | |
| 2023-12-05 20:06:13,695 976 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\lib\z3\tools". | |
| 2023-12-05 20:06:13,710 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\chocolateyinstall.ps1" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\chocolateyinstall.ps1". | |
| 2023-12-05 20:06:13,710 976 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\lib\z3\tools\bin". | |
| 2023-12-05 20:06:13,727 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\LICENSE.txt" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\LICENSE.txt". | |
| 2023-12-05 20:06:13,742 976 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin". | |
| 2023-12-05 20:06:13,758 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\com.microsoft.z3.jar" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\com.microsoft.z3.jar". | |
| 2023-12-05 20:06:13,773 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\libz3.dll" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.dll". | |
| 2023-12-05 20:06:13,853 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\libz3.lib" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.lib". | |
| 2023-12-05 20:06:13,867 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\libz3.pdb" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.pdb". | |
| 2023-12-05 20:06:14,165 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\libz3java.dll" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3java.dll". | |
| 2023-12-05 20:06:14,195 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\libz3java.lib" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3java.lib". | |
| 2023-12-05 20:06:14,211 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\Microsoft.Z3.deps.json" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.deps.json". | |
| 2023-12-05 20:06:14,231 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\Microsoft.Z3.dll" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.dll". | |
| 2023-12-05 20:06:14,260 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\Microsoft.Z3.pdb" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.pdb". | |
| 2023-12-05 20:06:14,728 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\Microsoft.Z3.xml" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.xml". | |
| 2023-12-05 20:06:14,759 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\msvcp140.dll" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140.dll". | |
| 2023-12-05 20:06:14,789 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\msvcp140_1.dll" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_1.dll". | |
| 2023-12-05 20:06:14,806 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\msvcp140_2.dll" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_2.dll". | |
| 2023-12-05 20:06:14,847 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\msvcp140_atomic_wait.dll" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_atomic_wait.dll". | |
| 2023-12-05 20:06:14,868 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\msvcp140_codecvt_ids.dll" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_codecvt_ids.dll". | |
| 2023-12-05 20:06:14,898 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\vcomp140.dll" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcomp140.dll". | |
| 2023-12-05 20:06:14,930 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\vcruntime140.dll" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140.dll". | |
| 2023-12-05 20:06:14,930 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\vcruntime140_1.dll" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140_1.dll". | |
| 2023-12-05 20:06:14,976 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\vcruntime140_threads.dll" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140_threads.dll". | |
| 2023-12-05 20:06:15,011 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\z3.exe" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\z3.exe". | |
| 2023-12-05 20:06:15,090 976 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python". | |
| 2023-12-05 20:06:15,109 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\python\example.py" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\example.py". | |
| 2023-12-05 20:06:15,118 976 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3". | |
| 2023-12-05 20:06:15,133 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\python\z3\z3.py" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3.py". | |
| 2023-12-05 20:06:15,149 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\python\z3\z3consts.py" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3consts.py". | |
| 2023-12-05 20:06:15,164 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\python\z3\z3core.py" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3core.py". | |
| 2023-12-05 20:06:15,181 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\python\z3\z3num.py" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3num.py". | |
| 2023-12-05 20:06:15,196 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\python\z3\z3poly.py" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3poly.py". | |
| 2023-12-05 20:06:15,226 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\python\z3\z3printer.py" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3printer.py". | |
| 2023-12-05 20:06:15,243 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\python\z3\z3rcf.py" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3rcf.py". | |
| 2023-12-05 20:06:15,258 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\python\z3\z3types.py" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3types.py". | |
| 2023-12-05 20:06:15,274 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\python\z3\z3util.py" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3util.py". | |
| 2023-12-05 20:06:15,290 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\python\z3\__init__.py" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__init__.py". | |
| 2023-12-05 20:06:15,306 976 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__". | |
| 2023-12-05 20:06:15,306 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\python\z3\__pycache__\z3.cpython-39.pyc" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3.cpython-39.pyc". | |
| 2023-12-05 20:06:15,321 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\python\z3\__pycache__\z3consts.cpython-39.pyc" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3consts.cpython-39.pyc". | |
| 2023-12-05 20:06:15,337 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\python\z3\__pycache__\z3core.cpython-39.pyc" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3core.cpython-39.pyc". | |
| 2023-12-05 20:06:15,352 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\python\z3\__pycache__\z3num.cpython-39.pyc" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3num.cpython-39.pyc". | |
| 2023-12-05 20:06:15,367 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\python\z3\__pycache__\z3poly.cpython-39.pyc" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3poly.cpython-39.pyc". | |
| 2023-12-05 20:06:15,383 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\python\z3\__pycache__\z3printer.cpython-39.pyc" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3printer.cpython-39.pyc". | |
| 2023-12-05 20:06:15,397 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\python\z3\__pycache__\z3rcf.cpython-39.pyc" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3rcf.cpython-39.pyc". | |
| 2023-12-05 20:06:15,415 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\python\z3\__pycache__\z3types.cpython-39.pyc" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3types.cpython-39.pyc". | |
| 2023-12-05 20:06:15,430 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\python\z3\__pycache__\z3util.cpython-39.pyc" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3util.cpython-39.pyc". | |
| 2023-12-05 20:06:15,447 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\bin\python\z3\__pycache__\__init__.cpython-39.pyc" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\__init__.cpython-39.pyc". | |
| 2023-12-05 20:06:15,476 976 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\lib\z3\tools\bin\include". | |
| 2023-12-05 20:06:15,476 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\include\z3++.h" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3++.h". | |
| 2023-12-05 20:06:15,510 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\include\z3.h" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3.h". | |
| 2023-12-05 20:06:15,529 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\include\z3_algebraic.h" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_algebraic.h". | |
| 2023-12-05 20:06:15,539 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\include\z3_api.h" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_api.h". | |
| 2023-12-05 20:06:15,556 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\include\z3_ast_containers.h" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_ast_containers.h". | |
| 2023-12-05 20:06:15,570 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\include\z3_fixedpoint.h" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_fixedpoint.h". | |
| 2023-12-05 20:06:15,586 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\include\z3_fpa.h" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_fpa.h". | |
| 2023-12-05 20:06:15,601 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\include\z3_macros.h" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_macros.h". | |
| 2023-12-05 20:06:15,617 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\include\z3_optimization.h" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_optimization.h". | |
| 2023-12-05 20:06:15,947 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\include\z3_polynomial.h" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_polynomial.h". | |
| 2023-12-05 20:06:15,963 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\include\z3_rcf.h" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_rcf.h". | |
| 2023-12-05 20:06:15,977 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\include\z3_spacer.h" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_spacer.h". | |
| 2023-12-05 20:06:15,992 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\include\z3_v1.h" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_v1.h". | |
| 2023-12-05 20:06:16,010 976 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.12.3\tools\bin\include\z3_version.h" | |
| to "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_version.h". | |
| 2023-12-05 20:06:17,553 976 [DEBUG] - Capturing package files in 'C:\ProgramData\chocolatey\lib\z3' | |
| 2023-12-05 20:06:17,572 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\z3-4.12.3-x64-win.zip.txt' | |
| with checksum '25329D80B1A7EB2B7308621439FCC6D2' | |
| 2023-12-05 20:06:18,304 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\z3.nupkg' | |
| with checksum '523D97794AB0675610179198F7F1D422' | |
| 2023-12-05 20:06:18,320 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\z3.nuspec' | |
| with checksum 'C01204ED4B9196B50F2314CE1CE7EC9B' | |
| 2023-12-05 20:06:18,320 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\legal\LICENSE.txt' | |
| with checksum '5F03AD1486A2E4CE71200CE0F9721557' | |
| 2023-12-05 20:06:18,351 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\legal\VERIFICATION.txt' | |
| with checksum '557E44260D2311185DDDF5337679413D' | |
| 2023-12-05 20:06:18,383 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\chocolateyinstall.ps1' | |
| with checksum 'BE8C0D509ED6DDAC657A03FE2F9BC32F' | |
| 2023-12-05 20:06:18,414 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\LICENSE.txt' | |
| with checksum 'C4C1DA8ADA62596848A6E38B6BAA8CD4' | |
| 2023-12-05 20:06:18,493 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\com.microsoft.z3.jar' | |
| with checksum 'DFE7952CA0C5876762BC4B8AEAFFFEF0' | |
| 2023-12-05 20:06:19,039 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.dll' | |
| with checksum '7EE06C4B30D65165A43F48868E0A41CC' | |
| 2023-12-05 20:06:19,054 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.lib' | |
| with checksum '25AF078BC41BD71C8B31474614CADAA9' | |
| 2023-12-05 20:06:19,648 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.pdb' | |
| with checksum 'E691A4727DFF1FB735E51AB0F8A72DBA' | |
| 2023-12-05 20:06:19,695 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3java.dll' | |
| with checksum '28BB3B484CCE168CE956F70C87FF1391' | |
| 2023-12-05 20:06:19,727 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3java.lib' | |
| with checksum '985360706ACC13BBB0A30D7E94CDDE20' | |
| 2023-12-05 20:06:19,742 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.deps.json' | |
| with checksum '59B5F6239215A645C09E522EBF17E69C' | |
| 2023-12-05 20:06:19,790 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.dll' | |
| with checksum '0225698244FCA72638A6B74932CA119C' | |
| 2023-12-05 20:06:19,821 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.pdb' | |
| with checksum 'F8E1196A2D5D07BC297FD98E5EB80152' | |
| 2023-12-05 20:06:19,835 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.xml' | |
| with checksum 'FFAB4950985F7AF81661F150BA6FBB00' | |
| 2023-12-05 20:06:19,883 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140.dll' | |
| with checksum 'EBF8072A3C5C586979313F76E503AABF' | |
| 2023-12-05 20:06:19,914 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_1.dll' | |
| with checksum '11D5D26552C1730CCC440F13A1FCE188' | |
| 2023-12-05 20:06:19,946 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_2.dll' | |
| with checksum '718E5C4A63D2F941EEB1B4E9D6D85A8C' | |
| 2023-12-05 20:06:19,963 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_atomic_wait.dll' | |
| with checksum 'F9C7A19DFC5FA60B1405C81208BD959B' | |
| 2023-12-05 20:06:19,977 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_codecvt_ids.dll' | |
| with checksum '0F4E5F6C68C514E63C4CDAE9EB9E40F5' | |
| 2023-12-05 20:06:19,993 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcomp140.dll' | |
| with checksum 'C25E40C224F37FCB17C3ACDF320FF258' | |
| 2023-12-05 20:06:20,038 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140.dll' | |
| with checksum '699DD61122D91E80ABDFCC396CE0EC10' | |
| 2023-12-05 20:06:20,054 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140_1.dll' | |
| with checksum '9410EE0771FF1C2007D9087A8C316A4B' | |
| 2023-12-05 20:06:20,071 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140_threads.dll' | |
| with checksum '268036DFA28320D2186B9B21631D443D' | |
| 2023-12-05 20:06:20,165 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\z3.exe' | |
| with checksum '9024BD4A4B14CCA8410B6172E757EDDD' | |
| 2023-12-05 20:06:20,180 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\example.py' | |
| with checksum '29885F72DC972005BEB062CA03EA370D' | |
| 2023-12-05 20:06:20,211 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3.py' | |
| with checksum 'DECA604BC520620BE2F795CAEC125572' | |
| 2023-12-05 20:06:20,227 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3consts.py' | |
| with checksum '2AB8C818DAC49723A65A1C44F4554679' | |
| 2023-12-05 20:06:20,242 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3core.py' | |
| with checksum 'FE792204ADEDEBEE8B0385F92114B679' | |
| 2023-12-05 20:06:20,242 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3num.py' | |
| with checksum '22C0A73170BDD0F91B76E6A160B9C937' | |
| 2023-12-05 20:06:20,258 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3poly.py' | |
| with checksum '871B33516926538E32564673DBED0ECE' | |
| 2023-12-05 20:06:20,276 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3printer.py' | |
| with checksum '0859A674AD84FE8DF698E46FA55FAB43' | |
| 2023-12-05 20:06:20,289 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3rcf.py' | |
| with checksum 'D1BCA6D5D266F3A117D4C27034899B46' | |
| 2023-12-05 20:06:20,289 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3types.py' | |
| with checksum '5E7C688F0E667142D184D4217B5CFD6D' | |
| 2023-12-05 20:06:20,305 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3util.py' | |
| with checksum '4A505E5FA3A95A76D24629BD0B7CE94D' | |
| 2023-12-05 20:06:20,321 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__init__.py' | |
| with checksum '6BB9C83973ECA222DE80539171BE2476' | |
| 2023-12-05 20:06:20,321 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3.cpython-39.pyc' | |
| with checksum '5FBA9398BE3713B662A963EB3A36B5D1' | |
| 2023-12-05 20:06:20,338 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3consts.cpython-39.pyc' | |
| with checksum 'E2E3817974B1856DE92F5ACC881C80F4' | |
| 2023-12-05 20:06:20,352 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3core.cpython-39.pyc' | |
| with checksum '3BCAB5171A36B664A9FC78B049CA54CE' | |
| 2023-12-05 20:06:20,384 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3num.cpython-39.pyc' | |
| with checksum '55AB88AADCB465DE6E798D914461A5FB' | |
| 2023-12-05 20:06:20,416 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3poly.cpython-39.pyc' | |
| with checksum 'BDB9768711B467F6A57823336C787A68' | |
| 2023-12-05 20:06:20,430 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3printer.cpython-39.pyc' | |
| with checksum '99A396C15A9220A1AE20FF46BC7B75D5' | |
| 2023-12-05 20:06:20,430 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3rcf.cpython-39.pyc' | |
| with checksum '0BF1259F0B9029C730D013DD4130860E' | |
| 2023-12-05 20:06:20,445 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3types.cpython-39.pyc' | |
| with checksum '8F79C9CCFCC3AE1BFEB0C357C3789790' | |
| 2023-12-05 20:06:20,462 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3util.cpython-39.pyc' | |
| with checksum '775C8BB08AD7ACF02F25454D9A2530C7' | |
| 2023-12-05 20:06:20,477 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\__init__.cpython-39.pyc' | |
| with checksum '3AE06C0771BF6647827C05ABB855FFE2' | |
| 2023-12-05 20:06:20,493 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3++.h' | |
| with checksum 'D1F95277FD6EF959256E0D748556A10D' | |
| 2023-12-05 20:06:20,508 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3.h' | |
| with checksum '0602E2A11D0409DF0C3DF0D74DF9E9BB' | |
| 2023-12-05 20:06:20,524 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_algebraic.h' | |
| with checksum 'C8936A5692C777B83E3A7A8F14A3954B' | |
| 2023-12-05 20:06:20,539 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_api.h' | |
| with checksum '7B1A301660AD78D7211330924D27C64B' | |
| 2023-12-05 20:06:20,555 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_ast_containers.h' | |
| with checksum '7BD14C7167A2B963CC8F816A465C129D' | |
| 2023-12-05 20:06:20,555 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_fixedpoint.h' | |
| with checksum '541CD560A009030C0CA714F29D8F4F78' | |
| 2023-12-05 20:06:20,571 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_fpa.h' | |
| with checksum 'B45F64AAFB4C930A00A04E110893198A' | |
| 2023-12-05 20:06:20,586 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_macros.h' | |
| with checksum 'FC52E663352B3480C330E33251668F3E' | |
| 2023-12-05 20:06:20,602 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_optimization.h' | |
| with checksum '17AA872A47E02AB6814F98754B97748A' | |
| 2023-12-05 20:06:20,617 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_polynomial.h' | |
| with checksum '0FEB0C1B89A1CF44C8FFBF198D4E4326' | |
| 2023-12-05 20:06:20,633 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_rcf.h' | |
| with checksum 'F60A9E5C257089988260C6BDF0F5A0A3' | |
| 2023-12-05 20:06:20,649 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_spacer.h' | |
| with checksum 'B8125A332163A59D09751DECDE319F03' | |
| 2023-12-05 20:06:20,665 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_v1.h' | |
| with checksum '4E173E65B2EE8814EFD03B704B3628F7' | |
| 2023-12-05 20:06:20,679 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_version.h' | |
| with checksum '91F80D77863401B605C013083F9378B2' | |
| 2023-12-05 20:06:20,757 976 [DEBUG] - Removing shim for z3.exe at 'C:\ProgramData\chocolatey\bin\z3.exe | |
| 2023-12-05 20:06:20,757 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\bin\z3.exe". | |
| 2023-12-05 20:06:20,835 976 [INFO ] - Skipping auto uninstaller - No registry snapshot. | |
| 2023-12-05 20:06:20,867 976 [DEBUG] - Calling command ['"C:\Windows\System32\shutdown.exe" /a'] | |
| 2023-12-05 20:06:21,069 976 [DEBUG] - Command ['"C:\Windows\System32\shutdown.exe" /a'] exited with '1116' | |
| 2023-12-05 20:06:21,118 976 [DEBUG] - Attempting to delete directory "C:\ProgramData\chocolatey\lib-bkp\z3". | |
| 2023-12-05 20:06:21,228 976 [DEBUG] - Ensuring removal of installation files. | |
| 2023-12-05 20:06:21,259 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\z3-4.12.3-x64-win.zip.txt' | |
| with checksum '25329D80B1A7EB2B7308621439FCC6D2' | |
| 2023-12-05 20:06:21,276 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\z3-4.12.3-x64-win.zip.txt". | |
| 2023-12-05 20:06:21,851 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\z3.nupkg' | |
| with checksum '523D97794AB0675610179198F7F1D422' | |
| 2023-12-05 20:06:21,882 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\z3.nupkg". | |
| 2023-12-05 20:06:21,914 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\z3.nuspec' | |
| with checksum 'C01204ED4B9196B50F2314CE1CE7EC9B' | |
| 2023-12-05 20:06:21,929 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\z3.nuspec". | |
| 2023-12-05 20:06:21,946 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\legal\LICENSE.txt' | |
| with checksum '5F03AD1486A2E4CE71200CE0F9721557' | |
| 2023-12-05 20:06:21,946 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\legal\LICENSE.txt". | |
| 2023-12-05 20:06:21,961 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\legal\VERIFICATION.txt' | |
| with checksum '557E44260D2311185DDDF5337679413D' | |
| 2023-12-05 20:06:21,978 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\legal\VERIFICATION.txt". | |
| 2023-12-05 20:06:22,007 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\chocolateyinstall.ps1' | |
| with checksum 'BE8C0D509ED6DDAC657A03FE2F9BC32F' | |
| 2023-12-05 20:06:22,007 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\chocolateyinstall.ps1". | |
| 2023-12-05 20:06:22,024 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\LICENSE.txt' | |
| with checksum 'C4C1DA8ADA62596848A6E38B6BAA8CD4' | |
| 2023-12-05 20:06:22,041 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\LICENSE.txt". | |
| 2023-12-05 20:06:22,085 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\com.microsoft.z3.jar' | |
| with checksum 'DFE7952CA0C5876762BC4B8AEAFFFEF0' | |
| 2023-12-05 20:06:22,102 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\com.microsoft.z3.jar". | |
| 2023-12-05 20:06:22,194 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.dll' | |
| with checksum '7EE06C4B30D65165A43F48868E0A41CC' | |
| 2023-12-05 20:06:22,211 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.dll". | |
| 2023-12-05 20:06:22,244 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.lib' | |
| with checksum '25AF078BC41BD71C8B31474614CADAA9' | |
| 2023-12-05 20:06:22,258 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.lib". | |
| 2023-12-05 20:06:23,147 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.pdb' | |
| with checksum 'E691A4727DFF1FB735E51AB0F8A72DBA' | |
| 2023-12-05 20:06:23,147 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.pdb". | |
| 2023-12-05 20:06:23,210 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3java.dll' | |
| with checksum '28BB3B484CCE168CE956F70C87FF1391' | |
| 2023-12-05 20:06:23,228 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3java.dll". | |
| 2023-12-05 20:06:23,242 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3java.lib' | |
| with checksum '985360706ACC13BBB0A30D7E94CDDE20' | |
| 2023-12-05 20:06:23,259 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3java.lib". | |
| 2023-12-05 20:06:23,274 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.deps.json' | |
| with checksum '59B5F6239215A645C09E522EBF17E69C' | |
| 2023-12-05 20:06:23,289 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.deps.json". | |
| 2023-12-05 20:06:23,310 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.dll' | |
| with checksum '0225698244FCA72638A6B74932CA119C' | |
| 2023-12-05 20:06:23,324 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.dll". | |
| 2023-12-05 20:06:23,336 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.pdb' | |
| with checksum 'F8E1196A2D5D07BC297FD98E5EB80152' | |
| 2023-12-05 20:06:23,353 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.pdb". | |
| 2023-12-05 20:06:23,368 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.xml' | |
| with checksum 'FFAB4950985F7AF81661F150BA6FBB00' | |
| 2023-12-05 20:06:23,383 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.xml". | |
| 2023-12-05 20:06:23,399 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140.dll' | |
| with checksum 'EBF8072A3C5C586979313F76E503AABF' | |
| 2023-12-05 20:06:23,416 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140.dll". | |
| 2023-12-05 20:06:23,431 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_1.dll' | |
| with checksum '11D5D26552C1730CCC440F13A1FCE188' | |
| 2023-12-05 20:06:23,446 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_1.dll". | |
| 2023-12-05 20:06:23,461 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_2.dll' | |
| with checksum '718E5C4A63D2F941EEB1B4E9D6D85A8C' | |
| 2023-12-05 20:06:23,461 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_2.dll". | |
| 2023-12-05 20:06:23,476 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_atomic_wait.dll' | |
| with checksum 'F9C7A19DFC5FA60B1405C81208BD959B' | |
| 2023-12-05 20:06:23,493 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_atomic_wait.dll". | |
| 2023-12-05 20:06:23,493 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_codecvt_ids.dll' | |
| with checksum '0F4E5F6C68C514E63C4CDAE9EB9E40F5' | |
| 2023-12-05 20:06:23,508 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_codecvt_ids.dll". | |
| 2023-12-05 20:06:23,523 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcomp140.dll' | |
| with checksum 'C25E40C224F37FCB17C3ACDF320FF258' | |
| 2023-12-05 20:06:23,523 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcomp140.dll". | |
| 2023-12-05 20:06:23,556 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140.dll' | |
| with checksum '699DD61122D91E80ABDFCC396CE0EC10' | |
| 2023-12-05 20:06:23,571 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140.dll". | |
| 2023-12-05 20:06:23,571 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140_1.dll' | |
| with checksum '9410EE0771FF1C2007D9087A8C316A4B' | |
| 2023-12-05 20:06:23,587 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140_1.dll". | |
| 2023-12-05 20:06:23,603 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140_threads.dll' | |
| with checksum '268036DFA28320D2186B9B21631D443D' | |
| 2023-12-05 20:06:23,616 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140_threads.dll". | |
| 2023-12-05 20:06:23,695 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\z3.exe' | |
| with checksum '9024BD4A4B14CCA8410B6172E757EDDD' | |
| 2023-12-05 20:06:23,728 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\z3.exe". | |
| 2023-12-05 20:06:23,742 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\example.py' | |
| with checksum '29885F72DC972005BEB062CA03EA370D' | |
| 2023-12-05 20:06:23,791 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\example.py". | |
| 2023-12-05 20:06:23,806 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3.py' | |
| with checksum 'DECA604BC520620BE2F795CAEC125572' | |
| 2023-12-05 20:06:23,820 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3.py". | |
| 2023-12-05 20:06:23,837 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3consts.py' | |
| with checksum '2AB8C818DAC49723A65A1C44F4554679' | |
| 2023-12-05 20:06:23,852 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3consts.py". | |
| 2023-12-05 20:06:23,866 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3core.py' | |
| with checksum 'FE792204ADEDEBEE8B0385F92114B679' | |
| 2023-12-05 20:06:23,882 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3core.py". | |
| 2023-12-05 20:06:23,899 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3num.py' | |
| with checksum '22C0A73170BDD0F91B76E6A160B9C937' | |
| 2023-12-05 20:06:23,899 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3num.py". | |
| 2023-12-05 20:06:23,915 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3poly.py' | |
| with checksum '871B33516926538E32564673DBED0ECE' | |
| 2023-12-05 20:06:23,930 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3poly.py". | |
| 2023-12-05 20:06:23,946 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3printer.py' | |
| with checksum '0859A674AD84FE8DF698E46FA55FAB43' | |
| 2023-12-05 20:06:23,960 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3printer.py". | |
| 2023-12-05 20:06:23,960 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3rcf.py' | |
| with checksum 'D1BCA6D5D266F3A117D4C27034899B46' | |
| 2023-12-05 20:06:23,979 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3rcf.py". | |
| 2023-12-05 20:06:23,992 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3types.py' | |
| with checksum '5E7C688F0E667142D184D4217B5CFD6D' | |
| 2023-12-05 20:06:24,007 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3types.py". | |
| 2023-12-05 20:06:24,023 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3util.py' | |
| with checksum '4A505E5FA3A95A76D24629BD0B7CE94D' | |
| 2023-12-05 20:06:24,023 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3util.py". | |
| 2023-12-05 20:06:24,039 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__init__.py' | |
| with checksum '6BB9C83973ECA222DE80539171BE2476' | |
| 2023-12-05 20:06:24,055 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__init__.py". | |
| 2023-12-05 20:06:24,069 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3.cpython-39.pyc' | |
| with checksum '5FBA9398BE3713B662A963EB3A36B5D1' | |
| 2023-12-05 20:06:24,086 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3.cpython-39.pyc". | |
| 2023-12-05 20:06:24,086 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3consts.cpython-39.pyc' | |
| with checksum 'E2E3817974B1856DE92F5ACC881C80F4' | |
| 2023-12-05 20:06:24,101 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3consts.cpython-39.pyc". | |
| 2023-12-05 20:06:24,117 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3core.cpython-39.pyc' | |
| with checksum '3BCAB5171A36B664A9FC78B049CA54CE' | |
| 2023-12-05 20:06:24,133 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3core.cpython-39.pyc". | |
| 2023-12-05 20:06:24,148 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3num.cpython-39.pyc' | |
| with checksum '55AB88AADCB465DE6E798D914461A5FB' | |
| 2023-12-05 20:06:24,148 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3num.cpython-39.pyc". | |
| 2023-12-05 20:06:24,163 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3poly.cpython-39.pyc' | |
| with checksum 'BDB9768711B467F6A57823336C787A68' | |
| 2023-12-05 20:06:24,180 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3poly.cpython-39.pyc". | |
| 2023-12-05 20:06:24,195 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3printer.cpython-39.pyc' | |
| with checksum '99A396C15A9220A1AE20FF46BC7B75D5' | |
| 2023-12-05 20:06:24,211 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3printer.cpython-39.pyc". | |
| 2023-12-05 20:06:24,228 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3rcf.cpython-39.pyc' | |
| with checksum '0BF1259F0B9029C730D013DD4130860E' | |
| 2023-12-05 20:06:24,228 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3rcf.cpython-39.pyc". | |
| 2023-12-05 20:06:24,244 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3types.cpython-39.pyc' | |
| with checksum '8F79C9CCFCC3AE1BFEB0C357C3789790' | |
| 2023-12-05 20:06:24,258 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3types.cpython-39.pyc". | |
| 2023-12-05 20:06:24,275 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3util.cpython-39.pyc' | |
| with checksum '775C8BB08AD7ACF02F25454D9A2530C7' | |
| 2023-12-05 20:06:24,289 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3util.cpython-39.pyc". | |
| 2023-12-05 20:06:24,289 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\__init__.cpython-39.pyc' | |
| with checksum '3AE06C0771BF6647827C05ABB855FFE2' | |
| 2023-12-05 20:06:24,305 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\__init__.cpython-39.pyc". | |
| 2023-12-05 20:06:24,323 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3++.h' | |
| with checksum 'D1F95277FD6EF959256E0D748556A10D' | |
| 2023-12-05 20:06:24,336 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3++.h". | |
| 2023-12-05 20:06:24,336 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3.h' | |
| with checksum '0602E2A11D0409DF0C3DF0D74DF9E9BB' | |
| 2023-12-05 20:06:24,352 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3.h". | |
| 2023-12-05 20:06:24,368 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_algebraic.h' | |
| with checksum 'C8936A5692C777B83E3A7A8F14A3954B' | |
| 2023-12-05 20:06:24,368 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_algebraic.h". | |
| 2023-12-05 20:06:24,398 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_api.h' | |
| with checksum '7B1A301660AD78D7211330924D27C64B' | |
| 2023-12-05 20:06:24,415 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_api.h". | |
| 2023-12-05 20:06:24,415 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_ast_containers.h' | |
| with checksum '7BD14C7167A2B963CC8F816A465C129D' | |
| 2023-12-05 20:06:24,431 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_ast_containers.h". | |
| 2023-12-05 20:06:24,446 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_fixedpoint.h' | |
| with checksum '541CD560A009030C0CA714F29D8F4F78' | |
| 2023-12-05 20:06:24,461 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_fixedpoint.h". | |
| 2023-12-05 20:06:24,461 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_fpa.h' | |
| with checksum 'B45F64AAFB4C930A00A04E110893198A' | |
| 2023-12-05 20:06:24,477 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_fpa.h". | |
| 2023-12-05 20:06:24,492 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_macros.h' | |
| with checksum 'FC52E663352B3480C330E33251668F3E' | |
| 2023-12-05 20:06:24,508 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_macros.h". | |
| 2023-12-05 20:06:24,526 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_optimization.h' | |
| with checksum '17AA872A47E02AB6814F98754B97748A' | |
| 2023-12-05 20:06:24,539 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_optimization.h". | |
| 2023-12-05 20:06:24,539 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_polynomial.h' | |
| with checksum '0FEB0C1B89A1CF44C8FFBF198D4E4326' | |
| 2023-12-05 20:06:24,557 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_polynomial.h". | |
| 2023-12-05 20:06:24,570 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_rcf.h' | |
| with checksum 'F60A9E5C257089988260C6BDF0F5A0A3' | |
| 2023-12-05 20:06:24,586 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_rcf.h". | |
| 2023-12-05 20:06:24,586 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_spacer.h' | |
| with checksum 'B8125A332163A59D09751DECDE319F03' | |
| 2023-12-05 20:06:24,603 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_spacer.h". | |
| 2023-12-05 20:06:24,617 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_v1.h' | |
| with checksum '4E173E65B2EE8814EFD03B704B3628F7' | |
| 2023-12-05 20:06:24,659 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_v1.h". | |
| 2023-12-05 20:06:24,664 976 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_version.h' | |
| with checksum '91F80D77863401B605C013083F9378B2' | |
| 2023-12-05 20:06:24,680 976 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_version.h". | |
| 2023-12-05 20:06:24,695 976 [DEBUG] - Attempting to delete directory "C:\ProgramData\chocolatey\lib\z3". | |
| 2023-12-05 20:06:24,711 976 [INFO ] - z3 has been successfully uninstalled. | |
| 2023-12-05 20:06:24,727 976 [DEBUG] - Removing nupkg if it still exists. | |
| 2023-12-05 20:06:24,742 976 [DEBUG] - Ensuring removal of installation files. | |
| 2023-12-05 20:06:24,858 976 [WARN ] - | |
| Chocolatey uninstalled 1/1 packages. | |
| See the log for details (C:\ProgramData\chocolatey\logs\chocolatey.log). | |
| 2023-12-05 20:06:24,883 976 [DEBUG] - Sending message 'PostRunMessage' out if there are subscribers... | |
| 2023-12-05 20:06:24,899 976 [DEBUG] - Exiting with 0 |