I have packaged the latest version (7.32) for Debian. Included are source and binary packages. I am hosting them here: http://meliaserlow.dyndns.tv:8000/pkg/ I guess I probably should have thought to reply here earlier. Anyway, I am willing to maintain alien arena indefinitely.