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

../
cvc5-dbgsym_1.1.2-2_loong64.deb                    22-Sep-2025 09:33             1846388
cvc5_1.1.2-2.debian.tar.xz                         22-Sep-2025 09:33                7396
cvc5_1.1.2-2.dsc                                   22-Sep-2025 09:33                1566
cvc5_1.1.2-2_loong64.deb                           22-Sep-2025 09:33               99924
cvc5_1.1.2.orig.tar.gz                             22-Sep-2025 09:33             8581968
libcvc5-1-dbgsym_1.1.2-2_loong64.deb               22-Sep-2025 09:33           180836124
libcvc5-1_1.1.2-2_loong64.deb                      22-Sep-2025 09:33             6075260
libcvc5-dev_1.1.2-2_loong64.deb                    22-Sep-2025 09:33               93012
libcvc5parser1-dbgsym_1.1.2-2_loong64.deb          22-Sep-2025 09:33             4056300
libcvc5parser1_1.1.2-2_loong64.deb                 22-Sep-2025 09:33              218516
python3-cvc5-dbgsym_1.1.2-2_loong64.deb            22-Sep-2025 09:33             2623500
python3-cvc5_1.1.2-2_loong64.deb                   22-Sep-2025 09:33              300076