../ coq-equations_1.3-8.19-2.debian.tar.xz 15-Nov-2024 13:48 2724 coq-equations_1.3-8.19-2.dsc 15-Nov-2024 13:48 1942 coq-equations_1.3-8.19.orig.tar.gz 15-Nov-2024 13:48 1102843 libcoq-equations-dbgsym_1.3-8.19-2_loong64.deb 29-Oct-2024 21:26 132956 libcoq-equations_1.3-8.19-2_loong64.deb 29-Oct-2024 21:26 1203252