Index of /repo.pureos.net/pureos/pool/main/c/cvc4/

../
cvc4_1.8-2_amd64.deb                               29-Sep-2020 14:46               81488
cvc4_1.8-2_arm64.deb                               29-Sep-2020 14:46               76064
libcvc4-7_1.8-2_amd64.deb                          29-Sep-2020 14:46             5651716
libcvc4-7_1.8-2_arm64.deb                          29-Sep-2020 14:46             4783836
libcvc4-dev_1.8-2_amd64.deb                        29-Sep-2020 14:46              131264
libcvc4-dev_1.8-2_arm64.deb                        29-Sep-2020 14:46              131268
libcvc4parser7_1.8-2_amd64.deb                     29-Sep-2020 14:46              366212
libcvc4parser7_1.8-2_arm64.deb                     29-Sep-2020 14:46              328200