Index of /main/c/cvc4/

../
cvc4_1.5-1.debian.tar.xz                           29-Oct-2017 23:08                6012
cvc4_1.5-1.dsc                                     29-Oct-2017 23:08                2221
cvc4_1.5.orig.tar.gz                               29-Oct-2017 23:08             7926116
cvc4_1.6-1.debian.tar.xz                           11-Aug-2018 23:07                8176
cvc4_1.6-1.dsc                                     11-Aug-2018 23:07                2643
cvc4_1.6-2.debian.tar.xz                           14-Aug-2018 06:20                8232
cvc4_1.6-2.dsc                                     14-Aug-2018 06:20                2652
cvc4_1.6.orig.tar.gz                               11-Aug-2018 23:07             7815893
cvc4_1.8-1.debian.tar.xz                           13-Sep-2020 23:17               13648
cvc4_1.8-1.dsc                                     13-Sep-2020 23:17                2246
cvc4_1.8-2.debian.tar.xz                           18-Sep-2020 01:25               16456
cvc4_1.8-2.dsc                                     18-Sep-2020 01:25                2275
cvc4_1.8.orig.tar.gz                               13-Sep-2020 23:17             7547187