Index of /pub/linux/debian/pool/main/c/cvc4/


../
cvc4_1.8-2.debian.tar.xz                           18-Sep-2020 04:25     16K
cvc4_1.8-2.dsc                                     18-Sep-2020 04:25    2275
cvc4_1.8-2_amd64.deb                               18-Sep-2020 05:11     80K
cvc4_1.8-2_arm64.deb                               18-Sep-2020 05:27     74K
cvc4_1.8-2_armhf.deb                               18-Sep-2020 05:32     74K
cvc4_1.8-2_i386.deb                                18-Sep-2020 05:42     81K
cvc4_1.8-3+b4_amd64.deb                            07-Apr-2025 19:25     81K
cvc4_1.8-3+b4_arm64.deb                            08-Apr-2025 04:42     75K
cvc4_1.8-3+b4_armel.deb                            08-Apr-2025 04:21     74K
cvc4_1.8-3+b4_armhf.deb                            07-Apr-2025 20:16     75K
cvc4_1.8-3+b4_i386.deb                             07-Apr-2025 19:36     83K
cvc4_1.8-3+b4_ppc64el.deb                          07-Apr-2025 19:30     79K
cvc4_1.8-3+b4_riscv64.deb                          10-Apr-2025 06:49     77K
cvc4_1.8-3.debian.tar.xz                           29-Oct-2022 22:57     16K
cvc4_1.8-3.dsc                                     29-Oct-2022 22:57    2244
cvc4_1.8-3_amd64.deb                               30-Oct-2022 00:29     79K
cvc4_1.8-3_arm64.deb                               30-Oct-2022 00:47     74K
cvc4_1.8-3_armel.deb                               30-Oct-2022 00:57     72K
cvc4_1.8-3_armhf.deb                               30-Oct-2022 00:47     73K
cvc4_1.8-3_i386.deb                                30-Oct-2022 00:23     81K
cvc4_1.8-3_mips64el.deb                            30-Oct-2022 04:59     72K
cvc4_1.8-3_mipsel.deb                              30-Oct-2022 01:12     72K
cvc4_1.8-3_ppc64el.deb                             30-Oct-2022 00:42     79K
cvc4_1.8-4.debian.tar.xz                           27-Jul-2025 17:17     17K
cvc4_1.8-4.dsc                                     27-Jul-2025 17:17    2231
cvc4_1.8-4_amd64.deb                               11-Aug-2025 19:09     80K
cvc4_1.8-4_arm64.deb                               11-Aug-2025 19:19     74K
cvc4_1.8-4_armel.deb                               11-Aug-2025 19:35     74K
cvc4_1.8-4_armhf.deb                               11-Aug-2025 19:09     75K
cvc4_1.8-4_i386.deb                                11-Aug-2025 19:04     83K
cvc4_1.8-4_mips64el.deb                            12-Aug-2025 08:07     76K
cvc4_1.8-4_ppc64el.deb                             11-Aug-2025 19:04     78K
cvc4_1.8-4_riscv64.deb                             13-Aug-2025 03:04     77K
cvc4_1.8.orig.tar.gz                               14-Sep-2020 02:17      7M
libcvc4-7_1.8-2_amd64.deb                          18-Sep-2020 05:11      5M
libcvc4-7_1.8-2_arm64.deb                          18-Sep-2020 05:27      5M
libcvc4-7_1.8-2_armhf.deb                          18-Sep-2020 05:32      5M
libcvc4-7_1.8-2_i386.deb                           18-Sep-2020 05:42      6M
libcvc4-7_1.8-3+b4_amd64.deb                       07-Apr-2025 19:25      6M
libcvc4-7_1.8-3+b4_arm64.deb                       08-Apr-2025 04:42      5M
libcvc4-7_1.8-3+b4_armel.deb                       08-Apr-2025 04:21      5M
libcvc4-7_1.8-3+b4_armhf.deb                       07-Apr-2025 20:16      5M
libcvc4-7_1.8-3+b4_i386.deb                        07-Apr-2025 19:36      7M
libcvc4-7_1.8-3+b4_ppc64el.deb                     07-Apr-2025 19:30      6M
libcvc4-7_1.8-3+b4_riscv64.deb                     10-Apr-2025 06:49      6M
libcvc4-7_1.8-3_amd64.deb                          30-Oct-2022 00:29      6M
libcvc4-7_1.8-3_arm64.deb                          30-Oct-2022 00:47      5M
libcvc4-7_1.8-3_armel.deb                          30-Oct-2022 00:57      5M
libcvc4-7_1.8-3_armhf.deb                          30-Oct-2022 00:47      5M
libcvc4-7_1.8-3_i386.deb                           30-Oct-2022 00:23      6M
libcvc4-7_1.8-3_mips64el.deb                       30-Oct-2022 04:59      4M
libcvc4-7_1.8-3_mipsel.deb                         30-Oct-2022 01:12      4M
libcvc4-7_1.8-3_ppc64el.deb                        30-Oct-2022 00:42      5M
libcvc4-7_1.8-4_amd64.deb                          11-Aug-2025 19:09      6M
libcvc4-7_1.8-4_arm64.deb                          11-Aug-2025 19:19      5M
libcvc4-7_1.8-4_armel.deb                          11-Aug-2025 19:35      5M
libcvc4-7_1.8-4_armhf.deb                          11-Aug-2025 19:09      5M
libcvc4-7_1.8-4_i386.deb                           11-Aug-2025 19:04      7M
libcvc4-7_1.8-4_mips64el.deb                       12-Aug-2025 08:07      5M
libcvc4-7_1.8-4_ppc64el.deb                        11-Aug-2025 19:04      6M
libcvc4-7_1.8-4_riscv64.deb                        13-Aug-2025 03:05      6M
libcvc4-dev_1.8-2_amd64.deb                        18-Sep-2020 05:11    128K
libcvc4-dev_1.8-2_arm64.deb                        18-Sep-2020 05:27    128K
libcvc4-dev_1.8-2_armhf.deb                        18-Sep-2020 05:32    128K
libcvc4-dev_1.8-2_i386.deb                         18-Sep-2020 05:42    128K
libcvc4-dev_1.8-3+b4_amd64.deb                     07-Apr-2025 19:25    128K
libcvc4-dev_1.8-3+b4_arm64.deb                     08-Apr-2025 04:42    128K
libcvc4-dev_1.8-3+b4_armel.deb                     08-Apr-2025 04:21    128K
libcvc4-dev_1.8-3+b4_armhf.deb                     07-Apr-2025 20:16    128K
libcvc4-dev_1.8-3+b4_i386.deb                      07-Apr-2025 19:36    128K
libcvc4-dev_1.8-3+b4_ppc64el.deb                   07-Apr-2025 19:30    128K
libcvc4-dev_1.8-3+b4_riscv64.deb                   10-Apr-2025 06:49    128K
libcvc4-dev_1.8-3_amd64.deb                        30-Oct-2022 00:29    128K
libcvc4-dev_1.8-3_arm64.deb                        30-Oct-2022 00:47    128K
libcvc4-dev_1.8-3_armel.deb                        30-Oct-2022 00:57    128K
libcvc4-dev_1.8-3_armhf.deb                        30-Oct-2022 00:47    128K
libcvc4-dev_1.8-3_i386.deb                         30-Oct-2022 00:23    128K
libcvc4-dev_1.8-3_mips64el.deb                     30-Oct-2022 04:59    128K
libcvc4-dev_1.8-3_mipsel.deb                       30-Oct-2022 01:12    128K
libcvc4-dev_1.8-3_ppc64el.deb                      30-Oct-2022 00:42    128K
libcvc4-dev_1.8-4_amd64.deb                        11-Aug-2025 19:09    128K
libcvc4-dev_1.8-4_arm64.deb                        11-Aug-2025 19:19    128K
libcvc4-dev_1.8-4_armel.deb                        11-Aug-2025 19:35    128K
libcvc4-dev_1.8-4_armhf.deb                        11-Aug-2025 19:09    128K
libcvc4-dev_1.8-4_i386.deb                         11-Aug-2025 19:04    128K
libcvc4-dev_1.8-4_mips64el.deb                     12-Aug-2025 08:07    128K
libcvc4-dev_1.8-4_ppc64el.deb                      11-Aug-2025 19:04    128K
libcvc4-dev_1.8-4_riscv64.deb                      13-Aug-2025 03:05    128K
libcvc4parser7_1.8-2_amd64.deb                     18-Sep-2020 05:11    358K
libcvc4parser7_1.8-2_arm64.deb                     18-Sep-2020 05:27    321K
libcvc4parser7_1.8-2_armhf.deb                     18-Sep-2020 05:32    320K
libcvc4parser7_1.8-2_i386.deb                      18-Sep-2020 05:42    374K
libcvc4parser7_1.8-3+b4_amd64.deb                  07-Apr-2025 19:25    373K
libcvc4parser7_1.8-3+b4_arm64.deb                  08-Apr-2025 04:42    326K
libcvc4parser7_1.8-3+b4_armel.deb                  08-Apr-2025 04:21    327K
libcvc4parser7_1.8-3+b4_armhf.deb                  07-Apr-2025 20:16    339K
libcvc4parser7_1.8-3+b4_i386.deb                   07-Apr-2025 19:36    402K
libcvc4parser7_1.8-3+b4_ppc64el.deb                07-Apr-2025 19:30    356K
libcvc4parser7_1.8-3+b4_riscv64.deb                10-Apr-2025 06:49    363K
libcvc4parser7_1.8-3_amd64.deb                     30-Oct-2022 00:29    354K
libcvc4parser7_1.8-3_arm64.deb                     30-Oct-2022 00:47    315K
libcvc4parser7_1.8-3_armel.deb                     30-Oct-2022 00:57    310K
libcvc4parser7_1.8-3_armhf.deb                     30-Oct-2022 00:47    322K
libcvc4parser7_1.8-3_i386.deb                      30-Oct-2022 00:23    379K
libcvc4parser7_1.8-3_mips64el.deb                  30-Oct-2022 04:59    296K
libcvc4parser7_1.8-3_mipsel.deb                    30-Oct-2022 01:12    303K
libcvc4parser7_1.8-3_ppc64el.deb                   30-Oct-2022 00:42    348K
libcvc4parser7_1.8-4_amd64.deb                     11-Aug-2025 19:09    373K
libcvc4parser7_1.8-4_arm64.deb                     11-Aug-2025 19:19    326K
libcvc4parser7_1.8-4_armel.deb                     11-Aug-2025 19:35    325K
libcvc4parser7_1.8-4_armhf.deb                     11-Aug-2025 19:09    336K
libcvc4parser7_1.8-4_i386.deb                      11-Aug-2025 19:04    402K
libcvc4parser7_1.8-4_mips64el.deb                  12-Aug-2025 08:07    309K
libcvc4parser7_1.8-4_ppc64el.deb                   11-Aug-2025 19:04    357K
libcvc4parser7_1.8-4_riscv64.deb                   13-Aug-2025 03:05    362K