#!/bin/sh
set -x

wget -O plantuml.jar.tmp https://sourceforge.net/projects/plantuml/files/latest/download && install --verbose -C plantuml.jar.tmp plantuml.jar
rm -f plantuml.jar.tmp

wget -N http://sourceforge.net/projects/ltl3ba/files/ltl3ba/1.1/ltl3ba-1.1.3.tar.gz

wget -N http://web.archive.org/web/20080607170403/http://www.science.unitn.it/~stonetta/modella/MoDeLLa-1.5.9.tar.gz

wget -N http://www.tcs.hut.fi/Software/maria/src/lbt-1.2.2.tar.gz

wget -N http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ltl2ba-1.3.tar.gz

wget -N http://www.ltl2dstar.de/down/ltl2dstar-0.5.4.tar.gz

wget -N http://www.labri.fr/perso/lsimon/downloads/softwares/glucose-syrup.tgz

wget -N https://owl.model.in.tum.de/files/owl-linux-amd64-21.0.zip

# It's not said in the zip file, but
# http://goal.im.ntu.edu.tw/wiki/doku.php states "The binaries of GOAL
# are free to use, copy, and distribute for non-commercial purposes."
wget -N http://goal.im.ntu.edu.tw/release/GOAL-20200506.zip

wget -N http://automata.tools/hoa/jhoafparser/down/jhoafparser-1.1.1.jar
wget -N http://automata.tools/hoa/jhoafparser/down/jhoafparser-1.1.1.zip
