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