Man pages matching name stoken-gui in section 1:

stoken-gui.1.en	debian 10 / stoken
stoken-gui.1.en	debian 11 / stoken
stoken-gui.1.en	debian 12 / stoken