Index of /releases/v10/stable/site/plugins

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]cvc4.plugin_1.6.0.jar2023-11-09 15:22 258K 
[   ]jgraphx.plugin_3.7.5.jar2023-11-09 15:22 536K 
[   ]kiv.editor_10.0.0.202303291056.jar2023-03-29 10:58 798K 
[   ]kiv.editor_10.0.1.202305221121.jar2023-05-22 11:27 798K 
[   ]kiv.editor_10.0.2.202310101433.jar2023-10-10 14:34 795K 
[   ]kiv.editor_10.0.2.202310101446.jar2023-10-10 14:46 795K 
[   ]kiv.editor_10.0.2.202310121206.jar2023-10-12 12:07 795K 
[   ]kiv.editor_10.0.3.202311091521.jar2023-11-09 15:22 795K 
[   ]kiv.lib.basic_10.0.0.202303291056.jar2023-03-29 10:58 39M 
[   ]kiv.lib.basic_10.0.0.202305221121.jar2023-05-22 11:27 38M 
[   ]kiv.lib.basic_10.0.0.202310101433.jar2023-10-10 14:34 65M 
[   ]kiv.lib.basic_10.0.2.202310101446.jar2023-10-10 14:46 65M 
[   ]kiv.lib.basic_10.0.2.202310121206.jar2023-10-12 12:07 65M 
[   ]kiv.lib.basic_10.0.3.202311091521.jar2023-11-09 15:22 65M 
[   ]kiv_10.0.0.202303291056.jar2023-03-29 10:58 21M 
[   ]kiv_10.0.1.202305221121.jar2023-05-22 11:27 21M 
[   ]kiv_10.0.2.202310101433.jar2023-10-10 14:34 21M 
[   ]kiv_10.0.2.202310101446.jar2023-10-10 14:46 21M 
[   ]kiv_10.0.2.202310121206.jar2023-10-12 12:07 21M 
[   ]kiv_10.0.3.202311091521.jar2023-11-09 15:22 21M 
[   ]org.scala-lang.modules.scala-parser-combinators_1.0.6.jar2023-11-09 15:22 207K 
[   ]org.scala-lang.scala-library_2.12.3.v20170725-052526-VFINAL-6ac6da8.jar2023-11-09 15:22 5.0M 
[   ]z3.plugin_4.8.4.jar2023-11-09 15:22 149K 

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