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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cvc4.plugin_1.6.0.jar2024-09-23 13:43 258K 
[ ]jgraphx.plugin_3.7.5.jar2024-09-23 13:43 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.editor_10.0.4.202404111558.jar2024-04-11 16:00 796K 
[ ]kiv.editor_10.0.5.202406101252.jar2024-06-10 13:59 800K 
[ ]kiv.editor_10.0.5.202406101408.jar2024-06-10 14:08 800K 
[ ]kiv.editor_10.0.5.202406101434.jar2024-06-10 14:36 800K 
[ ]kiv.editor_10.0.5.202409231218.jar2024-09-23 13:43 799K 
[ ]kiv.editor_10.0.6.202409231338.jar2024-09-23 13:43 799K 
[ ]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.lib.basic_10.0.4.202404111558.jar2024-04-11 16:00 67M 
[ ]kiv.lib.basic_10.0.5.202406101434.jar2024-06-10 14:36 67M 
[ ]kiv.lib.basic_10.0.5.202409231218.jar2024-09-23 13:43 780  
[ ]kiv.lib.basic_10.0.6.202409231338.jar2024-09-23 13:43 780  
[ ]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 
[ ]kiv_10.0.4.202404111558.jar2024-04-11 16:00 21M 
[ ]kiv_10.0.5.202406101252.jar2024-06-10 13:59 21M 
[ ]kiv_10.0.5.202406101408.jar2024-06-10 14:08 21M 
[ ]kiv_10.0.5.202406101434.jar2024-06-10 14:36 21M 
[ ]kiv_10.0.5.202409231218.jar2024-09-23 13:43 22M 
[ ]kiv_10.0.6.202409231338.jar2024-09-23 13:43 22M 
[ ]org.scala-lang.modules.scala-parser-combinators_1.0.6.jar2024-09-23 13:43 207K 
[ ]org.scala-lang.scala-library_2.12.3.v20170725-052526-VFINAL-6ac6da8.jar2024-09-23 13:43 5.0M 
[ ]z3.plugin_4.8.4.jar2024-09-23 13:43 149K 
Apache/2.4.58 (Ubuntu) Server at kivserver.informatik.uni-augsburg.de Port 443