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

../
cvc4_1.8-3_amd64.deb                               01-Mar-2024 17:38     79K
cvc4_1.8-3_i386.deb                                06-Nov-2024 17:09     81K
libcvc4-7_1.8-3_amd64.deb                          01-Mar-2024 19:06      6M
libcvc4-7_1.8-3_i386.deb                           06-Nov-2024 17:46      6M
libcvc4-dev_1.8-3_amd64.deb                        01-Mar-2024 19:06    128K
libcvc4-dev_1.8-3_i386.deb                         06-Nov-2024 17:46    128K
libcvc4parser7_1.8-3_amd64.deb                     01-Mar-2024 19:06    354K
libcvc4parser7_1.8-3_i386.deb                      06-Nov-2024 17:46    379K