Good call, Frederic! bubble_pop_the_sea_v1.1.d64 is on the page now, right next to the .prg. It's the same v1.1 game on a disk image, so attach it and LOAD"*",8,1 or just autostart it. If you already own the game, it's in your download list too. Have fun at sea, and thanks for asking!
