Index of /releases/v10/unstable/site/plugins

	Name	Last modified	Size	Description
	Parent Directory		-
	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.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.202407111340.jar	2024-07-11 13:41	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.6.202409231321.jar	2024-09-23 13:26	799K
	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.202407021750.jar	2024-07-02 17:51	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.6.202409231321.jar	2024-09-23 13:26	781
	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.202407111340.jar	2024-07-11 13:41	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.6.202409231321.jar	2024-09-23 13:26	22M
	org.scala-lang.modules.scala-parser-combinators_1.0.6.jar	2024-09-23 13:26	207K
	org.scala-lang.scala-library_2.12.3.v20170725-052526-VFINAL-6ac6da8.jar	2024-09-23 13:26	5.0M
	z3.plugin_4.8.4.jar	2024-09-23 13:26	149K