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