../ htscodecs_0.5-3.debian.tar.xz 18-Feb-2020 13:22 6752 htscodecs_0.5-3.dsc 18-Feb-2020 13:22 2013 htscodecs_0.5.orig.tar.gz 10-Feb-2020 19:55 2728301 libhtscodecs-dev_0.5-3_armhf.deb 23-Feb-2020 10:08 2517612 libhtscodecs2_0.5-3_armhf.deb 23-Feb-2020 10:08 48784