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