../ texinfo_7.1_aarch64.deb 22-Oct-2023 13:07 1037132 texinfo_7.1_arm.deb 22-Oct-2023 13:07 1025560 texinfo_7.1_i686.deb 22-Oct-2023 13:07 1046944 texinfo_7.1_x86_64.deb 22-Oct-2023 13:07 1052580