| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| patch-Config | 729 B | 2024-Mar-12 08:48 |
| patch-bash_euktoeps | 349 B | 2020-Sep-11 17:35 |
| patch-build_Makefile | 625 B | 2020-Sep-11 17:35 |
| patch-doc_eukleides.texi | 533 B | 2020-Sep-11 17:35 |
| patch-man_Makefile | 286 B | 2020-Sep-11 17:35 |