debian/5.23.0-1

Matthias Geiger

@werdahias

76995622 · Release texlab 5.23.0-1 to experimental · Jul 31, 2025

texlab Debian release 5.23.0-1