| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| maude-2.6-search-datadir.patch | 1124 | 2025-Mar-20 21:38 | |
| maude-2.7-AR.patch | 206 | 2025-Mar-20 21:38 | |
| maude-3.1-curses.patch | 340 | 2026-Mar-10 08:08 | |
| maude-3.1-prll.patch | 537 | 2025-Mar-20 21:38 | |
| maude-3.2.2-fileTest.patch | 232 | 2026-Mar-11 07:08 | |
| maude-3.2.2-prll.patch | 740 | 2026-Mar-11 07:08 | |
| maude-3.4-search-datadir.patch | 1086 | 2026-Mar-12 00:38 | |