Index of /releases/v9/stable/site/plugins

	Name	Last modified	Size	Description
	Parent Directory		-
	cvc4.plugin_1.6.0.jar	2022-10-11 17:11	258K
	jgraphx.plugin_3.7.5.jar	2022-10-11 17:11	536K
	kiv.editor_9.0.2.202204191432.jar	2022-04-19 14:33	764K
	kiv.editor_9.0.2.202204200907.jar	2022-04-20 09:09	764K
	kiv.editor_9.0.2.202204201732.jar	2022-04-20 17:33	764K
	kiv.editor_9.0.2.202204201736.jar	2022-04-20 17:36	764K
	kiv.editor_9.0.3.202210111710.jar	2022-10-11 17:11	787K
	kiv.lib.basic_9.0.2.202204191432.jar	2022-04-19 14:33	36M
	kiv.lib.basic_9.0.2.202204200907.jar	2022-04-20 09:09	36M
	kiv.lib.basic_9.0.2.202204201732.jar	2022-04-20 17:33	39M
	kiv.lib.basic_9.0.2.202204201736.jar	2022-04-20 17:36	39M
	kiv.lib.basic_9.0.2.202210111710.jar	2022-10-11 17:11	39M
	kiv_9.0.2.202204191432.jar	2022-04-19 14:33	21M
	kiv_9.0.2.202204200907.jar	2022-04-20 09:08	21M
	kiv_9.0.2.202204201732.jar	2022-04-20 17:32	21M
	kiv_9.0.2.202204201736.jar	2022-04-20 17:36	21M
	kiv_9.0.3.202210111710.jar	2022-10-11 17:11	21M
	kodkod.plugin_2.1.0.jar	2022-04-20 17:36	713K
	org.scala-lang.modules.scala-parser-combinators_1.0.6.jar	2022-10-11 17:11	207K
	org.scala-lang.scala-library_2.12.3.v20170725-052526-VFINAL-6ac6da8.jar	2022-10-11 17:11	5.0M
	z3.plugin_4.8.4.jar	2022-10-11 17:11	149K