| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| micro-2.0.12-no-strip.patch | 988 | 2025-Mar-20 21:38 | |
| micro-2.0.13-remove-git-depend.patch | 1404 | 2026-Jul-18 16:38 | |
| micro-2.0.15-no-strip.patch | 793 | 2026-Jun-21 02:08 | |
| micro-2.0.15-remove-git-depend.patch | 1282 | 2026-Jul-18 16:38 | |