Index of /seedlin/pool/main/c/cvc5/

../
cvc5_1.1.2-2+b3_amd64.deb                          11-Jun-2026 16:19              109176
cvc5_1.1.2-2+b3_riscv64.deb                        11-Jun-2026 16:19              101792
cvc5_1.1.2-2.debian.tar.xz                         11-Jun-2026 16:19                7396
cvc5_1.1.2-2.dsc                                   11-Jun-2026 16:19                2470
cvc5_1.1.2.orig.tar.gz                             11-Jun-2026 16:19             8581968
libcvc5-1_1.1.2-2+b3_amd64.deb                     11-Jun-2026 16:19             6682620
libcvc5-1_1.1.2-2+b3_riscv64.deb                   11-Jun-2026 16:19             6701932
libcvc5-dev_1.1.2-2+b3_amd64.deb                   11-Jun-2026 16:19               93296
libcvc5-dev_1.1.2-2+b3_riscv64.deb                 11-Jun-2026 16:19               93252
libcvc5parser1_1.1.2-2+b3_amd64.deb                11-Jun-2026 16:19              236752
libcvc5parser1_1.1.2-2+b3_riscv64.deb              11-Jun-2026 16:19              226908
python3-cvc5_1.1.2-2+b3_amd64.deb                  11-Jun-2026 16:19              339080
python3-cvc5_1.1.2-2+b3_riscv64.deb                11-Jun-2026 16:19              327892