Index of /repos/scibian11/pool/main/c/cvc4/

../
cvc4_1.8-2_amd64.deb                               22-May-2023 11:04     80K
cvc4_1.8-2_i386.deb                                07-Nov-2024 13:35     81K
libcvc4-7_1.8-2_amd64.deb                          22-May-2023 12:41      5M
libcvc4-7_1.8-2_i386.deb                           07-Nov-2024 14:13      6M
libcvc4-dev_1.8-2_amd64.deb                        22-May-2023 12:41    128K
libcvc4-dev_1.8-2_i386.deb                         07-Nov-2024 14:13    128K
libcvc4parser7_1.8-2_amd64.deb                     22-May-2023 12:41    358K
libcvc4parser7_1.8-2_i386.deb                      07-Nov-2024 14:13    374K