| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| 0.9.10/ | - | 2014-Jul-19 05:09 | |
| 1.0.0/ | - | 2016-Nov-30 21:54 | |
| 1.2.0/ | - | 2016-Nov-30 21:58 | |
| 1.4.0/ | - | 2016-Nov-30 22:02 | |
| 1.6.0/ | - | 2020-Jan-06 05:49 | |
| 1.8.0/ | - | 2022-Jun-30 14:50 | |
| 1.8.0-legacyjdk/ | - | 2022-Jun-30 16:11 | |
| previous/ | - | 2014-Jul-19 05:09 | |
| release/ | - | 2023-Feb-13 00:07 | |