Index of /releases/v9/unstable/site/plugins
Name
Last modified
Size
Description
Parent Directory
-
kiv.lib.basic_9.0.2.202211151714.jar
2022-11-15 17:15
39M
kiv.lib.basic_9.0.2.202211171705.jar
2022-11-17 17:06
39M
kiv.lib.basic_9.0.2.202210101608.jar
2022-10-10 16:09
39M
kiv.lib.basic_9.0.2.202209261358.jar
2022-09-26 13:59
39M
kiv.lib.basic_9.0.2.202209211604.jar
2022-09-21 16:06
39M
kiv.lib.basic_9.0.2.202206071138.jar
2022-06-07 11:39
39M
kiv.lib.basic_9.0.2.202206071130.jar
2022-06-07 11:31
39M
kiv.lib.basic_9.0.2.202209161408.jar
2022-09-16 14:09
39M
kiv.lib.basic_9.0.2.202206071124.jar
2022-06-07 11:26
39M
kiv.lib.basic_9.0.2.202206011724.jar
2022-06-01 17:25
39M
kiv.lib.basic_9.0.2.202206021515.jar
2022-06-02 15:17
39M
kiv.lib.basic_9.0.2.202211281753.jar
2022-11-28 17:55
39M
kiv.lib.basic_9.0.2.202212091355.jar
2022-12-09 13:56
39M
kiv.lib.basic_9.0.2.202212061556.jar
2022-12-06 15:57
39M
kiv.lib.basic_9.0.2.202212081518.jar
2022-12-08 15:19
39M
kiv.lib.basic_9.0.2.202204201733.jar
2022-04-20 17:34
39M
kiv.lib.basic_9.0.2.202204191153.jar
2022-04-19 11:56
36M
kiv.lib.basic_9.0.2.202204200910.jar
2022-04-20 09:10
36M
kiv_9.0.3.202212091355.jar
2022-12-09 13:56
21M
kiv_9.0.3.202212081518.jar
2022-12-08 15:19
21M
kiv_9.0.3.202212061556.jar
2022-12-06 15:57
21M
kiv_9.0.3.202211281753.jar
2022-11-28 17:55
21M
kiv_9.0.3.202211171705.jar
2022-11-17 17:06
21M
kiv_9.0.3.202211151714.jar
2022-11-15 17:15
21M
kiv_9.0.2.202209261358.jar
2022-09-26 13:59
21M
kiv_9.0.2.202209231718.jar
2022-09-23 17:19
21M
kiv_9.0.2.202209211604.jar
2022-09-21 16:06
21M
kiv_9.0.2.202209161408.jar
2022-09-16 14:09
21M
kiv_9.0.2.202210101608.jar
2022-10-10 16:09
21M
kiv_9.0.2.202206071138.jar
2022-06-07 11:39
21M
kiv_9.0.2.202206071130.jar
2022-06-07 11:39
21M
kiv_9.0.2.202206071124.jar
2022-06-07 11:26
21M
kiv_9.0.2.202206021515.jar
2022-06-02 15:16
21M
kiv_9.0.2.202206011724.jar
2022-06-01 17:25
21M
kiv_9.0.2.202204201733.jar
2022-04-20 17:34
21M
kiv_9.0.2.202204200910.jar
2022-04-20 09:10
21M
kiv_9.0.2.202204191153.jar
2022-04-19 11:56
21M
org.scala-lang.scala-library_2.12.3.v20170725-052526-VFINAL-6ac6da8.jar
2022-12-09 13:56
5.0M
kiv.editor_9.0.2.202206071130.jar
2022-06-07 11:31
789K
kiv.editor_9.0.2.202206071124.jar
2022-06-07 11:26
789K
kiv.editor_9.0.2.202206071138.jar
2022-06-07 11:39
788K
kiv.editor_9.0.2.202209261358.jar
2022-09-26 13:59
788K
kiv.editor_9.0.2.202209231718.jar
2022-09-23 17:19
788K
kiv.editor_9.0.2.202209161408.jar
2022-09-16 14:09
788K
kiv.editor_9.0.2.202209211604.jar
2022-09-21 16:06
788K
kiv.editor_9.0.3.202211171705.jar
2022-11-17 17:06
787K
kiv.editor_9.0.3.202212061556.jar
2022-12-06 15:57
787K
kiv.editor_9.0.3.202212081518.jar
2022-12-08 15:19
787K
kiv.editor_9.0.3.202211281753.jar
2022-11-28 17:54
787K
kiv.editor_9.0.3.202211151714.jar
2022-11-15 17:15
787K
kiv.editor_9.0.2.202210101608.jar
2022-10-10 16:09
787K
kiv.editor_9.0.3.202212091355.jar
2022-12-09 13:56
787K
kiv.editor_9.0.2.202204201733.jar
2022-04-20 17:34
764K
kiv.editor_9.0.2.202204191153.jar
2022-04-19 11:56
764K
kiv.editor_9.0.2.202204200910.jar
2022-04-20 09:10
764K
kiv.editor_9.0.2.202206021515.jar
2022-06-02 15:16
762K
kiv.editor_9.0.2.202206011724.jar
2022-06-01 17:25
762K
kodkod.plugin_2.1.0.jar
2022-06-07 11:26
713K
jgraphx.plugin_3.7.5.jar
2022-12-09 13:56
536K
cvc4.plugin_1.6.0.jar
2022-12-09 13:56
258K
org.scala-lang.modules.scala-parser-combinators_1.0.6.jar
2022-12-09 13:56
207K
z3.plugin_4.8.4.jar
2022-12-09 13:56
149K
kiv.lib.basic_9.0.2.202209231718.jar
2022-09-23 17:19
747
Apache/2.4.58 (Ubuntu) Server at kivserver.informatik.uni-augsburg.de Port 443