Package: libregina3-dev

"libregina3-dev" package binaries on Debian:

/usr/bin/regina-config

You may install this package on Debian with apt-get install libregina3-dev