| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| maude-2.6-search-datadir.patch | 1.1 KiB | 2025-Mar-20 06:38 |
| maude-2.7-AR.patch | 206 B | 2025-Mar-20 06:38 |
| maude-3.1-curses.patch | 340 B | 2026-Mar-09 17:08 |
| maude-3.1-prll.patch | 537 B | 2025-Mar-20 06:38 |
| maude-3.2.2-fileTest.patch | 232 B | 2026-Mar-10 16:08 |
| maude-3.2.2-prll.patch | 740 B | 2026-Mar-10 16:08 |
| maude-3.4-search-datadir.patch | 1.1 KiB | 2026-Mar-11 09:38 |