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

	Name	Last modified	Size	Description
	Parent Directory		-
	cvc4.plugin_1.6.0.jar	2021-10-13 16:17	258K
	jgraphx.plugin_3.7.5.jar	2021-10-13 16:17	536K
	kiv.codegen_9.0.0.201905072031.jar	2019-05-07 20:33	254K
	kiv.codegen_9.0.0.201910091751.jar	2019-10-09 17:53	287K
	kiv.codegen_9.0.0.201910111330.jar	2019-10-11 13:31	287K
	kiv.codegen_9.0.0.201910301058.jar	2019-11-28 18:26	287K
	kiv.codegen_9.0.0.202004071328.jar	2020-04-07 13:30	309K
	kiv.editor_9.0.0.201905072031.jar	2019-05-07 20:33	745K
	kiv.editor_9.0.0.201910091751.jar	2019-10-09 17:53	743K
	kiv.editor_9.0.0.201910111330.jar	2019-10-11 13:31	743K
	kiv.editor_9.0.0.201910301058.jar	2019-11-28 18:26	743K
	kiv.editor_9.0.0.202004071328.jar	2020-04-07 13:30	759K
	kiv.editor_9.0.0.202010281506.jar	2020-10-28 15:08	765K
	kiv.editor_9.0.0.202104090927.jar	2021-04-09 09:30	764K
	kiv.editor_9.0.0.202109291556.jar	2021-09-29 16:24	764K
	kiv.editor_9.0.0.202110131600.jar	2021-10-13 16:17	764K
	kiv.lib.basic_9.0.0.201905072031.jar	2019-05-07 20:34	30M
	kiv.lib.basic_9.0.0.201910091751.jar	2019-10-09 17:53	30M
	kiv.lib.basic_9.0.0.201910111330.jar	2019-10-11 13:31	30M
	kiv.lib.basic_9.0.0.201910301058.jar	2019-10-30 10:58	30M
	kiv.lib.basic_9.0.0.201911281825.jar	2019-11-28 18:27	30M
	kiv.lib.basic_9.0.0.202004071328.jar	2020-04-07 13:30	30M
	kiv.lib.basic_9.0.0.202010281506.jar	2020-10-28 15:08	30M
	kiv.lib.basic_9.0.0.202104090927.jar	2021-04-09 09:30	33M
	kiv.lib.basic_9.0.0.202109291556.jar	2021-09-29 16:24	35M
	kiv.lib.basic_9.0.0.202110131600.jar	2021-10-13 16:17	35M
	kiv_9.0.0.201905072031.jar	2019-05-07 20:34	21M
	kiv_9.0.0.201910091751.jar	2019-10-09 17:53	21M
	kiv_9.0.0.201910111330.jar	2019-10-11 13:31	21M
	kiv_9.0.0.201910301058.jar	2019-11-28 18:27	21M
	kiv_9.0.0.202004071328.jar	2020-04-07 13:29	19M
	kiv_9.0.0.202010281506.jar	2020-10-28 15:08	19M
	kiv_9.0.0.202104090927.jar	2021-04-09 09:29	20M
	kiv_9.0.0.202109291556.jar	2021-09-29 16:24	20M
	kiv_9.0.0.202110131600.jar	2021-10-13 16:17	20M
	kodkod.plugin_2.1.0.jar	2021-10-13 16:17	713K
	z3.plugin_4.8.4.jar	2021-10-13 16:17	149K