Index of /loongnix/25/pool/main/c/cvc4/

../
cvc4-dbgsym_1.8-3+b2_loong64.deb                   29-Oct-2024 21:52              883776
cvc4_1.8-3+b2_loong64.deb                          29-Oct-2024 21:52               78208
cvc4_1.8-3.debian.tar.xz                           15-Nov-2024 14:04               16728
cvc4_1.8-3.dsc                                     15-Nov-2024 14:04                2244
cvc4_1.8.orig.tar.gz                               15-Nov-2024 14:04             7547187
libcvc4-7-dbgsym_1.8-3+b2_loong64.deb              29-Oct-2024 21:52           157169328
libcvc4-7_1.8-3+b2_loong64.deb                     29-Oct-2024 21:52             5180520
libcvc4-dev_1.8-3+b2_loong64.deb                   29-Oct-2024 21:52              131396
libcvc4parser7-dbgsym_1.8-3+b2_loong64.deb         29-Oct-2024 21:52             4190256
libcvc4parser7_1.8-3+b2_loong64.deb                29-Oct-2024 21:53              328656