| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| mocha_8.2.1+ds1+~cs29.4.27-3_all.deb | 153.2 KiB | December 22, 2020 |
| mocha_10.1.0+ds1+~cs29.3.1-1_all.deb | 158.6 KiB | October 18, 2022 |
| mocha_10.7.2+ds1+~cs33.1.11-2_all.deb | 180.2 KiB | August 18, 2024 |
| mocha_11.7.2+ds1+~cs36.3.14-2_all.deb | 195.7 KiB | December 3, 2025 |