| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 maude-2.6-search-datadir.patch | 1124 bytes | 2025-03-20 12:38:29 |
| 📄 maude-2.7-AR.patch | 206 bytes | 2025-03-20 12:38:29 |
| 📄 maude-3.1-curses.patch | 340 bytes | 2026-03-09 23:08:16 |
| 📄 maude-3.1-prll.patch | 537 bytes | 2025-03-20 12:38:29 |
| 📄 maude-3.2.2-fileTest.patch | 232 bytes | 2026-03-10 22:08:13 |
| 📄 maude-3.2.2-prll.patch | 740 bytes | 2026-03-10 22:08:13 |
| 📄 maude-3.4-search-datadir.patch | 1086 bytes | 2026-03-11 15:38:14 |