Carmageddon.7z

Since these are solid archives (a 7-Zip feature that improves compression), you'll need 7-Zip or WinRAR to open them.

To use these with the Dethrace port, extract the contents to ux0:data/dethrace/ .

It sounds like you're acknowledging a reliable source for game files.