You shouldn't need x86 libraries in order to run Seamonkey on a
Raspberry Pi. The distro should already have a package for it. I know
there is an Arch package. That doesn't necessarily mean that Raspbian or
Ubuntu will have it in their repositories, but it does mean that ARM
binaries are available. Hope it helps.