Index of /releases/v10/stable/site/plugins

	Name	Last modified	Size	Description
	Parent Directory		-
	cvc4.plugin_1.6.0.jar	2024-06-10 14:08	258K
	jgraphx.plugin_3.7.5.jar	2024-06-10 14:08	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.editor_10.0.4.202404111558.jar	2024-04-11 16:00	796K
	kiv.editor_10.0.5.202406101252.jar	2024-06-10 13:59	800K
	kiv.editor_10.0.5.202406101408.jar	2024-06-10 14:08	800K
	kiv.editor_10.0.5.202406101434.jar	2024-06-10 14:36	800K
	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.lib.basic_10.0.4.202404111558.jar	2024-04-11 16:00	67M
	kiv.lib.basic_10.0.5.202406101434.jar	2024-06-10 14:36	67M
	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
	kiv_10.0.4.202404111558.jar	2024-04-11 16:00	21M
	kiv_10.0.5.202406101252.jar	2024-06-10 13:59	21M
	kiv_10.0.5.202406101408.jar	2024-06-10 14:08	21M
	kiv_10.0.5.202406101434.jar	2024-06-10 14:36	21M
	org.scala-lang.modules.scala-parser-combinators_1.0.6.jar	2024-06-10 14:08	207K
	org.scala-lang.scala-library_2.12.3.v20170725-052526-VFINAL-6ac6da8.jar	2024-06-10 14:08	5.0M
	z3.plugin_4.8.4.jar	2024-06-10 14:08	149K