Index of /debian/pool/main/h/hdevtools

Icon  Name                              Last modified      Size  
[PARENTDIR] 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