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


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