../ hasktags_0.72.0-1_x32.buildinfo 20-Jul-2022 18:03 8790 hasktags_0.72.0-1_x32.deb 20-Jul-2022 18:03 3562124