Index of /mirrors/jenkins/plugins/autograding/

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