../ hdevtools_0.1.7.0-1+b1_amd64.deb 11-Dec-2018 16:58 8719512 hdevtools_0.1.7.0-1+b1_arm64.deb 11-Dec-2018 16:43 12734500 hdevtools_0.1.7.0-1+b1_i386.deb 11-Dec-2018 16:58 8578316