Index of /releases/v10/unstable/site/plugins
Name
Last modified
Size
Description
Parent Directory
-
kiv.lib.basic_10.0.6.202409231321.jar
2024-09-23 13:26
781
z3.plugin_4.8.4.jar
2024-09-23 13:26
149K
org.scala-lang.modules.scala-parser-combinators_1.0.6.jar
2024-09-23 13:26
207K
cvc4.plugin_1.6.0.jar
2024-09-23 13:26
258K
jgraphx.plugin_3.7.5.jar
2024-09-23 13:26
536K
kiv.editor_10.0.6.202409231321.jar
2024-09-23 13:26
799K
kiv.editor_10.0.5.202406121014.jar
2024-06-12 10:15
800K
kiv.editor_10.0.5.202406121041.jar
2024-06-12 10:41
800K
kiv.editor_10.0.5.202407021750.jar
2024-07-11 11:53
800K
kiv.editor_10.0.5.202407111152.jar
2024-07-11 11:53
800K
kiv.editor_10.0.5.202407111505.jar
2024-07-11 15:06
800K
kiv.editor_10.0.5.202407111627.jar
2024-07-11 16:28
800K
kiv.editor_10.0.5.202407111340.jar
2024-07-11 13:41
800K
org.scala-lang.scala-library_2.12.3.v20170725-052526-VFINAL-6ac6da8.jar
2024-09-23 13:26
5.0M
kiv_10.0.5.202406121014.jar
2024-06-12 10:15
21M
kiv_10.0.5.202406121041.jar
2024-06-12 10:41
21M
kiv_10.0.5.202407021750.jar
2024-07-11 11:53
21M
kiv_10.0.5.202407111152.jar
2024-07-11 11:53
22M
kiv_10.0.5.202407111505.jar
2024-07-11 15:06
22M
kiv_10.0.5.202407111627.jar
2024-07-11 16:28
22M
kiv_10.0.5.202407111340.jar
2024-07-11 13:41
22M
kiv_10.0.6.202409231321.jar
2024-09-23 13:26
22M
kiv.lib.basic_10.0.5.202406121014.jar
2024-06-12 10:15
67M
kiv.lib.basic_10.0.5.202406121041.jar
2024-06-12 10:41
67M
kiv.lib.basic_10.0.5.202407111152.jar
2024-07-11 11:53
67M
kiv.lib.basic_10.0.5.202407111340.jar
2024-07-11 13:41
67M
kiv.lib.basic_10.0.5.202407111505.jar
2024-07-11 15:06
67M
kiv.lib.basic_10.0.5.202407111627.jar
2024-07-11 16:28
67M
kiv.lib.basic_10.0.5.202407021750.jar
2024-07-02 17:51
67M
Apache/2.4.58 (Ubuntu) Server at kivserver.informatik.uni-augsburg.de Port 443