DOKK / manpages

Man pages matching name regina-gui in section 1:

regina-gui.1.en debian 10 / regina-normal
regina-gui.1.en debian 11 / regina-normal
regina-gui.1.en debian 12 / regina-normal