Index of /mirrors/jenkins/plugins/autograding/

../
1.0.0/                                             16-May-2020 14:42       -
1.1.0/                                             16-May-2020 14:42       -
2.0.0/                                             17-May-2020 23:10       -
3.0.0/                                             22-Sep-2020 22:20       -
3.0.1/                                             22-Sep-2020 22:20       -
3.1.0/                                             18-Nov-2020 15:56       -
3.2.0/                                             19-Nov-2020 12:20       -
3.3.1/                                             19-Nov-2020 12:45       -
4.0.0/                                             19-Oct-2023 16:48       -
4.1.0/                                             20-Oct-2023 10:41       -
4.2.0/                                             13-Dec-2023 11:50       -
latest/                                            19-Nov-2020 12:45       -