Index of /dload/spot/deps/
../
GOAL-20200107.zip 28-Apr-2020 20:39 7668088
GOAL-20200506.zip 06-May-2020 11:28 7714460
MoDeLLa-1.5.9.tar.gz 17-Mar-2006 16:32 47318
README.html 26-Jun-2018 12:47 587
README.html~ 26-Jun-2018 12:46 589
README~ 26-Jun-2018 09:59 452
glucose-syrup.tgz 03-Oct-2014 09:13 74125
lbt-1.2.2.tar.gz 29-Dec-2004 21:15 20587
ltl2ba-1.2.patch 08-Jun-2020 09:05 495
ltl2ba-1.2.tar.gz 12-May-2018 15:35 33026
ltl2ba-1.3.tar.gz 10-Jun-2020 16:42 38265
ltl2dstar-0.5.4.tar.gz 23-Apr-2019 17:31 1138252
ltl3ba-1.1.3.tar.gz 07-Sep-2016 00:25 49288
owl-18.06.zip 29-Jun-2018 14:55 23057084
owl-19.06.01.zip 10-Jul-2019 16:01 22988265
owl-19.06.02.zip 11-Jul-2019 14:12 22991052
owl-19.06.03.zip 22-Jul-2019 14:43 22991697
owl-19.06.zip 05-Jul-2019 22:55 22984395
owl-20.06.00.zip 28-Jul-2020 16:46 38053791
owl-linux-amd64-21.0.zip 28-Apr-2022 10:24 17617536
plantuml.jar 22-Jul-2019 18:45 7868894
update.sh 20-Jan-2023 13:49 973
update.sh~ 04-Sep-2020 13:48 965