Index of /sra/distrib

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]sravm.ova2015-10-12 10:59 1.0G 
[   ]sra-1.1.zip2016-12-20 12:01 64K 
[   ]sra-1.0.zip2015-10-12 11:09 60K 
[TXT]README.txt2016-12-20 12:01 3.5K 
[TXT]CHANGELOG.txt2016-12-20 12:01 108  
[TXT]md5hashes.txt2015-10-12 11:09 90  

Apache/2.4.62 (Debian) Server at plv.mpi-sws.org Port 443