GitHub repository: se-sic/vara-project-patches
Primary language: Python
Description: A repository storing patches for projects supported by VaRA-TS