../ tetex-3.0-gcc_4.4-1.patch 21-Oct-2025 15:48 946 tetex-3.0-glibc-1.patch 21-Oct-2025 15:48 2015 tetex-src-2.0.2-flex-1.patch 21-Oct-2025 15:48 892 tetex-src-2.0.2-remove_readlink-1.patch 21-Oct-2025 15:48 2251 tetex-src-3.0-flex_fix-1.patch 21-Oct-2025 15:48 1027