Index of /releases/v9/unstable/site/plugins

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]kiv.editor_9.0.2.202204191153.jar2022-04-19 11:56 764K 
[   ]kiv_9.0.2.202204191153.jar2022-04-19 11:56 21M 
[   ]kiv.lib.basic_9.0.2.202204191153.jar2022-04-19 11:56 36M 
[   ]kiv_9.0.2.202204200910.jar2022-04-20 09:10 21M 
[   ]kiv.lib.basic_9.0.2.202204200910.jar2022-04-20 09:10 36M 
[   ]kiv.editor_9.0.2.202204200910.jar2022-04-20 09:10 764K 
[   ]kiv_9.0.2.202204201733.jar2022-04-20 17:34 21M 
[   ]kiv.lib.basic_9.0.2.202204201733.jar2022-04-20 17:34 39M 
[   ]kiv.editor_9.0.2.202204201733.jar2022-04-20 17:34 764K 
[   ]kiv.lib.basic_9.0.2.202206011724.jar2022-06-01 17:25 39M 
[   ]kiv.editor_9.0.2.202206011724.jar2022-06-01 17:25 762K 
[   ]kiv_9.0.2.202206011724.jar2022-06-01 17:25 21M 
[   ]kiv.editor_9.0.2.202206021515.jar2022-06-02 15:16 762K 
[   ]kiv_9.0.2.202206021515.jar2022-06-02 15:16 21M 
[   ]kiv.lib.basic_9.0.2.202206021515.jar2022-06-02 15:17 39M 
[   ]kiv_9.0.2.202206071124.jar2022-06-07 11:26 21M 
[   ]kiv.lib.basic_9.0.2.202206071124.jar2022-06-07 11:26 39M 
[   ]kodkod.plugin_2.1.0.jar2022-06-07 11:26 713K 
[   ]kiv.editor_9.0.2.202206071124.jar2022-06-07 11:26 789K 
[   ]kiv.lib.basic_9.0.2.202206071130.jar2022-06-07 11:31 39M 
[   ]kiv.editor_9.0.2.202206071130.jar2022-06-07 11:31 789K 
[   ]kiv.editor_9.0.2.202206071138.jar2022-06-07 11:39 788K 
[   ]kiv_9.0.2.202206071130.jar2022-06-07 11:39 21M 
[   ]kiv_9.0.2.202206071138.jar2022-06-07 11:39 21M 
[   ]kiv.lib.basic_9.0.2.202206071138.jar2022-06-07 11:39 39M 
[   ]kiv_9.0.2.202209161408.jar2022-09-16 14:09 21M 
[   ]kiv.lib.basic_9.0.2.202209161408.jar2022-09-16 14:09 39M 
[   ]kiv.editor_9.0.2.202209161408.jar2022-09-16 14:09 788K 
[   ]kiv_9.0.2.202209211604.jar2022-09-21 16:06 21M 
[   ]kiv.lib.basic_9.0.2.202209211604.jar2022-09-21 16:06 39M 
[   ]kiv.editor_9.0.2.202209211604.jar2022-09-21 16:06 788K 
[   ]kiv_9.0.2.202209231718.jar2022-09-23 17:19 21M 
[   ]kiv.lib.basic_9.0.2.202209231718.jar2022-09-23 17:19 747  
[   ]kiv.editor_9.0.2.202209231718.jar2022-09-23 17:19 788K 
[   ]kiv.lib.basic_9.0.2.202209261358.jar2022-09-26 13:59 39M 
[   ]kiv_9.0.2.202209261358.jar2022-09-26 13:59 21M 
[   ]kiv.editor_9.0.2.202209261358.jar2022-09-26 13:59 788K 
[   ]kiv_9.0.2.202210101608.jar2022-10-10 16:09 21M 
[   ]kiv.lib.basic_9.0.2.202210101608.jar2022-10-10 16:09 39M 
[   ]kiv.editor_9.0.2.202210101608.jar2022-10-10 16:09 787K 
[   ]kiv_9.0.3.202211151714.jar2022-11-15 17:15 21M 
[   ]kiv.editor_9.0.3.202211151714.jar2022-11-15 17:15 787K 
[   ]kiv.lib.basic_9.0.2.202211151714.jar2022-11-15 17:15 39M 
[   ]kiv_9.0.3.202211171705.jar2022-11-17 17:06 21M 
[   ]kiv.editor_9.0.3.202211171705.jar2022-11-17 17:06 787K 
[   ]kiv.lib.basic_9.0.2.202211171705.jar2022-11-17 17:06 39M 
[   ]kiv.editor_9.0.3.202211281753.jar2022-11-28 17:54 787K 
[   ]kiv.lib.basic_9.0.2.202211281753.jar2022-11-28 17:55 39M 
[   ]kiv_9.0.3.202211281753.jar2022-11-28 17:55 21M 
[   ]kiv_9.0.3.202212061556.jar2022-12-06 15:57 21M 
[   ]kiv.lib.basic_9.0.2.202212061556.jar2022-12-06 15:57 39M 
[   ]kiv.editor_9.0.3.202212061556.jar2022-12-06 15:57 787K 
[   ]kiv_9.0.3.202212081518.jar2022-12-08 15:19 21M 
[   ]kiv.editor_9.0.3.202212081518.jar2022-12-08 15:19 787K 
[   ]kiv.lib.basic_9.0.2.202212081518.jar2022-12-08 15:19 39M 
[   ]kiv_9.0.3.202212091355.jar2022-12-09 13:56 21M 
[   ]kiv.editor_9.0.3.202212091355.jar2022-12-09 13:56 787K 
[   ]kiv.lib.basic_9.0.2.202212091355.jar2022-12-09 13:56 39M 
[   ]z3.plugin_4.8.4.jar2022-12-09 13:56 149K 
[   ]org.scala-lang.modules.scala-parser-combinators_1.0.6.jar2022-12-09 13:56 207K 
[   ]org.scala-lang.scala-library_2.12.3.v20170725-052526-VFINAL-6ac6da8.jar2022-12-09 13:56 5.0M 
[   ]jgraphx.plugin_3.7.5.jar2022-12-09 13:56 536K 
[   ]cvc4.plugin_1.6.0.jar2022-12-09 13:56 258K 

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