Index of /releases/v9/stable/site-bak/features
Name
Last modified
Size
Description
Parent Directory
-
cvc4.feature_1.6.0.jar
2021-10-13 16:17
3.0K
jgraphx.feature_3.7.5.jar
2021-10-13 16:17
1.4K
z3.feature_4.8.4.jar
2021-10-13 16:17
1.0K
kiv.lib_9.0.0.202110131600.jar
2021-10-13 16:17
812
kiv.eclipse_9.0.0.202110131600.jar
2021-10-13 16:17
1.5K
kodkod.feature_2.1.0.jar
2021-10-13 16:17
1.3K
kiv.lib_9.0.0.202109291556.jar
2021-09-29 16:24
814
kiv.eclipse_9.0.0.202109291556.jar
2021-09-29 16:24
1.5K
kiv.lib_9.0.0.202104090927.jar
2021-04-09 09:30
814
kiv.eclipse_9.0.0.202104090927.jar
2021-04-09 09:30
1.5K
kiv.eclipse_9.0.0.202010281506.jar
2020-10-28 15:08
1.5K
kiv.lib_9.0.0.202010281506.jar
2020-10-28 15:08
812
kiv.lib_9.0.0.202004071328.jar
2020-04-07 13:30
814
kiv.eclipse_9.0.0.202004071328.jar
2020-04-07 13:30
1.5K
kiv.codegen_9.0.0.202004071328.jar
2020-04-07 13:30
1.3K
kiv.lib_9.0.0.201911281825.jar
2019-11-28 18:27
812
kiv.lib_9.0.0.201910301058.jar
2019-10-30 10:58
812
kiv.eclipse_9.0.0.201910301058.jar
2019-10-30 10:58
1.5K
kiv.codegen_9.0.0.201910301058.jar
2019-10-30 10:58
1.3K
kiv.codegen_9.0.0.201910111330.jar
2019-10-11 13:31
1.3K
kiv.lib_9.0.0.201910111330.jar
2019-10-11 13:31
811
kiv.eclipse_9.0.0.201910111330.jar
2019-10-11 13:31
1.5K
kiv.lib_9.0.0.201910091751.jar
2019-10-09 17:53
812
kiv.eclipse_9.0.0.201910091751.jar
2019-10-09 17:53
1.5K
kiv.codegen_9.0.0.201910091751.jar
2019-10-09 17:53
1.3K
kiv.lib_9.0.0.201905072031.jar
2019-05-07 20:34
812
kiv.eclipse_9.0.0.201905072031.jar
2019-05-07 20:34
1.5K
kiv.codegen_9.0.0.201905072031.jar
2019-05-07 20:34
1.3K
Apache/2.4.58 (Ubuntu) Server at kivserver.informatik.uni-augsburg.de Port 443