| Parent directory/ | - | - |
| hasktags_0.72.0.orig.tar.gz | 57.6 KiB | 2022-Jul-20 17:40 |
| hasktags_0.72.0-2_armhf.deb | 2.4 MiB | 2024-Jan-13 12:08 |
| hasktags_0.72.0-2.dsc | 2.3 KiB | 2024-Jan-05 03:15 |
| hasktags_0.72.0-2.debian.tar.xz | 3.6 KiB | 2024-Jan-05 03:15 |
| hasktags_0.72.0-1_armhf.deb | 582.1 KiB | 2022-Jul-26 12:08 |
| hasktags_0.72.0-1.dsc | 2.4 KiB | 2022-Jul-20 17:40 |
| hasktags_0.72.0-1.debian.tar.xz | 3.3 KiB | 2022-Jul-20 17:40 |
| hasktags_0.71.2.orig.tar.gz | 57.5 KiB | 2018-Sep-30 13:04 |
| hasktags_0.71.2-2_armhf.deb | 572.9 KiB | 2020-Sep-04 00:08 |
| hasktags_0.71.2-2.dsc | 2.4 KiB | 2020-Sep-03 16:35 |
| hasktags_0.71.2-2.debian.tar.xz | 3.6 KiB | 2020-Sep-03 16:35 |
| hasktags_0.71.2-1_armhf.deb | 551.9 KiB | 2018-Oct-14 10:48 |
| hasktags_0.71.2-1.dsc | 2.4 KiB | 2018-Sep-30 13:04 |
| hasktags_0.71.2-1.debian.tar.xz | 3.2 KiB | 2018-Sep-30 13:04 |