../ linuxdoc-tools-info_0.9.72-4_all.deb 30-Dec-2022 15:07 20K linuxdoc-tools-latex_0.9.72-4_all.deb 30-Dec-2022 15:07 20K linuxdoc-tools-text_0.9.72-4_all.deb 30-Dec-2022 15:07 20K linuxdoc-tools_0.9.72-4_amd64.deb 30-Dec-2022 15:07 475K