Index of /releases/v10/unstable/site/plugins

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]z3.plugin_4.8.4.jar2024-09-23 13:26 149K 
[   ]org.scala-lang.scala-library_2.12.3.v20170725-052526-VFINAL-6ac6da8.jar2024-09-23 13:26 5.0M 
[   ]org.scala-lang.modules.scala-parser-combinators_1.0.6.jar2024-09-23 13:26 207K 
[   ]kiv.lib.basic_10.0.6.202409231321.jar2024-09-23 13:26 781  
[   ]kiv.editor_10.0.6.202409231321.jar2024-09-23 13:26 799K 
[   ]kiv_10.0.6.202409231321.jar2024-09-23 13:26 22M 
[   ]jgraphx.plugin_3.7.5.jar2024-09-23 13:26 536K 
[   ]cvc4.plugin_1.6.0.jar2024-09-23 13:26 258K 
[   ]kiv.lib.basic_10.0.5.202407111627.jar2024-07-11 16:28 67M 
[   ]kiv.editor_10.0.5.202407111627.jar2024-07-11 16:28 800K 
[   ]kiv_10.0.5.202407111627.jar2024-07-11 16:28 22M 
[   ]kiv.lib.basic_10.0.5.202407111505.jar2024-07-11 15:06 67M 
[   ]kiv.editor_10.0.5.202407111505.jar2024-07-11 15:06 800K 
[   ]kiv_10.0.5.202407111505.jar2024-07-11 15:06 22M 
[   ]kiv.lib.basic_10.0.5.202407111340.jar2024-07-11 13:41 67M 
[   ]kiv.editor_10.0.5.202407111340.jar2024-07-11 13:41 800K 
[   ]kiv_10.0.5.202407111340.jar2024-07-11 13:41 22M 
[   ]kiv.lib.basic_10.0.5.202407111152.jar2024-07-11 11:53 67M 
[   ]kiv.editor_10.0.5.202407111152.jar2024-07-11 11:53 800K 
[   ]kiv.editor_10.0.5.202407021750.jar2024-07-11 11:53 800K 
[   ]kiv_10.0.5.202407111152.jar2024-07-11 11:53 22M 
[   ]kiv_10.0.5.202407021750.jar2024-07-11 11:53 21M 
[   ]kiv.lib.basic_10.0.5.202407021750.jar2024-07-02 17:51 67M 
[   ]kiv.lib.basic_10.0.5.202406121041.jar2024-06-12 10:41 67M 
[   ]kiv.editor_10.0.5.202406121041.jar2024-06-12 10:41 800K 
[   ]kiv_10.0.5.202406121041.jar2024-06-12 10:41 21M 
[   ]kiv.lib.basic_10.0.5.202406121014.jar2024-06-12 10:15 67M 
[   ]kiv.editor_10.0.5.202406121014.jar2024-06-12 10:15 800K 
[   ]kiv_10.0.5.202406121014.jar2024-06-12 10:15 21M 

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