GitHub repository: pepper-project/thirdparty
Primary language: Shell
Description: An archive of the external dependencies for the Pepper system.