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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cvc4.plugin_1.6.0.jar2022-04-19 11:53 258K 
[ ]kiv.lib.basic_9.0.2.202204191153.jar2022-04-19 11:53 36M 
[ ]jgraphx.plugin_3.7.5.jar2022-04-19 11:53 536K 
[ ]org.scala-lang.scala-library_2.12.3.v20170725-052526-VFINAL-6ac6da8.jar2022-04-19 11:53 5.0M 
[ ]org.scala-lang.modules.scala-parser-combinators_1.0.6.jar2022-04-19 11:53 207K 
[ ]kiv_9.0.2.202204191153.jar2022-04-19 11:53 21M 
[ ]kodkod.plugin_2.1.0.jar2022-04-19 11:53 713K 
[ ]z3.plugin_4.8.4.jar2022-04-19 11:53 149K 
[ ]kiv.editor_9.0.2.202204191153.jar2022-04-19 11:53 764K 
[ ]kiv.editor_9.0.2.202204191148.jar2022-04-19 11:49 764K 
[ ]kiv.lib.basic_9.0.0.202204191148.jar2022-04-19 11:49 36M 
[ ]kiv_9.0.2.202204191148.jar2022-04-19 11:49 21M 
[ ]kiv.editor_9.0.0.202204191137.jar2022-04-19 11:39 764K 
[ ]kiv.editor_9.0.0.202204191138.jar2022-04-19 11:39 764K 
[ ]kiv.lib.basic_9.0.0.202204191138.jar2022-04-19 11:39 36M 
[ ]kiv.lib.basic_9.0.0.202204191137.jar2022-04-19 11:39 36M 
[ ]kiv_9.0.0.202204191137.jar2022-04-19 11:39 21M 
[ ]kiv_9.0.2.202204191138.jar2022-04-19 11:39 21M 
[ ]kiv_9.0.0.202204191126.jar2022-04-19 11:32 21M 
[ ]kiv.editor_9.0.0.202204191131.jar2022-04-19 11:32 764K 
[ ]kiv.lib.basic_9.0.0.202204191131.jar2022-04-19 11:32 36M 
[ ]kiv_9.0.0.202204191131.jar2022-04-19 11:32 21M 
[ ]kiv.editor_9.0.0.202204191126.jar2022-04-19 11:32 764K 
[ ]kiv.lib.basic_9.0.0.202204191126.jar2022-04-19 11:32 746  
[ ]kiv.editor_9.0.0.202204011340.jar2022-04-01 13:53 764K 
[ ]kiv.lib.basic_9.0.0.202204011340.jar2022-04-01 13:53 36M 
[ ]kiv_9.0.0.202204011340.jar2022-04-01 13:53 21M 
[ ]kiv.editor_9.0.0.202201251545.jar2022-01-25 15:47 764K 
[ ]kiv.lib.basic_9.0.0.202201251545.jar2022-01-25 15:47 35M 
[ ]kiv_9.0.0.202201251545.jar2022-01-25 15:47 20M 
[ ]kiv.lib.basic_9.0.0.202109131315.jar2021-09-13 13:17 35M 
[ ]kiv_9.0.0.202109131315.jar2021-09-13 13:17 20M 
[ ]kiv.editor_9.0.0.202109131315.jar2021-09-13 13:17 764K 
[ ]kiv_9.0.0.202107201746.jar2021-07-20 17:47 20M 
[ ]kiv.editor_9.0.0.202107201746.jar2021-07-20 17:47 764K 
[ ]kiv.lib.basic_9.0.0.202107201746.jar2021-07-20 17:47 35M 
[ ]kiv.editor_9.0.0.202106151100.jar2021-06-15 11:02 764K 
[ ]kiv_9.0.0.202106151100.jar2021-06-15 11:02 20M 
[ ]kiv.lib.basic_9.0.0.202106151100.jar2021-06-15 11:02 34M 
[ ]kiv.editor_9.0.0.202105251422.jar2021-05-25 14:23 764K 
[ ]kiv.lib.basic_9.0.0.202105251422.jar2021-05-25 14:23 34M 
[ ]kiv_9.0.0.202105251422.jar2021-05-25 14:23 20M 
[ ]kiv.editor_9.0.0.202103251339.jar2021-03-25 13:40 764K 
[ ]kiv.lib.basic_9.0.0.202103251339.jar2021-03-25 13:40 42M 
[ ]kiv_9.0.0.202103251339.jar2021-03-25 13:40 20M 
[ ]kiv.editor_9.0.0.202103251323.jar2021-03-25 13:24 764K 
[ ]kiv.lib.basic_9.0.0.202103251323.jar2021-03-25 13:24 42M 
[ ]kiv_9.0.0.202103251323.jar2021-03-25 13:24 20M 
[ ]kiv.lib.basic_9.0.0.202103251314.jar2021-03-25 13:15 42M 
[ ]kiv_9.0.0.202103251314.jar2021-03-25 13:15 20M 
[ ]kiv.editor_9.0.0.202103251314.jar2021-03-25 13:15 764K 
[ ]kiv.editor_9.0.0.202103251312.jar2021-03-25 13:13 764K 
[ ]kiv.lib.basic_9.0.0.202103251312.jar2021-03-25 13:13 776  
[ ]kiv_9.0.0.202103251312.jar2021-03-25 13:13 20M 
[ ]kiv.editor_9.0.0.202103101727.jar2021-03-10 17:29 764K 
[ ]kiv.lib.basic_9.0.0.202103101727.jar2021-03-10 17:29 31M 
[ ]kiv_9.0.0.202103101727.jar2021-03-10 17:28 20M 
[ ]kiv.editor_9.0.0.202011091633.jar2020-11-09 16:36 765K 
[ ]kiv.lib.basic_9.0.0.202011091633.jar2020-11-09 16:36 30M 
[ ]kiv_9.0.0.202011091633.jar2020-11-09 16:35 19M 
[ ]kiv.lib.basic_9.0.0.202009081112.jar2020-09-08 11:15 30M 
[ ]kiv_9.0.0.202009081112.jar2020-09-08 11:14 19M 
[ ]kiv.editor_9.0.0.202009081112.jar2020-09-08 11:13 759K 
[ ]kiv.editor_9.0.0.202009020927.jar2020-09-07 10:05 759K 
[ ]kiv.editor_9.0.0.202009071002.jar2020-09-07 10:05 759K 
[ ]kiv.lib.basic_9.0.0.202009071002.jar2020-09-07 10:05 30M 
[ ]kiv_9.0.0.202009071002.jar2020-09-07 10:04 19M 
[ ]kiv.lib.basic_9.0.0.202009020927.jar2020-09-07 10:03 30M 
[ ]kiv_9.0.0.202009020927.jar2020-09-02 09:29 19M 
[ ]kiv.codegen_9.0.0.202007081055.jar2020-07-08 10:57 309K 
[ ]kiv.editor_9.0.0.202007081055.jar2020-07-08 10:57 759K 
[ ]kiv.lib.basic_9.0.0.202007081055.jar2020-07-08 10:57 30M 
[ ]kiv_9.0.0.202007081055.jar2020-07-08 10:57 19M 
[ ]kiv.editor_9.0.0.202007061353.jar2020-07-06 13:56 759K 
[ ]kiv.lib.basic_9.0.0.202007061353.jar2020-07-06 13:56 30M 
[ ]kiv_9.0.0.202007061353.jar2020-07-06 13:55 19M 
[ ]kiv.codegen_9.0.0.202007061353.jar2020-07-06 13:55 309K 
[ ]kiv_9.0.0.202007061145.jar2020-07-06 11:48 19M 
[ ]kiv.codegen_9.0.0.202007061145.jar2020-07-06 11:47 309K 
[ ]kiv.editor_9.0.0.202007061145.jar2020-07-06 11:47 759K 
[ ]kiv.lib.basic_9.0.0.202007061145.jar2020-07-06 11:47 30M 
[ ]kiv.codegen_9.0.0.202007031705.jar2020-07-03 17:07 309K 
[ ]kiv.editor_9.0.0.202007031705.jar2020-07-03 17:07 759K 
[ ]kiv.lib.basic_9.0.0.202007031705.jar2020-07-03 17:07 30M 
[ ]kiv_9.0.0.202007031705.jar2020-07-03 17:06 19M 
[ ]kiv.editor_9.0.0.202006301621.jar2020-06-30 16:23 759K 
[ ]kiv.lib.basic_9.0.0.202006301621.jar2020-06-30 16:23 31M 
[ ]kiv_9.0.0.202006301621.jar2020-06-30 16:22 19M 
[ ]kiv.codegen_9.0.0.202006301621.jar2020-06-30 16:22 309K 
[ ]kiv.lib.basic_9.0.0.202006041105.jar2020-06-04 11:06 31M 
[ ]kiv_9.0.0.202006041105.jar2020-06-04 11:06 19M 
[ ]kiv.codegen_9.0.0.202006041105.jar2020-06-04 11:05 309K 
[ ]kiv.editor_9.0.0.202006041105.jar2020-06-04 11:05 759K 
[ ]kiv.codegen_9.0.0.202006041034.jar2020-06-04 10:35 309K 
[ ]kiv.editor_9.0.0.202006041034.jar2020-06-04 10:35 759K 
[ ]kiv.lib.basic_9.0.0.202006041034.jar2020-06-04 10:35 31M 
[ ]kiv_9.0.0.202006041034.jar2020-06-04 10:34 19M 
[ ]kiv.editor_9.0.0.202006041021.jar2020-06-04 10:23 759K 
[ ]kiv.lib.basic_9.0.0.202006041021.jar2020-06-04 10:23 31M 
[ ]kiv_9.0.0.202006041021.jar2020-06-04 10:22 19M 
[ ]kiv.codegen_9.0.0.202005050958.jar2020-05-05 10:00 309K 
[ ]kiv.editor_9.0.0.202005050958.jar2020-05-05 10:00 759K 
[ ]kiv.lib.basic_9.0.0.202005050958.jar2020-05-05 10:00 30M 
[ ]kiv_9.0.0.202005050958.jar2020-05-05 09:59 19M 
[ ]kiv_9.0.0.202004291336.jar2020-04-29 13:38 19M 
[ ]kiv.lib.basic_9.0.0.202004291336.jar2020-04-29 13:38 30M 
[ ]kiv.codegen_9.0.0.202004291336.jar2020-04-29 13:37 309K 
[ ]kiv.editor_9.0.0.202004291336.jar2020-04-29 13:37 759K 
[ ]kiv.codegen_9.0.0.202004211718.jar2020-04-21 17:20 309K 
[ ]kiv.editor_9.0.0.202004211718.jar2020-04-21 17:20 759K 
[ ]kiv.lib.basic_9.0.0.202004211718.jar2020-04-21 17:20 31M 
[ ]kiv_9.0.0.202004211718.jar2020-04-21 17:19 19M 
[ ]kiv.editor_9.0.0.202004171728.jar2020-04-17 17:30 759K 
[ ]kiv.lib.basic_9.0.0.202004171728.jar2020-04-17 17:30 31M 
[ ]kiv_9.0.0.202004171728.jar2020-04-17 17:29 19M 
[ ]kiv.codegen_9.0.0.202004171728.jar2020-04-17 17:29 309K 
[ ]kiv.codegen_9.0.0.202004151748.jar2020-04-15 17:50 309K 
[ ]kiv.editor_9.0.0.202004151748.jar2020-04-15 17:50 759K 
[ ]kiv.lib.basic_9.0.0.202004151748.jar2020-04-15 17:50 31M 
[ ]kiv_9.0.0.202004151748.jar2020-04-15 17:50 19M 
[ ]kiv.lib.basic_9.0.0.202004151706.jar2020-04-15 17:08 31M 
[ ]kiv_9.0.0.202004151706.jar2020-04-15 17:07 19M 
[ ]kiv.codegen_9.0.0.202004151706.jar2020-04-15 17:07 309K 
[ ]kiv.editor_9.0.0.202004151706.jar2020-04-15 17:07 759K 
[ ]kiv.editor_9.0.0.202004141741.jar2020-04-14 17:45 759K 
[ ]kiv.lib.basic_9.0.0.202004141741.jar2020-04-14 17:45 31M 
[ ]kiv.codegen_9.0.0.202004071328.jar2020-04-14 17:44 309K 
[ ]kiv_9.0.0.202004141741.jar2020-04-14 17:44 19M 
[ ]kiv.editor_9.0.0.202004071328.jar2020-04-14 17:43 759K 
[ ]kiv.lib.basic_9.0.0.202004071328.jar2020-04-14 17:43 30M 
[ ]kiv_9.0.0.202004071328.jar2020-04-14 17:42 19M 
[ ]kiv.codegen_9.0.0.202004141741.jar2020-04-14 17:42 309K 
[ ]kiv.codegen_9.0.0.202004021440.jar2020-04-02 14:42 309K 
[ ]kiv.editor_9.0.0.202004021440.jar2020-04-02 14:42 759K 
[ ]kiv.lib.basic_9.0.0.202004021440.jar2020-04-02 14:42 30M 
[ ]kiv_9.0.0.202004021440.jar2020-04-02 14:41 19M 
[ ]kiv.editor_9.0.0.202004011509.jar2020-04-01 15:11 752K 
[ ]kiv.lib.basic_9.0.0.202004011509.jar2020-04-01 15:11 30M 
[ ]kiv_9.0.0.202004011509.jar2020-04-01 15:11 18M 
[ ]kiv.codegen_9.0.0.202004011509.jar2020-04-01 15:10 309K 
[ ]kiv.editor_9.0.0.202003311050.jar2020-03-31 10:54 752K 
[ ]kiv.lib.basic_9.0.0.202003311050.jar2020-03-31 10:54 30M 
[ ]kiv_9.0.0.202003311050.jar2020-03-31 10:53 18M 
[ ]kiv.codegen_9.0.0.202003311050.jar2020-03-31 10:52 309K 
[ ]kiv_9.0.0.202003041023.jar2020-03-04 10:24 18M 
[ ]kiv.codegen_9.0.0.202003041023.jar2020-03-04 10:24 309K 
[ ]kiv.editor_9.0.0.202003041023.jar2020-03-04 10:24 749K 
[ ]kiv.lib.basic_9.0.0.202003041023.jar2020-03-04 10:24 30M 
[ ]kiv_9.0.0.202002031739.jar2020-02-03 17:39 18M 
[ ]kiv.codegen_9.0.0.202002031739.jar2020-02-03 17:39 308K 
[ ]kiv.editor_9.0.0.202002031739.jar2020-02-03 17:39 750K 
[ ]kiv.lib.basic_9.0.0.202002031739.jar2020-02-03 17:39 30M 
[ ]kiv.lib.basic_9.0.0.201910301058.jar2020-01-17 16:05 30M 
[ ]kiv.lib.basic_9.0.0.202001171605.jar2020-01-17 16:05 30M 
[ ]kiv_9.0.0.201910301058.jar2020-01-17 16:05 21M 
[ ]kiv.lib.basic_9.0.0.201911281825.jar2020-01-17 16:05 30M 
[ ]kiv.codegen_9.0.0.201910301058.jar2020-01-17 16:05 287K 
[ ]kiv.codegen_9.0.0.202001171605.jar2020-01-17 16:05 305K 
[ ]kiv.editor_9.0.0.201910301058.jar2020-01-17 16:05 743K 
[ ]kiv.editor_9.0.0.202001171605.jar2020-01-17 16:05 740K 
[ ]kiv_9.0.0.202001171605.jar2020-01-17 16:05 18M 
[ ]kiv.lib.basic_9.0.0.201910301045.jar2019-10-30 10:45 30M 
[ ]kiv_9.0.0.201910301045.jar2019-10-30 10:45 18M 
[ ]kiv_9.0.0.201910161512.jar2019-10-30 10:45 18M 
[ ]kiv.codegen_9.0.0.201910301045.jar2019-10-30 10:45 302K 
[ ]kiv.codegen_9.0.0.201910161512.jar2019-10-30 10:45 297K 
[ ]kiv.editor_9.0.0.201910301045.jar2019-10-30 10:45 741K 
[ ]kiv.editor_9.0.0.201910161512.jar2019-10-16 15:12 741K 
[ ]kiv.lib.basic_9.0.0.201910161512.jar2019-10-16 15:12 30M 
[ ]kiv.codegen_9.0.0.201910111330.jar2019-10-11 13:31 287K 
[ ]kiv.editor_9.0.0.201910111330.jar2019-10-11 13:31 743K 
[ ]kiv.lib.basic_9.0.0.201910111330.jar2019-10-11 13:31 30M 
[ ]kiv_9.0.0.201910111330.jar2019-10-11 13:31 21M 
[ ]kiv.editor_9.0.0.201910091751.jar2019-10-09 17:53 743K 
[ ]kiv.lib.basic_9.0.0.201910091751.jar2019-10-09 17:53 30M 
[ ]kiv_9.0.0.201910091751.jar2019-10-09 17:53 21M 
[ ]kiv.codegen_9.0.0.201910091751.jar2019-10-09 17:53 287K 
[ ]kiv.editor_9.0.0.201909251349.jar2019-10-02 16:47 749K 
[ ]kiv.lib.basic_9.0.0.201909251349.jar2019-10-02 16:47 30M 
[ ]kiv_9.0.0.201909251349.jar2019-10-02 16:47 21M 
[ ]kiv.codegen_9.0.0.201910021635.jar2019-10-02 16:47 285K 
[ ]kiv.editor_9.0.0.201910021635.jar2019-10-02 16:47 738K 
[ ]kiv.lib.basic_9.0.0.201910021635.jar2019-10-02 16:47 30M 
[ ]kiv.codegen_9.0.0.201909251349.jar2019-10-02 16:46 283K 
[ ]kiv_9.0.0.201910021635.jar2019-10-02 16:46 21M 
[ ]kiv.lib.basic_9.0.0.201905072031.jar2019-09-16 10:18 30M 
[ ]kiv.lib.basic_9.0.0.201909161013.jar2019-09-16 10:18 30M 
[ ]kiv_9.0.0.201905072031.jar2019-09-16 10:18 21M 
[ ]kiv_9.0.0.201909161013.jar2019-09-16 10:18 21M 
[ ]kiv.codegen_9.0.0.201905072031.jar2019-09-16 10:18 254K 
[ ]kiv.codegen_9.0.0.201909161013.jar2019-09-16 10:18 275K 
[ ]kiv.editor_9.0.0.201905072031.jar2019-09-16 10:18 745K 
[ ]kiv.editor_9.0.0.201909161013.jar2019-09-16 10:18 749K 
[ ]kiv.lib.basic_9.0.0.201904091745.jar2019-04-09 17:47 30M 
[ ]kiv.editor_9.0.0.201904091745.jar2019-04-09 17:47 748K 
[ ]kiv.codegen_9.0.0.201904091745.jar2019-04-09 17:47 254K 
[ ]kiv_9.0.0.201904091745.jar2019-04-09 17:47 21M 
[ ]kiv.lib.basic_9.0.0.201903291645.jar2019-03-29 16:47 30M 
[ ]kiv.editor_9.0.0.201903291645.jar2019-03-29 16:47 738K 
[ ]kiv.codegen_9.0.0.201903291645.jar2019-03-29 16:47 254K 
[ ]kiv_9.0.0.201903291645.jar2019-03-29 16:47 21M 
[ ]kiv.lib.basic_9.0.0.201903291327.jar2019-03-29 13:28 30M 
[ ]kiv.editor_9.0.0.201903291327.jar2019-03-29 13:28 738K 
[ ]kiv.codegen_9.0.0.201903291327.jar2019-03-29 13:28 254K 
[ ]kiv_9.0.0.201903291327.jar2019-03-29 13:28 21M 
[ ]kiv.lib.basic_9.0.0.201903271940.jar2019-03-27 19:41 30M 
[ ]kiv.editor_9.0.0.201903271940.jar2019-03-27 19:41 738K 
[ ]kiv.codegen_9.0.0.201903271940.jar2019-03-27 19:41 241K 
[ ]kiv_9.0.0.201903271940.jar2019-03-27 19:41 21M 
[ ]kiv_9.0.0.201903081452.jar2019-03-08 14:54 21M 
[ ]kiv.lib.basic_9.0.0.201903081452.jar2019-03-08 14:54 30M 
[ ]kiv.editor_9.0.0.201903081452.jar2019-03-08 14:54 738K 
[ ]kiv.codegen_9.0.0.201903081452.jar2019-03-08 14:54 221K 
[ ]kiv.lib.basic_9.0.0.201903041353.jar2019-03-04 13:54 30M 
[ ]kiv_9.0.0.201903041353.jar2019-03-04 13:54 21M 
[ ]kiv.editor_9.0.0.201903041353.jar2019-03-04 13:54 738K 
[ ]kiv.codegen_9.0.0.201903041353.jar2019-03-04 13:54 218K 
[ ]kiv.lib.basic_9.0.0.201809141717.jar2018-09-14 17:18 30M 
[ ]kiv.editor_9.0.0.201809141717.jar2018-09-14 17:18 722K 
[ ]kiv.codegen_9.0.0.201809141717.jar2018-09-14 17:18 198K 
[ ]kiv_9.0.0.201809141717.jar2018-09-14 17:18 20M 
[ ]kiv.lib.basic_9.0.0.201809141520.jar2018-09-14 17:18 30M 
[ ]kiv.editor_9.0.0.201809141520.jar2018-09-14 17:18 722K 
[ ]kiv_9.0.0.201809141520.jar2018-09-14 17:18 20M 
[ ]kiv.codegen_9.0.0.201809141520.jar2018-09-14 15:24 198K 
Apache/2.4.58 (Ubuntu) Server at kivserver.informatik.uni-augsburg.de Port 443