| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| texinfo-7.2-r3-1.gpkg.tar | 2283520 | 2025-Aug-11 16:29 | |
| texinfo-7.2-r4-1.gpkg.tar | 2283520 | 2025-Dec-17 18:27 | |
| texinfo-7.2-r4-2.gpkg.tar | 2293760 | 2026-Feb-15 02:11 | |
| texinfo-7.3-1.gpkg.tar | 2293760 | 2026-Mar-14 16:24 | |