Index of /debian/pool/main/c/cvc5/

../
cvc5_1.1.2-2+b3_amd64.deb                          09-Jan-2025 11:11    107K
cvc5_1.1.2-2+b3_arm64.deb                          09-Jan-2025 11:31     95K
cvc5_1.1.2-2+b3_riscv64.deb                        12-Jan-2025 20:01     99K
cvc5_1.3.2-1_amd64.deb                             24-Dec-2025 01:49    140K
cvc5_1.3.2-1_arm64.deb                             24-Dec-2025 01:54    126K
cvc5_1.3.2-1_riscv64.deb                           24-Dec-2025 09:34    130K
libcvc5-1_1.1.2-2+b3_amd64.deb                     09-Jan-2025 11:11      6M
libcvc5-1_1.1.2-2+b3_arm64.deb                     09-Jan-2025 11:31      5M
libcvc5-1_1.1.2-2+b3_riscv64.deb                   12-Jan-2025 20:01      6M
libcvc5-1_1.3.2-1_amd64.deb                        24-Dec-2025 01:49      7M
libcvc5-1_1.3.2-1_arm64.deb                        24-Dec-2025 01:54      6M
libcvc5-1_1.3.2-1_riscv64.deb                      24-Dec-2025 09:34      7M
libcvc5-dev_1.1.2-2+b3_amd64.deb                   09-Jan-2025 11:11     91K
libcvc5-dev_1.1.2-2+b3_arm64.deb                   09-Jan-2025 11:31     91K
libcvc5-dev_1.1.2-2+b3_riscv64.deb                 12-Jan-2025 20:01     91K
libcvc5-dev_1.3.2-1_amd64.deb                      24-Dec-2025 01:49    121K
libcvc5-dev_1.3.2-1_arm64.deb                      24-Dec-2025 01:54    121K
libcvc5-dev_1.3.2-1_riscv64.deb                    24-Dec-2025 09:34    121K
libcvc5parser1_1.1.2-2+b3_amd64.deb                09-Jan-2025 11:11    231K
libcvc5parser1_1.1.2-2+b3_arm64.deb                09-Jan-2025 11:31    203K
libcvc5parser1_1.1.2-2+b3_riscv64.deb              12-Jan-2025 20:01    222K
libcvc5parser1_1.3.2-1_amd64.deb                   24-Dec-2025 01:49    267K
libcvc5parser1_1.3.2-1_arm64.deb                   24-Dec-2025 01:54    232K
libcvc5parser1_1.3.2-1_riscv64.deb                 24-Dec-2025 09:34    258K
python3-cvc5_1.1.2-2+b3_amd64.deb                  09-Jan-2025 11:11    331K
python3-cvc5_1.1.2-2+b3_arm64.deb                  09-Jan-2025 11:31    291K
python3-cvc5_1.1.2-2+b3_riscv64.deb                12-Jan-2025 20:01    320K
python3-cvc5_1.3.2-1_amd64.deb                     24-Dec-2025 01:49    376K
python3-cvc5_1.3.2-1_arm64.deb                     24-Dec-2025 01:54    315K
python3-cvc5_1.3.2-1_riscv64.deb                   24-Dec-2025 09:34    359K