-rw-r--r-- root/root    797496 2023-05-26 08:20 patches/gcc/gcc-13.1.0-mint-20230522.patch
-rw-r--r-- root/root      1722 2023-02-05 17:55 patches/gmp/gmp-universal.patch
-rw-r--r-- root/root       713 2023-01-11 12:54 patches/gmp/gmp-6.2.1-CVE-2021-43618.patch
-rw-r--r-- root/root       397 2023-02-06 13:27 patches/gmp/gmp-6.2.1-arm64-invert_limb.patch
-rwxr-xr-x root/root      5238 2023-02-13 07:46 gmp-for-gcc.sh