![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| hasktags_0.71.2-2_amd64.deb | 01-Sep-2020 13:29 | 489K |
| hasktags_0.71.2-2_i386.deb | 01-Sep-2020 13:14 | 497K |
| hasktags_0.72.0-1_amd64.deb | 20-Jul-2022 18:42 | 513K |
| hasktags_0.72.0-1_i386.deb | 20-Jul-2022 18:26 | 1.9M |
| hasktags_0.73.0-1+b1_amd64.deb | 01-Feb-2025 22:20 | 2.4M |
| hasktags_0.73.0-1+b1_i386.deb | 14-Feb-2025 09:39 | 3.5M |
| hasktags_0.73.0-1_riscv64.deb | 06-Oct-2024 07:23 | 3.2M |