../ TAUCS-license.txt 23-Oct-2026 18:19 2084 patch-config+FreeBSD.mk 23-Oct-2026 18:19 837 patch-configurator_taucs__config.c 23-Oct-2026 18:19 277 patch-configure 23-Oct-2026 18:19 293 patch-src__taucs_timer.c 23-Oct-2026 18:19 1308 patch-src_taucs__memory.c 23-Oct-2026 18:19 1425