Index of /deepin/pool/main/c/cvc4/


../
cvc4_1.5-1.debian.tar.xz                           31-Jul-2017 19:00                6012
cvc4_1.5-1.dsc                                     31-Jul-2017 19:00                2221
cvc4_1.5-1_amd64.deb                               31-Jul-2017 19:00              136172
cvc4_1.5-1_i386.deb                                29-Oct-2017 23:11              140448
cvc4_1.5.orig.tar.gz                               31-Jul-2017 19:00             7926116
libcvc4-4_1.5-1_amd64.deb                          31-Jul-2017 19:00             3519852
libcvc4-4_1.5-1_i386.deb                           29-Oct-2017 23:11             3632352
libcvc4-dev_1.5-1_amd64.deb                        31-Jul-2017 19:00             6154646
libcvc4-dev_1.5-1_i386.deb                         29-Oct-2017 23:11             6384396
libcvc4parser4_1.5-1_amd64.deb                     31-Jul-2017 19:00              364242
libcvc4parser4_1.5-1_i386.deb                      29-Oct-2017 23:11              391088