Index of /pool/main/c/cvc4/

../
cvc4-dbgsym_1.8-3+b1_riscv64.deb                   09-Jun-2024 12:58              884060
cvc4-dbgsym_1.8-3_riscv64.deb                      25-May-2024 12:31              879944
cvc4_1.8-3+b1_riscv64.buildinfo                    09-Jun-2024 13:01                9537
cvc4_1.8-3+b1_riscv64.deb                          09-Jun-2024 12:58               77464
cvc4_1.8-3.debian.tar.xz                           08-May-2024 13:36               16728
cvc4_1.8-3.dsc                                     08-May-2024 13:36                2244
cvc4_1.8-3_riscv64.deb                             25-May-2024 12:31               79008
cvc4_1.8.orig.tar.gz                               08-May-2024 13:36             7547187
libcvc4-7-dbgsym_1.8-3+b1_riscv64.deb              09-Jun-2024 13:01           158731480
libcvc4-7-dbgsym_1.8-3_riscv64.deb                 25-May-2024 12:32           159369004
libcvc4-7_1.8-3+b1_riscv64.deb                     09-Jun-2024 13:01             5888480
libcvc4-7_1.8-3_riscv64.deb                        25-May-2024 12:32             6062520
libcvc4-dev_1.8-3+b1_riscv64.deb                   09-Jun-2024 13:01              131400
libcvc4-dev_1.8-3_riscv64.deb                      25-May-2024 12:32              131192
libcvc4parser7-dbgsym_1.8-3+b1_riscv64.deb         09-Jun-2024 13:01             4267860
libcvc4parser7-dbgsym_1.8-3_riscv64.deb            25-May-2024 12:32             4184296
libcvc4parser7_1.8-3+b1_riscv64.deb                09-Jun-2024 13:01              348244
libcvc4parser7_1.8-3_riscv64.deb                   25-May-2024 12:32              353512