| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| texinfo-7.2-r3-1.gpkg.tar | 2283520 | 2025-Jul-28 23:51 | |
| texinfo-7.2-r4-1.gpkg.tar | 2283520 | 2025-Oct-06 12:26 | |
| texinfo-7.2-r4-2.gpkg.tar | 2293760 | 2026-Feb-13 01:11 | |
| texinfo-7.3-1.gpkg.tar | 2293760 | 2026-Mar-12 22:35 | |