| Parent directory/ | - | - |
| hasktags_0.71.2-1.debian.tar.xz | 3316 | 2018-Sep-30 11:04 |
| hasktags_0.71.2-1.dsc | 2424 | 2018-Sep-30 11:04 |
| hasktags_0.71.2-1_armhf.deb | 565124 | 2018-Oct-14 08:48 |
| hasktags_0.71.2-2.debian.tar.xz | 3652 | 2020-Sep-03 14:35 |
| hasktags_0.71.2-2.dsc | 2424 | 2020-Sep-03 14:35 |
| hasktags_0.71.2-2_armhf.deb | 586696 | 2020-Sep-03 22:08 |
| hasktags_0.71.2.orig.tar.gz | 58919 | 2018-Sep-30 11:04 |
| hasktags_0.72.0-1.debian.tar.xz | 3396 | 2022-Jul-20 15:40 |
| hasktags_0.72.0-1.dsc | 2431 | 2022-Jul-20 15:40 |
| hasktags_0.72.0-1_armhf.deb | 596100 | 2022-Jul-26 10:08 |
| hasktags_0.72.0-2.debian.tar.xz | 3692 | 2024-Jan-05 01:15 |
| hasktags_0.72.0-2.dsc | 2382 | 2024-Jan-05 01:15 |
| hasktags_0.72.0-2_armhf.deb | 2498928 | 2024-Jan-13 10:08 |
| hasktags_0.72.0.orig.tar.gz | 59000 | 2022-Jul-20 15:40 |