Prerequisites

• I have written a descriptive issue title.
• I have searched all issues/PRs to ensure it has not already been reported or fixed.
• I have verified that I am using the latest version of Scoop and corresponding bucket.

Package Name

tlaplus-toolbox

Expected/Current Behaviour

The tla-toolbox manifest is problematic in many ways:

• it uses the pre-release version v1.8.0, rather than the stable (current: v1.7.4)

  Currently, every commit to the master branch is built & uploaded to the 1.8.0 Clarke pre-release. If you want the latest fixes & features you can use that pre-release.

  - Upstream README.md

• hence, its hash-check keeps on failing, see commit-history

• its manifest name is the needlessly long file-basename tlaplus-toolbox rather than the simple tla-toolbox which is used for package name by upstream as well

• the hashcheck duplicates package basename rather than using the $basename variable

• doesn't persist the configuration

Blame / Trace

• the use of pre-release version started due to the hotfix release v1.7.2 (hence partial artifacts)
• in urgency to avoid that, the poor checkver.regex was used, which caused checkver to fail
• and to fix that broken checkver, the prerelease v1.8.0 was used

Scoop and Buckets Version

> scoop --version
Current Scoop version:
b588a06e (HEAD -> master, tag: v0.5.3, origin/master, origin/HEAD) chore(release): Bump to version 0.5.3 (resync) (#6436)

'main' bucket:
ace2cce834 (HEAD -> master, origin/master, origin/HEAD) terraform-switcher: Update to version 1.11.0

'extras' bucket:
66cc15aab7 (HEAD -> master, origin/master, origin/HEAD) winmemorycleaner: Update to version 3.0.8

'versions' bucket:
33189c968a (HEAD -> master) yt-dlp-master: Update to version 2025.12.13.190111

Scoop Config

> scoop config

root_path    : D:\Userfiles\Scoop
last_update  : 14-12-2025 07:09:44
scoop_branch : master
scoop_repo   : https://github.com/ScoopInstaller/Scoop
debug        : True

PowerShell Version

> $PSVersionTable

Name                           Value
----                           -----
PSVersion                      7.5.4
PSEdition                      Core
GitCommitId                    7.5.4
OS                             Microsoft Windows 10.0.19045
Platform                       Win32NT
PSCompatibleVersions           {1.0, 2.0, 3.0, 4.0…}
PSRemotingProtocolVersion      2.3
SerializationVersion           1.1.0.1
WSManStackVersion              3.0

Additional Softwares

No response