Package: regina-rexx

"regina-rexx" package binaries on Debian:

/usr/bin/regina /usr/bin/rexx /usr/bin/rxqueue /usr/bin/rxstack

You may install this package on Debian with apt-get install regina-rexx