../ coq-equations_1.3-8.19-1_loong64.buildinfo 28-Apr-2024 18:03 7087 libcoq-equations-dbgsym_1.3-8.19-1_loong64.deb 28-Apr-2024 18:03 110K libcoq-equations_1.3-8.19-1_loong64.deb 28-Apr-2024 18:03 1M