Index of /Linux/debian/pool/main/c/cvc4/


../
cvc4_1.6-2+b1_amd64.deb                            17-Nov-2018 18:57    133K
cvc4_1.6-2+b1_i386.deb                             17-Nov-2018 11:59    136K
cvc4_1.6-2.debian.tar.xz                           14-Aug-2018 05:01    8232
cvc4_1.6-2.dsc                                     14-Aug-2018 05:01    2652
cvc4_1.6.orig.tar.gz                               08-Aug-2018 04:44      7M
cvc4_1.8-2.debian.tar.xz                           18-Sep-2020 10:25     16K
cvc4_1.8-2.dsc                                     18-Sep-2020 10:25    2275
cvc4_1.8-2_amd64.deb                               18-Sep-2020 11:11     80K
cvc4_1.8-2_arm64.deb                               18-Sep-2020 11:27     74K
cvc4_1.8-2_armel.deb                               18-Sep-2020 13:29     73K
cvc4_1.8-2_armhf.deb                               18-Sep-2020 11:32     74K
cvc4_1.8-2_i386.deb                                18-Sep-2020 11:42     81K
cvc4_1.8-2_mips64el.deb                            18-Sep-2020 17:01     72K
cvc4_1.8-2_mipsel.deb                              18-Sep-2020 14:44     73K
cvc4_1.8-2_ppc64el.deb                             18-Sep-2020 11:11     78K
cvc4_1.8-2_s390x.deb                               18-Sep-2020 16:10     74K
cvc4_1.8-3+b4_amd64.deb                            08-Apr-2025 01:25     81K
cvc4_1.8-3+b4_arm64.deb                            08-Apr-2025 10:42     75K
cvc4_1.8-3+b4_armel.deb                            08-Apr-2025 10:21     74K
cvc4_1.8-3+b4_armhf.deb                            08-Apr-2025 02:16     75K
cvc4_1.8-3+b4_i386.deb                             08-Apr-2025 01:36     83K
cvc4_1.8-3+b4_mips64el.deb                         08-Apr-2025 12:12     76K
cvc4_1.8-3+b4_ppc64el.deb                          08-Apr-2025 01:30     79K
cvc4_1.8-3+b4_riscv64.deb                          10-Apr-2025 12:49     77K
cvc4_1.8-3+b4_s390x.deb                            08-Apr-2025 02:44     78K
cvc4_1.8-3.debian.tar.xz                           30-Oct-2022 04:57     16K
cvc4_1.8-3.dsc                                     30-Oct-2022 04:57    2244
cvc4_1.8-3_amd64.deb                               30-Oct-2022 06:29     79K
cvc4_1.8-3_arm64.deb                               30-Oct-2022 06:47     74K
cvc4_1.8-3_armel.deb                               30-Oct-2022 06:57     72K
cvc4_1.8-3_armhf.deb                               30-Oct-2022 06:47     73K
cvc4_1.8-3_i386.deb                                30-Oct-2022 06:23     81K
cvc4_1.8-3_mips64el.deb                            30-Oct-2022 10:59     72K
cvc4_1.8-3_mipsel.deb                              30-Oct-2022 07:12     72K
cvc4_1.8-3_ppc64el.deb                             30-Oct-2022 06:42     79K
cvc4_1.8-3_s390x.deb                               30-Oct-2022 06:39     74K
cvc4_1.8.orig.tar.gz                               14-Sep-2020 08:17      7M
libcvc4-5_1.6-2+b1_amd64.deb                       17-Nov-2018 18:57      4M
libcvc4-5_1.6-2+b1_i386.deb                        17-Nov-2018 11:59      4M
libcvc4-7_1.8-2_amd64.deb                          18-Sep-2020 11:11      5M
libcvc4-7_1.8-2_arm64.deb                          18-Sep-2020 11:27      5M
libcvc4-7_1.8-2_armel.deb                          18-Sep-2020 13:29      5M
libcvc4-7_1.8-2_armhf.deb                          18-Sep-2020 11:32      5M
libcvc4-7_1.8-2_i386.deb                           18-Sep-2020 11:42      6M
libcvc4-7_1.8-2_mips64el.deb                       18-Sep-2020 17:01      4M
libcvc4-7_1.8-2_mipsel.deb                         18-Sep-2020 14:44      4M
libcvc4-7_1.8-2_ppc64el.deb                        18-Sep-2020 11:11      5M
libcvc4-7_1.8-2_s390x.deb                          18-Sep-2020 16:10      5M
libcvc4-7_1.8-3+b4_amd64.deb                       08-Apr-2025 01:25      6M
libcvc4-7_1.8-3+b4_arm64.deb                       08-Apr-2025 10:42      5M
libcvc4-7_1.8-3+b4_armel.deb                       08-Apr-2025 10:21      5M
libcvc4-7_1.8-3+b4_armhf.deb                       08-Apr-2025 02:16      5M
libcvc4-7_1.8-3+b4_i386.deb                        08-Apr-2025 01:36      7M
libcvc4-7_1.8-3+b4_mips64el.deb                    08-Apr-2025 12:12      5M
libcvc4-7_1.8-3+b4_ppc64el.deb                     08-Apr-2025 01:30      6M
libcvc4-7_1.8-3+b4_riscv64.deb                     10-Apr-2025 12:49      6M
libcvc4-7_1.8-3+b4_s390x.deb                       08-Apr-2025 02:44      6M
libcvc4-7_1.8-3_amd64.deb                          30-Oct-2022 06:29      6M
libcvc4-7_1.8-3_arm64.deb                          30-Oct-2022 06:47      5M
libcvc4-7_1.8-3_armel.deb                          30-Oct-2022 06:57      5M
libcvc4-7_1.8-3_armhf.deb                          30-Oct-2022 06:47      5M
libcvc4-7_1.8-3_i386.deb                           30-Oct-2022 06:23      6M
libcvc4-7_1.8-3_mips64el.deb                       30-Oct-2022 10:59      4M
libcvc4-7_1.8-3_mipsel.deb                         30-Oct-2022 07:12      4M
libcvc4-7_1.8-3_ppc64el.deb                        30-Oct-2022 06:42      5M
libcvc4-7_1.8-3_s390x.deb                          30-Oct-2022 06:39      5M
libcvc4-dev_1.6-2+b1_amd64.deb                     17-Nov-2018 18:57      6M
libcvc4-dev_1.6-2+b1_i386.deb                      17-Nov-2018 11:59      7M
libcvc4-dev_1.8-2_amd64.deb                        18-Sep-2020 11:11    128K
libcvc4-dev_1.8-2_arm64.deb                        18-Sep-2020 11:27    128K
libcvc4-dev_1.8-2_armel.deb                        18-Sep-2020 13:29    128K
libcvc4-dev_1.8-2_armhf.deb                        18-Sep-2020 11:32    128K
libcvc4-dev_1.8-2_i386.deb                         18-Sep-2020 11:42    128K
libcvc4-dev_1.8-2_mips64el.deb                     18-Sep-2020 17:01    128K
libcvc4-dev_1.8-2_mipsel.deb                       18-Sep-2020 14:44    128K
libcvc4-dev_1.8-2_ppc64el.deb                      18-Sep-2020 11:11    128K
libcvc4-dev_1.8-2_s390x.deb                        18-Sep-2020 16:10    128K
libcvc4-dev_1.8-3+b4_amd64.deb                     08-Apr-2025 01:25    128K
libcvc4-dev_1.8-3+b4_arm64.deb                     08-Apr-2025 10:42    128K
libcvc4-dev_1.8-3+b4_armel.deb                     08-Apr-2025 10:21    128K
libcvc4-dev_1.8-3+b4_armhf.deb                     08-Apr-2025 02:16    128K
libcvc4-dev_1.8-3+b4_i386.deb                      08-Apr-2025 01:36    128K
libcvc4-dev_1.8-3+b4_mips64el.deb                  08-Apr-2025 12:12    128K
libcvc4-dev_1.8-3+b4_ppc64el.deb                   08-Apr-2025 01:30    128K
libcvc4-dev_1.8-3+b4_riscv64.deb                   10-Apr-2025 12:49    128K
libcvc4-dev_1.8-3+b4_s390x.deb                     08-Apr-2025 02:44    128K
libcvc4-dev_1.8-3_amd64.deb                        30-Oct-2022 06:29    128K
libcvc4-dev_1.8-3_arm64.deb                        30-Oct-2022 06:47    128K
libcvc4-dev_1.8-3_armel.deb                        30-Oct-2022 06:57    128K
libcvc4-dev_1.8-3_armhf.deb                        30-Oct-2022 06:47    128K
libcvc4-dev_1.8-3_i386.deb                         30-Oct-2022 06:23    128K
libcvc4-dev_1.8-3_mips64el.deb                     30-Oct-2022 10:59    128K
libcvc4-dev_1.8-3_mipsel.deb                       30-Oct-2022 07:12    128K
libcvc4-dev_1.8-3_ppc64el.deb                      30-Oct-2022 06:42    128K
libcvc4-dev_1.8-3_s390x.deb                        30-Oct-2022 06:39    128K
libcvc4parser5_1.6-2+b1_amd64.deb                  17-Nov-2018 18:57    354K
libcvc4parser5_1.6-2+b1_i386.deb                   17-Nov-2018 11:59    380K
libcvc4parser7_1.8-2_amd64.deb                     18-Sep-2020 11:11    358K
libcvc4parser7_1.8-2_arm64.deb                     18-Sep-2020 11:27    321K
libcvc4parser7_1.8-2_armel.deb                     18-Sep-2020 13:29    316K
libcvc4parser7_1.8-2_armhf.deb                     18-Sep-2020 11:32    320K
libcvc4parser7_1.8-2_i386.deb                      18-Sep-2020 11:42    374K
libcvc4parser7_1.8-2_mips64el.deb                  18-Sep-2020 17:01    297K
libcvc4parser7_1.8-2_mipsel.deb                    18-Sep-2020 14:44    298K
libcvc4parser7_1.8-2_ppc64el.deb                   18-Sep-2020 11:11    350K
libcvc4parser7_1.8-2_s390x.deb                     18-Sep-2020 16:10    316K
libcvc4parser7_1.8-3+b4_amd64.deb                  08-Apr-2025 01:25    373K
libcvc4parser7_1.8-3+b4_arm64.deb                  08-Apr-2025 10:42    326K
libcvc4parser7_1.8-3+b4_armel.deb                  08-Apr-2025 10:21    327K
libcvc4parser7_1.8-3+b4_armhf.deb                  08-Apr-2025 02:16    339K
libcvc4parser7_1.8-3+b4_i386.deb                   08-Apr-2025 01:36    402K
libcvc4parser7_1.8-3+b4_mips64el.deb               08-Apr-2025 12:12    309K
libcvc4parser7_1.8-3+b4_ppc64el.deb                08-Apr-2025 01:30    356K
libcvc4parser7_1.8-3+b4_riscv64.deb                10-Apr-2025 12:49    363K
libcvc4parser7_1.8-3+b4_s390x.deb                  08-Apr-2025 02:44    389K
libcvc4parser7_1.8-3_amd64.deb                     30-Oct-2022 06:29    354K
libcvc4parser7_1.8-3_arm64.deb                     30-Oct-2022 06:47    315K
libcvc4parser7_1.8-3_armel.deb                     30-Oct-2022 06:57    310K
libcvc4parser7_1.8-3_armhf.deb                     30-Oct-2022 06:47    322K
libcvc4parser7_1.8-3_i386.deb                      30-Oct-2022 06:23    379K
libcvc4parser7_1.8-3_mips64el.deb                  30-Oct-2022 10:59    296K
libcvc4parser7_1.8-3_mipsel.deb                    30-Oct-2022 07:12    303K
libcvc4parser7_1.8-3_ppc64el.deb                   30-Oct-2022 06:42    348K
libcvc4parser7_1.8-3_s390x.deb                     30-Oct-2022 06:39    316K