Index of /tmax/pool/main/c/cvc4/

../
cvc4_1.8-2_amd64.deb                               01-Jun-2021 11:14               81488
cvc4_1.8-2_arm64.deb                               01-Jun-2021 09:21               76064
cvc4_1.8-2_armel.deb                               01-Jun-2021 13:36               74320
cvc4_1.8-2_armhf.deb                               01-Jun-2021 13:43               75652
cvc4_1.8-2_i386.deb                                01-Jun-2021 09:30               82548
libcvc4-7_1.8-2_amd64.deb                          01-Jun-2021 09:24             5651716
libcvc4-7_1.8-2_arm64.deb                          01-Jun-2021 11:05             4783836
libcvc4-7_1.8-2_armel.deb                          01-Jun-2021 11:34             4871636
libcvc4-7_1.8-2_armhf.deb                          01-Jun-2021 12:28             4989728
libcvc4-7_1.8-2_i386.deb                           01-Jun-2021 11:21             6152812
libcvc4-dev_1.8-2_amd64.deb                        01-Jun-2021 10:00              131264
libcvc4-dev_1.8-2_arm64.deb                        01-Jun-2021 11:37              131268
libcvc4-dev_1.8-2_armel.deb                        01-Jun-2021 09:26              131248
libcvc4-dev_1.8-2_armhf.deb                        01-Jun-2021 10:38              131256
libcvc4-dev_1.8-2_i386.deb                         01-Jun-2021 11:58              131252
libcvc4parser7_1.8-2_amd64.deb                     01-Jun-2021 09:16              366212
libcvc4parser7_1.8-2_arm64.deb                     01-Jun-2021 12:50              328200
libcvc4parser7_1.8-2_armel.deb                     01-Jun-2021 11:40              323824
libcvc4parser7_1.8-2_armhf.deb                     01-Jun-2021 13:22              328140
libcvc4parser7_1.8-2_i386.deb                      01-Jun-2021 13:29              382484