Package Details: tla-toolbox-nightly 1.8.0.r8229.gb125618-1

Git Clone URL: https://aur.archlinux.org/tla-toolbox-nightly.git (read-only, click to copy)
Package Base: tla-toolbox-nightly
Description: IDE for the TLA+ tools (nightly)
Upstream URL: https://github.com/tlaplus/tlaplus
Keywords: development
Licenses: MIT
Submitter: tangruize
Maintainer: tangruize
Last Packager: tangruize
Votes: 1
Popularity: 0.014799
First Submitted: 2022-10-29 09:19 (UTC)
Last Updated: 2023-11-17 00:10 (UTC)

Dependencies (2)

Required by (0)

Sources (3)

Latest Comments

tangruize commented on 2024-05-28 15:56 (UTC)

@Hi-Angel Thank you for your interest! The "nightly" version is automatically built after every commit, and is uploaded to the pre-release (1.8.0) tag, and replaces old files in the tlaplus project. It is the project's release style. You can see the date of the "release" files are the same with the last commit.

Hi-Angel commented on 2024-05-28 15:45 (UTC)

Why is it named "nightly", however the PKGBUILD downloads a release?