../ htscodecs_0.5-3.debian.tar.xz 18-Feb-2020 17:19 6752 htscodecs_0.5-3.dsc 18-Feb-2020 17:19 2013 htscodecs_0.5.orig.tar.gz 12-Feb-2020 05:13 2728301 libhtscodecs-dev_0.5-3_amd64.deb 18-Feb-2020 17:19 2516848 libhtscodecs2_0.5-3_amd64.deb 18-Feb-2020 17:19 50792