Parent directory/ | - | - |
hasktags_0.71.2-1.debian.tar.xz | 3316 | 30-Sep-2018 15:04 |
hasktags_0.71.2-1.dsc | 2424 | 30-Sep-2018 15:04 |
hasktags_0.71.2-1_armhf.deb | 552K | 14-Oct-2018 12:48 |
hasktags_0.71.2-2.debian.tar.xz | 3652 | 03-Sep-2020 18:35 |
hasktags_0.71.2-2.dsc | 2424 | 03-Sep-2020 18:35 |
hasktags_0.71.2-2_armhf.deb | 573K | 04-Sep-2020 02:08 |
hasktags_0.71.2.orig.tar.gz | 58K | 30-Sep-2018 15:04 |
hasktags_0.72.0-1.debian.tar.xz | 3396 | 20-Jul-2022 19:40 |
hasktags_0.72.0-1.dsc | 2431 | 20-Jul-2022 19:40 |
hasktags_0.72.0-1_armhf.deb | 582K | 26-Jul-2022 14:08 |
hasktags_0.72.0-2.debian.tar.xz | 3692 | 05-Jan-2024 05:15 |
hasktags_0.72.0-2.dsc | 2382 | 05-Jan-2024 05:15 |
hasktags_0.72.0-2_armhf.deb | 2M | 13-Jan-2024 14:08 |
hasktags_0.72.0.orig.tar.gz | 58K | 20-Jul-2022 19:40 |