swipl-devel
swipl-devel copied to clipboard
pack_upgrade should also update server
trafficstars
Currently, running pack_upgrade/1 will find & download the new version of a package, but it doesn't seem to update the information on https://www.swi-prolog.org/pack/list. This results in both the pack list not showing new versions and also pack_install/1 getting the old version.
I guess that this would require the ability to pass the option inquiry(true) to through to the pack_install/2 that is invoked by pack_upgrade/1?