| Name | Last modified | Size | |
|---|---|---|---|
| Parent Directory | - | ||
| mini-dinstall_0.7.0_all.deb | 2019-07-31 07:17 | 40K | |
| mini-dinstall_0.7.2_all.deb | 2023-01-30 16:35 | 33K |
| Name | Last modified | Size | |
|---|---|---|---|
| Parent Directory | - | ||
| mini-dinstall_0.7.0_all.deb | 2019-07-31 07:17 | 40K | |
| mini-dinstall_0.7.2_all.deb | 2023-01-30 16:35 | 33K |