Index of /dload/spot/deps

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]GOAL-20200107.zip2020-04-28 22:39 7.3M 
[   ]GOAL-20200506.zip2020-05-06 13:28 7.4M 
[   ]MoDeLLa-1.5.9.tar.gz2006-03-17 17:32 46K 
[TXT]README.html2018-06-26 14:47 587  
[   ]glucose-syrup.tgz2014-10-03 11:13 72K 
[   ]lbt-1.2.2.tar.gz2004-12-29 22:15 20K 
[TXT]ltl2ba-1.2.patch2020-06-08 11:05 495  
[   ]ltl2ba-1.2.tar.gz2018-05-12 17:35 32K 
[   ]ltl2ba-1.3.tar.gz2020-06-10 18:42 37K 
[   ]ltl2dstar-0.5.4.tar.gz2019-04-23 19:31 1.1M 
[   ]ltl3ba-1.1.3.tar.gz2016-09-07 02:25 48K 
[   ]owl-18.06.zip2018-06-29 16:55 22M 
[   ]owl-19.06.01.zip2019-07-10 18:01 22M 
[   ]owl-19.06.02.zip2019-07-11 16:12 22M 
[   ]owl-19.06.03.zip2019-07-22 16:43 22M 
[   ]owl-19.06.zip2019-07-06 00:55 22M 
[   ]owl-20.06.00.zip2020-07-28 18:46 36M 
[   ]owl-linux-amd64-21.0.zip2022-04-28 12:24 17M 
[   ]plantuml.jar2019-07-22 20:45 7.5M 
[TXT]update.sh2023-01-20 14:49 1.0K 

This directory contains third-party projects that may be needed to
build Spot or execute some of its test cases, and that are
automatically downloaded in some of our scripts.

The main reason to keep a local copy of them is to avoid download
issues. In particular, SourceForge has an impressive record of SSL
and downtime issues, and this has plagued our automated builds for too
long. A nice side-effect is that is reduces network traffic.

See update.sh if you want to know where those files are copied from.