Package: regina-normal-mpi

"regina-normal-mpi" package binaries on Debian:

/usr/bin/tricensus-mpi /usr/bin/tricensus-mpi-status

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