| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| mini-dinstall_0.6.31_all.deb | 40.9 KiB | September 6, 2017 |
| mini-dinstall_0.7.0_all.deb | 40.4 KiB | July 31, 2019 |
| mini-dinstall_0.7.2_all.deb | 33.4 KiB | January 30, 2023 |
| mini-dinstall_0.7.3_all.deb | 32.8 KiB | May 22, 2024 |