"The Repton games were closely associated with the BBC Micro and Acorn Electron but versions were released for other 8-bit computers. Superior Software had planned to launch Repton 3 with ports for the Commodore 64 and Amstrad CPC (as shown in pre-release press advertisements). The Amstrad version was never released but the C64 port did arrive in 1987, as did an enhanced BBC Master version. Ports of Repton and Repton 2 were developed for the ZX Spectrum and released together as Repton Mania in 1989 (published by Alligata). In 1988 a version of Repton 3 featuring all expansion packs was also released for the BBC Micro's replacement, the 32-bit Acorn Archimedes. Its programmer, John Wallace, also produced a slightly expanded version of Repton 2 for the Acorn Archimedes which was released on the 1993 Play It Again Sam 2 compilation (which also included Zarch, Master Break and Arcpinball). None of these ports achieved the sales of the BBC originals."
Source: Wikipedia, "Repton_(video_game)", available under the CC-BY-SA License.
User Summary
Repton 4 was released as an example game with Repton Infinity.