Index of /linux/debian/bullseye/pool/main/c/cvc4/

../
cvc4_1.8-2_amd64.deb                               16-Dec-2022 11:58               81488
cvc4_1.8-2_arm64.deb                               16-Dec-2022 09:40               76064
cvc4_1.8-2_i386.deb                                16-Dec-2022 09:40               82548
libcvc4-7_1.8-2_amd64.deb                          16-Dec-2022 12:01             5651716
libcvc4-7_1.8-2_arm64.deb                          16-Dec-2022 11:40             4783836
libcvc4-7_1.8-2_i386.deb                           16-Dec-2022 09:21             6152812
libcvc4-dev_1.8-2_amd64.deb                        16-Dec-2022 10:53              131264
libcvc4-dev_1.8-2_arm64.deb                        16-Dec-2022 11:39              131268
libcvc4-dev_1.8-2_i386.deb                         16-Dec-2022 11:37              131252
libcvc4parser7_1.8-2_amd64.deb                     16-Dec-2022 10:10              366212
libcvc4parser7_1.8-2_arm64.deb                     16-Dec-2022 10:07              328200
libcvc4parser7_1.8-2_i386.deb                      16-Dec-2022 10:56              382484