Index of /releases/1.13.0

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]sumo_1.13.0.orig.tar.gz2022-05-03 06:30 71M 
[   ]sumo-win64extra-1.13.0.zip2022-05-03 06:30 146M 
[   ]sumo-win64extra-1.13.0.msi2022-05-03 06:29 162M 
[   ]sumo-win64-1.13.0.zip2022-05-03 06:29 108M 
[   ]sumo-win64-1.13.0.msi2022-05-03 06:29 124M 
[   ]sumo-src-1.13.0.zip2022-05-03 06:29 72M 
[   ]sumo-src-1.13.0.tar.gz2022-05-03 06:29 68M 
[   ]sumo-game-1.13.0.zip2022-05-03 06:29 66M 

Apache/2.4.52 (Ubuntu) Server at sumo.dlr.de Port 80