../ libcoq-paramcoq-dbgsym_1.1.3+coq8.19-2_loong64.deb 29-Oct-2024 08:14 14284 libcoq-paramcoq_1.1.3+coq8.19-2_loong64.deb 29-Oct-2024 08:14 115580 paramcoq_1.1.3+coq8.19-2.debian.tar.xz 15-Nov-2024 02:18 3168 paramcoq_1.1.3+coq8.19-2.dsc 15-Nov-2024 02:18 1887 paramcoq_1.1.3+coq8.19.orig.tar.gz 15-Nov-2024 02:18 45881