Index of /releases/v10/stable/site/plugins
Name
Last modified
Size
Description
Parent Directory
-
cvc4.plugin_1.6.0.jar
2023-11-09 15:22
258K
jgraphx.plugin_3.7.5.jar
2023-11-09 15:22
536K
kiv.editor_10.0.0.202303291056.jar
2023-03-29 10:58
798K
kiv.editor_10.0.1.202305221121.jar
2023-05-22 11:27
798K
kiv.editor_10.0.2.202310101433.jar
2023-10-10 14:34
795K
kiv.editor_10.0.2.202310101446.jar
2023-10-10 14:46
795K
kiv.editor_10.0.2.202310121206.jar
2023-10-12 12:07
795K
kiv.editor_10.0.3.202311091521.jar
2023-11-09 15:22
795K
kiv.lib.basic_10.0.0.202303291056.jar
2023-03-29 10:58
39M
kiv.lib.basic_10.0.0.202305221121.jar
2023-05-22 11:27
38M
kiv.lib.basic_10.0.0.202310101433.jar
2023-10-10 14:34
65M
kiv.lib.basic_10.0.2.202310101446.jar
2023-10-10 14:46
65M
kiv.lib.basic_10.0.2.202310121206.jar
2023-10-12 12:07
65M
kiv.lib.basic_10.0.3.202311091521.jar
2023-11-09 15:22
65M
kiv_10.0.0.202303291056.jar
2023-03-29 10:58
21M
kiv_10.0.1.202305221121.jar
2023-05-22 11:27
21M
kiv_10.0.2.202310101433.jar
2023-10-10 14:34
21M
kiv_10.0.2.202310101446.jar
2023-10-10 14:46
21M
kiv_10.0.2.202310121206.jar
2023-10-12 12:07
21M
kiv_10.0.3.202311091521.jar
2023-11-09 15:22
21M
org.scala-lang.modules.scala-parser-combinators_1.0.6.jar
2023-11-09 15:22
207K
org.scala-lang.scala-library_2.12.3.v20170725-052526-VFINAL-6ac6da8.jar
2023-11-09 15:22
5.0M
z3.plugin_4.8.4.jar
2023-11-09 15:22
149K
Apache/2.4.52 (Ubuntu) Server at kivserver.informatik.uni-augsburg.de Port 443