FYI: devtools-0.9.5 should be able to upload any compressed package no matter which PKGEXT is set on the host. This way you can still use devtools for those packages that remain in gz format. -- Pierre Schmitz, https://users.archlinux.de/~pierre