-rw-r--r-- root/root      1337 2024-04-18 14:58 patches/ninja/ninja-disable-maxprocs-test.patch
-rw-r--r-- root/root       570 2024-04-18 14:58 patches/ninja/ninja-re2c-g.patch
-rw-r--r-- root/root      5985 2024-04-19 07:46 patches/ninja/ninja-mint.patch
-rw-r--r-- root/root       264 2024-04-18 14:58 patches/ninja/ninja-macros.ninja