Index of /kylinsoft/anything/openkylin/pool/main/c/cvc4/

../
cvc4_1.6-ok1.debian.tar.xz                         23-Jul-2022 05:25                7912
cvc4_1.6-ok1.dsc                                   23-Jul-2022 05:25                2560
cvc4_1.6-ok1_amd64.deb                             23-Jul-2022 05:25              138216
cvc4_1.6.orig.tar.gz                               23-Jul-2022 05:25             7815893
libcvc4-5_1.6-ok1_amd64.deb                        23-Jul-2022 05:25             3822612
libcvc4-dev_1.6-ok1_amd64.deb                      23-Jul-2022 05:25             8045626
libcvc4parser5_1.6-ok1_amd64.deb                   23-Jul-2022 05:25              399740