Wrong distro detected?

[Pedro Lino]

Hi all


I'm running Debian GNU/Linux 9 (stretch) 32-bit but when I click on 
http://www.openoffice.org/download/index.html

I am offered the Linux 32bit RPM.

Can someone verify/fix this?


Regards,

Pedro