Index of /pool/main/c/cvc4/

../
cvc4_1.5-1_amd64.deb                               06-Apr-2022 19:59              138624
cvc4_1.6-2build2_amd64.deb                         02-Apr-2022 07:20              137732
cvc4_1.8-2_amd64.deb                               31-Mar-2022 19:36               73336
cvc4_1.8-3build2_amd64.deb                         07-Apr-2024 20:27               75388
libcvc4-4_1.5-1_amd64.deb                          06-Apr-2022 21:16             3375660
libcvc4-5_1.6-2build2_amd64.deb                    02-Apr-2022 07:19             4512744
libcvc4-7_1.8-2_amd64.deb                          31-Mar-2022 21:36             5659900
libcvc4-7_1.8-3build2_amd64.deb                    07-Apr-2024 20:05             4734878
libcvc4-dev_1.5-1_amd64.deb                        06-Apr-2022 20:14             5968312
libcvc4-dev_1.6-2build2_amd64.deb                  02-Apr-2022 04:43             7295824
libcvc4-dev_1.8-2_amd64.deb                        31-Mar-2022 19:35              123212
libcvc4-dev_1.8-3build2_amd64.deb                  07-Apr-2024 20:10              125256
libcvc4parser4_1.5-1_amd64.deb                     06-Apr-2022 21:19              363676
libcvc4parser5_1.6-2build2_amd64.deb               02-Apr-2022 04:48              364108
libcvc4parser7_1.8-2_amd64.deb                     31-Mar-2022 22:19              357524
libcvc4parser7_1.8-3build2_amd64.deb               07-Apr-2024 20:17              373822