DOKK / manpages

Man pages matching name tspi_setattribuint32 in section 3:

Tspi_SetAttribUint32.3.en debian 10 / libtspi-dev
Tspi_SetAttribUint32.3.en debian 11 / libtspi-dev
Tspi_SetAttribUint32.3.en debian 12 / libtspi-dev