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