Comments (4)
I was able to reproduce this. The issue is that upgrade does not remove the previous version. This is an issue with the Prolog installer. If you manually uninstall the older version, it should mitigate the issue
Found SWI-Prolog [SWI-Prolog.SWI-Prolog] Version 9.2.0
This application is licensed to you by its owner.
Microsoft is not responsible for, nor does it grant any licenses to, third-party packages.
Downloading https://www.swi-prolog.org/download/stable/bin/swipl-9.2.0-1.x64.exe
██████████████████████████████ 12.9 MB / 12.9 MB
Successfully verified installer hash
Starting package install...
Successfully installed
PS C:\Users\WDAGUtilityAccount\Desktop\winget-pkgs> winget upgrade
Name Id Version Available Source
----------------------------------------------------------------------
Microsoft Edge Microsoft.Edge 92.0.902.67 121.0.2277.112 winget
SWI-Prolog SWI-Prolog.SWI-Prolog 9.0.4 9.2.0 winget
2 upgrades available.
PS C:\Users\WDAGUtilityAccount\Desktop\winget-pkgs> get-arptable|ft
DisplayName DisplayVersion Publisher ProductCode Scope
----------- -------------- --------- ----------- -----
SWI-Prolog 9.0.4 SWI-Prolog swipl Machine
Microsoft Edge 92.0.902.67 Microsoft Corporation Microsoft Edge Machine
Microsoft Edge Update 1.3.147.37 Microsoft Edge Update Machine
SWI-Prolog 9.2.0 SWI-Prolog swipl Machine
from winget-pkgs.
Can you provide the output of winget list 'prolog'
from winget-pkgs.
This might be better in the winget-pkgs repo.
from winget-pkgs.
Shall we change UpgradeBehavior: install
to UpgradeBehavior: uninstallPrevious
?
from winget-pkgs.
Related Issues (20)
- [Update Request]: PeterPawlowski.foobar2000.EncoderPack
- [Update Request]: Dell Command | Update
- [Update Request]: ArchiMate Archi tool
- [Update Request]: GPXSee 13.16 HOT 1
- `New-Package` Label applied when versions already exist HOT 1
- `Manifest-Metadata-Consistency` not considering root nodes HOT 2
- `Manifest-Metadata-Consistency` not using latest version HOT 4
- Assign to ICM Users seems to have broken HOT 1
- [Update Request]:Bedrock Dedicated Server
- [Update Request]: PeaZip v9.7.0
- Perform manifest checks earlier in the validation pipeline
- [Package Issue]: Governikus.AusweisApp HOT 5
- [Package Issue]: beeradmoore.dlss-swapper HOT 2
- [Package Issue]: Fail run YamlCreate.ps1 HOT 7
- Validation-Agreements should be applied and require waiver when `Agreements` present HOT 1
- [Update Request]: Update clsid2.mpc-hc to 2.1.5 HOT 1
- [Package Issue]: Google.Chrome trying to update from stable to beta HOT 7
- [Package Request]: VVV (Virtual Volumes View)
- [Package Request]: elvish
- [Package Issue]: Microsoft.DotNet.SDK.8 version 8.0.201 does not replace/uninstall previous version 8.0.101 HOT 3
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from winget-pkgs.