../ hdevtools_0.1.7.0-1+b1_amd64.deb 11-Dec-2018 16:58 8M hdevtools_0.1.7.0-1.debian.tar.xz 29-Sep-2018 16:58 3672 hdevtools_0.1.7.0-1.dsc 29-Sep-2018 16:58 2159 hdevtools_0.1.7.0.orig.tar.gz 29-Sep-2018 16:58 22K