Index of /debian-elts/pool/main/c/cvc4/

../
cvc4_1.6-2+b1_amd64.deb                            08-Jan-2023 13:35              136244
cvc4_1.8-2_amd64.deb                               08-Jan-2023 11:47               81488
cvc4_1.8-3_amd64.deb                               01-Aug-2023 15:10               80688
libcvc4-5_1.6-2+b1_amd64.deb                       08-Jan-2023 13:54             4056556
libcvc4-7_1.8-2_amd64.deb                          08-Jan-2023 11:40             5651716
libcvc4-7_1.8-3_amd64.deb                          01-Aug-2023 12:57             5936792
libcvc4-dev_1.6-2+b1_amd64.deb                     08-Jan-2023 13:53             6718020
libcvc4-dev_1.8-2_amd64.deb                        08-Jan-2023 11:50              131264
libcvc4-dev_1.8-3_amd64.deb                        01-Aug-2023 13:16              131112
libcvc4parser5_1.6-2+b1_amd64.deb                  08-Jan-2023 14:22              362516
libcvc4parser7_1.8-2_amd64.deb                     08-Jan-2023 11:54              366212
libcvc4parser7_1.8-3_amd64.deb                     01-Aug-2023 13:56              362304