Index of /ubuntu/pool/universe/c/cvc4/


../
cvc4_1.5-1.debian.tar.xz                           08-Sep-2021 01:36    6012
cvc4_1.5-1.dsc                                     08-Sep-2021 01:36    2221
cvc4_1.5-1_amd64.deb                               02-Nov-2017 23:57    135K
cvc4_1.5-1_i386.deb                                18-Nov-2020 00:54    139K
cvc4_1.5.orig.tar.gz                               08-Sep-2021 01:36      8M
cvc4_1.6-2build2.debian.tar.xz                     08-Sep-2021 01:36    8392
cvc4_1.6-2build2.dsc                               08-Sep-2021 01:36    2755
cvc4_1.6-2build2_amd64.deb                         18-Nov-2020 00:54    135K
cvc4_1.6.orig.tar.gz                               06-Nov-2024 19:12      7M
cvc4_1.8-2.debian.tar.xz                           06-Nov-2024 19:12     16K
cvc4_1.8-2.dsc                                     06-Nov-2024 19:12    2275
cvc4_1.8-2_amd64.deb                               29-Aug-2022 16:29     72K
cvc4_1.8-3build2.debian.tar.xz                     06-May-2024 19:01     16K
cvc4_1.8-3build2.dsc                               06-May-2024 19:01    2363
cvc4_1.8-3build2_amd64.deb                         06-May-2024 19:01     74K
cvc4_1.8.orig.tar.gz                               06-Nov-2024 19:12      7M
libcvc4-4_1.5-1_amd64.deb                          02-Nov-2017 23:57      3M
libcvc4-4_1.5-1_i386.deb                           18-Nov-2020 00:54      3M
libcvc4-5_1.6-2build2_amd64.deb                    18-Nov-2020 00:54      4M
libcvc4-7_1.8-2_amd64.deb                          29-Aug-2022 16:29      5M
libcvc4-7_1.8-3build2_amd64.deb                    06-May-2024 19:01      5M
libcvc4-dev_1.5-1_amd64.deb                        02-Nov-2017 23:57      6M
libcvc4-dev_1.5-1_i386.deb                         18-Nov-2020 00:54      6M
libcvc4-dev_1.6-2build2_amd64.deb                  18-Nov-2020 00:54      7M
libcvc4-dev_1.8-2_amd64.deb                        29-Aug-2022 16:29    120K
libcvc4-dev_1.8-3build2_amd64.deb                  06-May-2024 19:01    122K
libcvc4parser4_1.5-1_amd64.deb                     02-Nov-2017 23:57    355K
libcvc4parser4_1.5-1_i386.deb                      18-Nov-2020 00:54    381K
libcvc4parser5_1.6-2build2_amd64.deb               18-Nov-2020 00:54    356K
libcvc4parser7_1.8-2_amd64.deb                     29-Aug-2022 16:29    349K
libcvc4parser7_1.8-3build2_amd64.deb               06-May-2024 19:01    365K