Index of /releases/v8.1/unstable/site/plugins

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]jgraphx.plugin_3.7.5.jar2018-03-02 16:14 536K 
[   ]kiv.codegen_8.1.0.201802051619.jar2018-03-02 16:14 195K 
[   ]kiv.codegen_8.1.0.201803021608.jar2018-03-02 16:14 195K 
[   ]kiv.editor_8.1.0.201802051619.jar2018-03-02 16:14 698K 
[   ]kiv.editor_8.1.0.201803021608.jar2018-03-02 16:14 699K 
[   ]kiv.lib.basic_8.1.0.201802051619.jar2018-03-02 16:14 30M 
[   ]kiv.lib.basic_8.1.0.201803021608.jar2018-03-02 16:14 30M 
[   ]kiv_8.1.0.201802051619.jar2018-03-02 16:14 20M 
[   ]kiv_8.1.0.201803021608.jar2018-03-02 16:14 20M 
[   ]kodkod.plugin_2.1.0.jar2018-03-02 16:14 713K 

Apache/2.4.52 (Ubuntu) Server at kivserver.informatik.uni-augsburg.de Port 443