Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
hasktags_0.71.2-1.debian.tar.xz | 2018-09-30 22:04 | 3.2K | TAR compressed archive | |
hasktags_0.71.2-1.dsc | 2018-09-30 22:04 | 2.4K | ||
hasktags_0.71.2-1_armhf.deb | 2018-10-14 19:48 | 552K | ||
hasktags_0.71.2-2.debian.tar.xz | 2020-09-04 01:35 | 3.6K | TAR compressed archive | |
hasktags_0.71.2-2.dsc | 2020-09-04 01:35 | 2.4K | ||
hasktags_0.71.2-2_armhf.deb | 2020-09-04 09:08 | 573K | ||
hasktags_0.71.2.orig.tar.gz | 2018-09-30 22:04 | 58K | GZIP compressed TAR archive | |
hasktags_0.72.0-1.debian.tar.xz | 2022-07-21 02:40 | 3.3K | TAR compressed archive | |
hasktags_0.72.0-1.dsc | 2022-07-21 02:40 | 2.4K | ||
hasktags_0.72.0-1_armhf.deb | 2022-07-26 21:08 | 582K | ||
hasktags_0.72.0-2.debian.tar.xz | 2024-01-05 12:15 | 3.6K | TAR compressed archive | |
hasktags_0.72.0-2.dsc | 2024-01-05 12:15 | 2.3K | ||
hasktags_0.72.0-2_armhf.deb | 2024-01-13 21:08 | 2.4M | ||
hasktags_0.72.0.orig.tar.gz | 2022-07-21 02:40 | 58K | GZIP compressed TAR archive | |