j605 [1] filed a deletion request for heavything [2]: It is same PKGBUILD as -bin equivalent. I guess the package could be merged since the tools are in assembly there is no difference between the two packages.
[1] https://aur.archlinux.org/account/j605/ [2] https://aur.archlinux.org/pkgbase/heavything/
