../ patch-Config 23-Oct-2026 18:19 729 patch-bash_euktoeps 23-Oct-2026 18:19 349 patch-build_Makefile 23-Oct-2026 18:19 625 patch-doc_eukleides.texi 23-Oct-2026 18:19 533 patch-man_Makefile 23-Oct-2026 18:19 286