../ debian-coq-tools_0.6_all.deb 22-Jun-2023 18:55 6380 dh-coq_0.6.dsc 22-Jun-2023 18:20 1651 dh-coq_0.6.tar.xz 22-Jun-2023 18:20 7608 dh-coq_0.6_all.deb 22-Jun-2023 18:55 7528