search

flathub / org.lamport.tla.toolbox

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

Add support for texlive extension #24

Closed jsgf closed 4 years ago

jsgf commented 4 years ago

If texlive flatpak is installed, pdflatex is available at /app/texlive/bin/x86_64-linux/pdflatex

flathubbot commented 4 years ago

Started test build 24329

flathubbot commented 4 years ago

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

flatpak install --user https://dl.flathub.org/build-repo/23369/org.lamport.tla.toolbox.flatpakref
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 24770

flathubbot commented 4 years ago

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

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

@jsgf thanks for your contribution! :)

flathubbot commented 4 years ago

Started test build 24773

flathubbot commented 4 years ago

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

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