../ texlab_5.20.0_aarch64.deb 08-Oct-2024 12:18 8720056 texlab_5.20.0_arm.deb 08-Oct-2024 12:18 8669640 texlab_5.20.0_i686.deb 08-Oct-2024 12:18 9007088 texlab_5.20.0_x86_64.deb 08-Oct-2024 12:18 8980732