i installed debyun 12.5 on a vm and compiled a binary. since uploads are disabled i threw it on the forgejo, git.minimally.online/kiefac/lispjam24 - it's prok_debyun.tgz
hopefully it works....
