In aus.gardens (Lara) writes:

I'm looking for the name (and ideally, seeds) of a type of tomato I ate
in Barcelona a couple of years ago. It was quite large, round, and when
fully ripe, still had areas of green and red flesh. Not striped, but
rounded blotches of colour throughout. Does this ring a bell with
anyone? Googling has got me nowhere.

Failing info from growers, you might e-mail some of the specialist
"tomato seed" sites. I just looked a several that had many, many
varieties, but unless you know the name, they'll be hard to find with
normal searches.