Index of /aptly/pool/main/c/cvc4/

../
cvc4_1.5-1_amd64.deb                               24-Apr-2024 17:43              138624
cvc4_1.5-1_i386.deb                                24-Apr-2024 17:18              142804
libcvc4-4_1.5-1_amd64.deb                          24-Apr-2024 18:05             3375660
libcvc4-4_1.5-1_i386.deb                           24-Apr-2024 18:44             3618828
libcvc4-dev_1.5-1_amd64.deb                        24-Apr-2024 18:37             5968312
libcvc4-dev_1.5-1_i386.deb                         24-Apr-2024 17:43             6384320
libcvc4parser4_1.5-1_amd64.deb                     24-Apr-2024 17:56              363676
libcvc4parser4_1.5-1_i386.deb                      24-Apr-2024 17:37              390272