../ reduce-4.10.tar.gz 22-Feb-2023 04:16 11018671 reduce-4.11.tar.gz 20-Mar-2023 01:23 13280785 reduce-4.12.tar.gz 09-Jun-2023 14:51 13280863 reduce-4.13.tar.gz 13-Jun-2023 02:44 13281156 reduce-4.14.tar.gz 18-Sep-2023 03:38 13281183 reduce-4.7.tar.gz 08-Sep-2021 16:24 11017307