flathub / org.lamport.tla.toolbox

https://flathub.org/apps/details/org.lamport.tla.toolbox
2 stars 2 forks source link

Update TLAToolbox-1.6.0-linux.gtk.x86_64.zip to 1.7.0 #1

Closed flathubbot closed 4 years ago

flathubbot commented 4 years ago

(This pull request was automatically generated by flathub/flatpak-external-data-checker. Please contact or mention @barthalion or @wjt if you have any questions or complaints.)

flathubbot commented 4 years ago

Started test build 19493

flathubbot commented 4 years ago

Build 19493 failed

flathubbot commented 4 years ago

Started test build 19897

jesmg commented 4 years ago

bot, build org.lamport.tla.toolbox

flathubbot commented 4 years ago

Queued test build for org.lamport.tla.toolbox.

flathubbot commented 4 years ago

Started test build 19898

flathubbot commented 4 years ago

Build 19897 successful To test this build, install it from the testing repository:

flatpak install --user https://dl.flathub.org/build-repo/19089/org.lamport.tla.toolbox.flatpakref
flathubbot commented 4 years ago

Build 19898 successful To test this build, install it from the testing repository:

flatpak install --user https://dl.flathub.org/build-repo/19090/org.lamport.tla.toolbox.flatpakref