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

../
cvc4_1.6-2+b1_amd64.deb                            08-Jan-2023 13:35              136244
cvc4_1.6-2+b1_i386.deb                             08-Jan-2023 13:28              139464
cvc4_1.8-2_amd64.deb                               08-Jan-2023 11:47               81488
cvc4_1.8-3+b4_amd64.deb                            23-Oct-2026 17:08               82828
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-5_1.6-2+b1_i386.deb                        08-Jan-2023 13:19             4507864
libcvc4-7_1.8-2_amd64.deb                          08-Jan-2023 11:40             5651716
libcvc4-7_1.8-3+b4_amd64.deb                       23-Oct-2026 17:33             6616160
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.6-2+b1_i386.deb                      08-Jan-2023 13:53             7208884
libcvc4-dev_1.8-2_amd64.deb                        08-Jan-2023 11:50              131264
libcvc4-dev_1.8-3+b4_amd64.deb                     23-Oct-2026 17:10              131428
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
libcvc4parser5_1.6-2+b1_i386.deb                   08-Jan-2023 13:26              389524
libcvc4parser7_1.8-2_amd64.deb                     08-Jan-2023 11:54              366212
libcvc4parser7_1.8-3+b4_amd64.deb                  23-Oct-2026 17:43              382200
libcvc4parser7_1.8-3_amd64.deb                     01-Aug-2023 13:56              362304