Index of /dev/pool/main/h/hasktags/

../
hasktags_0.72.0-1.debian.tar.xz                    20-Jul-2022 15:40                3396
hasktags_0.72.0-1.dsc                              20-Jul-2022 15:40                2431
hasktags_0.72.0-1_amd64.deb                        20-Jul-2022 16:42              525220
hasktags_0.72.0.orig.tar.gz                        20-Jul-2022 15:40               59000