The build files for TrixiePup32-Retro are stored on SourceForge:

https://sourceforge.net/projects/dpup32/files/TrixiePup32-Retro/build_files/