../ coq-quickchick_2.0.3-2+b1_loong64.buildinfo 17-Jun-2024 00:03 8523 libcoq-quickchick-dbgsym_2.0.3-2+b1_loong64.deb 17-Jun-2024 00:03 72K libcoq-quickchick_2.0.3-2+b1_loong64.deb 17-Jun-2024 00:03 3M quickchick-dbgsym_2.0.3-2+b1_loong64.deb 17-Jun-2024 00:03 110K quickchick_2.0.3-2+b1_loong64.deb 17-Jun-2024 00:03 425K