Index of /debian/pool/main/h/hdevtools
Name Last modified Size
Parent Directory -
hdevtools_0.1.7.0-1.debian.tar.xz 2018-09-29 18:58 3.6K
hdevtools_0.1.7.0-1.dsc 2018-09-29 18:58 2.1K
hdevtools_0.1.7.0.orig.tar.gz 2018-09-29 18:58 22K
hdevtools_0.1.7.0-1+b1_arm64.deb 2018-12-11 17:43 12M
hdevtools_0.1.7.0-1+b1_amd64.deb 2018-12-11 17:58 8.3M
hdevtools_0.1.7.0-1+b1_armhf.deb 2018-12-11 17:58 11M
hdevtools_0.1.7.0-1+b1_i386.deb 2018-12-11 17:58 8.2M
Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80