Index of /builds2/pool/main/c/cvc5/

../
cvc5-dbgsym_1.1.2-2+b3_loong64.deb                 07-Dec-2025 05:44             1848032
cvc5_1.1.2-2+b3_loong64.buildinfo                  07-Dec-2025 05:44               11678
cvc5_1.1.2-2+b3_loong64.changes                    07-Dec-2025 05:44                4852
cvc5_1.1.2-2+b3_loong64.deb                        07-Dec-2025 05:44              100028
libcvc5-1-dbgsym_1.1.2-2+b3_loong64.deb            07-Dec-2025 05:44           180839988
libcvc5-1_1.1.2-2+b3_loong64.deb                   07-Dec-2025 05:44             6084072
libcvc5-dev_1.1.2-2+b3_loong64.deb                 07-Dec-2025 05:44               93248
libcvc5parser1-dbgsym_1.1.2-2+b3_loong64.deb       07-Dec-2025 05:44             4057008
libcvc5parser1_1.1.2-2+b3_loong64.deb              07-Dec-2025 05:44              218740
python3-cvc5-dbgsym_1.1.2-2+b3_loong64.deb         07-Dec-2025 05:44             2623868
python3-cvc5_1.1.2-2+b3_loong64.deb                07-Dec-2025 05:44              300952