../ tsduck-plugins_3.35.3258_aarch64.deb 16-Oct-2023 20:36 788856 tsduck-plugins_3.35.3258_arm.deb 16-Oct-2023 20:36 612936 tsduck-plugins_3.35.3258_i686.deb 16-Oct-2023 20:36 893692 tsduck-plugins_3.35.3258_x86_64.deb 16-Oct-2023 20:36 890468