Man pages matching name regalgebra in section 7:

regalgebra.7.en	debian 10 / libfuntools-dev
regalgebra.7.en	debian 11 / libfuntools-dev
regalgebra.7.en	debian 12 / libfuntools-dev