Search Criteria
Package Details: tla-toolbox-nightly 1.8.0.r8229.gb125618-1
Package Actions
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.060383 |
First Submitted: | 2022-10-29 09:19 (UTC) |
Last Updated: | 2023-11-17 00:10 (UTC) |
Dependencies (2)
- java-runtime (jre10AUR, jre12AUR, server-jreAUR, jdk10AUR, jdk10-openj9-binAUR, jdk7AUR, jre7AUR, amazon-corretto-16AUR, jdk8-graalvm-binAUR, jdk16-graalvm-binAUR, jdk16-adoptopenjdkAUR, jdk8-armAUR, liberica-jre-11-binAUR, jdk11-j9-binAUR, jre11-jbr-xdgAUR, jre16-openjdkAUR, jre14-openjdkAUR, amazon-corretto-18AUR, jre15AUR, jre14AUR, jre13AUR, jre16AUR, jre18-openjdkAUR, amazon-corretto-19-binAUR, jdk19-graalvm-binAUR, liberica-jre-11-full-binAUR, jdk19-graalvm-ee-binAUR, jdk13-openjdk-binAUR, liberica-jre-8-full-binAUR, jdk11-graalvm-binAUR, jre-openj9AUR, jdk11-graalvm-ee-binAUR, jre12-openjdkAUR, jdk11-dragonwell-standard-binAUR, jdk11-jetbrains-binAUR, jdk20-graalvm-binAUR, jdk17-graalvm-binAUR, jdk8-graalvm-ee-binAUR, amazon-corretto-20-binAUR, zulu-15-binAUR, jdk20-openj9-binAUR, zulu-13-binAUR, jdk8-dragonwell-extended-binAUR, jdk8-dragonwell-standard-binAUR, jdk11-dragonwell-extended-binAUR, jdk17-dragonwell-standard-binAUR, jre11AUR, jdk8-j9-binAUR, jdk7-j9-binAUR, jdk7r1-j9-binAUR, jdk8-dragonwell-extendedAUR, jre13-openjdkAUR, jre15-openjdkAUR, jdk21-graalvm-binAUR, jdk8AUR, jre8AUR, jdk-openj9-binAUR, jdk11-openj9-binAUR, jre17-jetbrainsAUR, jdk8-openj9-binAUR, jre-ltsAUR, microsoft-openjdk-11-binAUR, microsoft-openjdk-17-binAUR, microsoft-openjdk-21-binAUR, jdk17-openj9-binAUR, liberica-nik-24-full-binAUR, jre21-jetbrains-gitAUR, jdk21-jetbrains-gitAUR, zulu-jre-fx-binAUR, amazon-corretto-17AUR, amazon-corretto-21-binAUR, amazon-corretto-22-binAUR, amazon-corretto-8AUR, amazon-corretto-11AUR, jdk21-temurinAUR, jdk17-temurinAUR, jdk11-temurinAUR, zulu-21-binAUR, zulu-17-binAUR, zulu-11-binAUR, zulu-8-binAUR, liberica-jdk-8-full-binAUR, liberica-jdk-21-full-binAUR, jdk8-temurinAUR, mandrel-binAUR, mandrel24-binAUR, zulu-17-fx-binAUR, liberica-jdk-17-full-binAUR, liberica-jdk-11-lite-binAUR, liberica-jdk-11-full-binAUR, liberica-jdk-11-binAUR, jdk17-graalvm-ee-binAUR, jdk21-graalvm-ee-binAUR, jdk22-graalvm-ee-binAUR, jdk20-graalvm-ee-binAUR, jdk8-perfAUR, jdk22-graalvm-binAUR, jre19-openjdkAUR, zulu8-fx-binAUR, zulu11-fx-binAUR, zulu17-fx-binAUR, zulu21-fx-binAUR, jre-openjdk-wakefieldAUR, jdk-openjdk-wakefieldAUR, jdk17-jetbrains-binAUR, zulu-jdk-fx-binAUR, java-openjdk-binAUR, liberica-jdk-full-binAUR, jre21-jetbrainsAUR, jdk17-zulu-prime-binAUR, jdk21-openj9-binAUR, jre17-zulu-binAUR, jreAUR, jdkAUR, jre21-zulu-binAUR, zing-21-binAUR, zing-8-binAUR, jdk23-graalvm-ee-binAUR, java-openjdk-ea-binAUR, jdk-android-studioAUR, jdk21-jetbrains-binAUR, jdk-temurinAUR, jre17AUR, jre-jetbrainsAUR, jdk-openjdk, jdk11-openjdk, jdk17-openjdk, jdk21-openjdk, jre-openjdk, jre11-openjdk, jre17-openjdk, jre21-openjdk, jre8-openjdk)
- wget (wget-gitAUR, wurlAUR) (make)
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?