../ teco-double-free.patch 23-Aug-2019 17:09 907 teco-gcc4.patch 16-Aug-2019 07:39 294 teco-no-common.patch 29-Jan-2020 21:09 289 teco-warnings.patch 09-Aug-2015 00:38 1206