flathub / org.lamport.tla.toolbox

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

Update TLAToolbox-1.7.0-linux.gtk.x86_64.zip to 1.7.0 #13

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 20683

flathubbot commented 4 years ago

Build 20683 failed