Index of /debian/pool/main/c/cvc5

Icon  Name                                  Last modified      Size  Description
[PARENTDIR] Parent Directory                                           -   
[   ] cvc5_1.0.3-1.debian.tar.xz            2022-12-20 04:26  5.8K  
[TXT] cvc5_1.0.3-1.dsc                      2022-12-20 04:26  2.3K  
[   ] cvc5_1.0.3-1_amd64.deb                2022-12-20 06:55  105K  
[   ] cvc5_1.0.3-1_arm64.deb                2022-12-20 06:29   95K  
[   ] cvc5_1.0.3-1_ppc64el.deb              2022-12-20 06:45  103K  
[   ] cvc5_1.0.3-1_s390x.deb                2022-12-20 13:13   95K  
[   ] cvc5_1.0.3.orig.tar.gz                2022-12-20 04:26  7.9M  
[   ] cvc5_1.0.5-3+b1_amd64.deb             2024-01-05 22:57  101K  
[   ] cvc5_1.0.5-3+b1_arm64.deb             2024-01-06 00:12   89K  
[   ] cvc5_1.0.5-3+b1_ppc64el.deb           2024-01-05 21:52   95K  
[   ] cvc5_1.0.5-3+b1_riscv64.deb           2023-12-31 15:03   93K  
[   ] cvc5_1.0.5-3+b1_s390x.deb             2024-01-06 08:24   98K  
[   ] cvc5_1.0.5-3.debian.tar.xz            2023-06-23 22:03  6.9K  
[TXT] cvc5_1.0.5-3.dsc                      2023-06-23 22:03  2.4K  
[   ] cvc5_1.0.5-3_amd64.deb                2023-06-23 23:29   98K  
[   ] cvc5_1.0.5-3_arm64.deb                2023-06-24 00:12   86K  
[   ] cvc5_1.0.5-3_ppc64el.deb              2023-06-23 23:29   93K  
[   ] cvc5_1.0.5-3_s390x.deb                2023-06-23 23:29   90K  
[   ] cvc5_1.0.5.orig.tar.gz                2023-06-20 19:12  8.0M  
[   ] cvc5_1.0.8-1.debian.tar.xz            2024-01-21 03:49  6.2K  
[TXT] cvc5_1.0.8-1.dsc                      2024-01-21 03:49  2.4K  
[   ] cvc5_1.0.8-1_amd64.deb                2024-01-21 04:59  104K  
[   ] cvc5_1.0.8-1_arm64.deb                2024-01-21 04:59   92K  
[   ] cvc5_1.0.8-1_ppc64el.deb              2024-01-21 04:59   98K  
[   ] cvc5_1.0.8-1_riscv64.deb              2024-01-21 15:51   96K  
[   ] cvc5_1.0.8-1_s390x.deb                2024-01-21 05:05  101K  
[   ] cvc5_1.0.8.orig.tar.gz                2024-01-21 03:49  8.0M  
[   ] cvc5_1.1.1-1.debian.tar.xz            2024-02-12 04:02  6.8K  
[TXT] cvc5_1.1.1-1.dsc                      2024-02-12 04:02  2.4K  
[   ] cvc5_1.1.1-1_amd64.deb                2024-02-12 04:53  107K  
[   ] cvc5_1.1.1-1_arm64.deb                2024-02-12 05:34   94K  
[   ] cvc5_1.1.1-1_ppc64el.deb              2024-02-12 04:53  101K  
[   ] cvc5_1.1.1-1_riscv64.deb              2024-02-12 11:43   99K  
[   ] cvc5_1.1.1-1_s390x.deb                2024-02-12 04:58  103K  
[   ] cvc5_1.1.1.orig.tar.gz                2024-02-12 04:02  8.1M  
[   ] cvc5_1.1.2-1.debian.tar.xz            2024-03-03 03:53  6.3K  
[TXT] cvc5_1.1.2-1.dsc                      2024-03-03 03:53  2.4K  
[   ] cvc5_1.1.2-1_amd64.deb                2024-03-03 05:04  109K  
[   ] cvc5_1.1.2-1_arm64.deb                2024-03-03 04:54   96K  
[   ] cvc5_1.1.2-1_armel.deb                2024-03-15 19:00   97K  
[   ] cvc5_1.1.2-1_armhf.deb                2024-03-15 10:50  100K  
[   ] cvc5_1.1.2-1_i386.deb                 2024-03-03 04:54  111K  
[   ] cvc5_1.1.2-1_ppc64el.deb              2024-03-03 04:54  102K  
[   ] cvc5_1.1.2-1_riscv64.deb              2024-03-03 11:45  100K  
[   ] cvc5_1.1.2-1_s390x.deb                2024-03-03 04:59  105K  
[   ] cvc5_1.1.2-2.debian.tar.xz            2024-03-19 23:22  7.2K  
[TXT] cvc5_1.1.2-2.dsc                      2024-03-19 23:22  2.4K  
[   ] cvc5_1.1.2-2_amd64.deb                2024-03-20 02:42  108K  
[   ] cvc5_1.1.2-2_arm64.deb                2024-03-20 03:29   96K  
[   ] cvc5_1.1.2-2_armel.deb                2024-03-20 00:13   98K  
[   ] cvc5_1.1.2-2_armhf.deb                2024-03-20 00:28  100K  
[   ] cvc5_1.1.2-2_i386.deb                 2024-03-20 00:08  111K  
[   ] cvc5_1.1.2-2_mips64el.deb             2024-04-01 03:57   90K  
[   ] cvc5_1.1.2-2_ppc64el.deb              2024-03-20 00:08  102K  
[   ] cvc5_1.1.2-2_riscv64.deb              2024-03-21 12:14  100K  
[   ] cvc5_1.1.2-2_s390x.deb                2024-03-21 09:50  106K  
[   ] cvc5_1.1.2.orig.tar.gz                2024-03-03 03:53  8.2M  
[   ] libcvc5-1_1.0.3-1_amd64.deb           2022-12-20 06:55  5.6M  
[   ] libcvc5-1_1.0.3-1_arm64.deb           2022-12-20 06:29  4.7M  
[   ] libcvc5-1_1.0.3-1_ppc64el.deb         2022-12-20 06:45  5.3M  
[   ] libcvc5-1_1.0.3-1_s390x.deb           2022-12-20 13:13  4.9M  
[   ] libcvc5-1_1.0.5-3+b1_amd64.deb        2024-01-05 22:57  5.8M  
[   ] libcvc5-1_1.0.5-3+b1_arm64.deb        2024-01-06 00:12  4.9M  
[   ] libcvc5-1_1.0.5-3+b1_ppc64el.deb      2024-01-05 21:52  5.5M  
[   ] libcvc5-1_1.0.5-3+b1_riscv64.deb      2023-12-31 15:03  5.9M  
[   ] libcvc5-1_1.0.5-3+b1_s390x.deb        2024-01-06 08:24  5.9M  
[   ] libcvc5-1_1.0.5-3_amd64.deb           2023-06-23 23:29  5.6M  
[   ] libcvc5-1_1.0.5-3_arm64.deb           2023-06-24 00:12  4.8M  
[   ] libcvc5-1_1.0.5-3_ppc64el.deb         2023-06-23 23:29  5.4M  
[   ] libcvc5-1_1.0.5-3_s390x.deb           2023-06-23 23:29  4.9M  
[   ] libcvc5-1_1.0.8-1_amd64.deb           2024-01-21 04:59  5.9M  
[   ] libcvc5-1_1.0.8-1_arm64.deb           2024-01-21 04:59  5.0M  
[   ] libcvc5-1_1.0.8-1_ppc64el.deb         2024-01-21 04:59  5.6M  
[   ] libcvc5-1_1.0.8-1_riscv64.deb         2024-01-21 15:51  5.9M  
[   ] libcvc5-1_1.0.8-1_s390x.deb           2024-01-21 05:05  5.9M  
[   ] libcvc5-1_1.1.1-1_amd64.deb           2024-02-12 04:53  6.0M  
[   ] libcvc5-1_1.1.1-1_arm64.deb           2024-02-12 05:34  5.1M  
[   ] libcvc5-1_1.1.1-1_ppc64el.deb         2024-02-12 04:53  5.7M  
[   ] libcvc5-1_1.1.1-1_riscv64.deb         2024-02-12 11:43  6.0M  
[   ] libcvc5-1_1.1.1-1_s390x.deb           2024-02-12 04:58  6.1M  
[   ] libcvc5-1_1.1.2-1_amd64.deb           2024-03-03 05:04  6.1M  
[   ] libcvc5-1_1.1.2-1_arm64.deb           2024-03-03 04:54  5.2M  
[   ] libcvc5-1_1.1.2-1_armel.deb           2024-03-15 19:00  5.3M  
[   ] libcvc5-1_1.1.2-1_armhf.deb           2024-03-15 10:50  5.2M  
[   ] libcvc5-1_1.1.2-1_i386.deb            2024-03-03 04:54  6.7M  
[   ] libcvc5-1_1.1.2-1_ppc64el.deb         2024-03-03 04:54  5.8M  
[   ] libcvc5-1_1.1.2-1_riscv64.deb         2024-03-03 11:45  6.1M  
[   ] libcvc5-1_1.1.2-1_s390x.deb           2024-03-03 04:59  6.2M  
[   ] libcvc5-1_1.1.2-2_amd64.deb           2024-03-20 02:42  6.1M  
[   ] libcvc5-1_1.1.2-2_arm64.deb           2024-03-20 03:29  5.2M  
[   ] libcvc5-1_1.1.2-2_armel.deb           2024-03-20 00:13  5.3M  
[   ] libcvc5-1_1.1.2-2_armhf.deb           2024-03-20 00:29  5.2M  
[   ] libcvc5-1_1.1.2-2_i386.deb            2024-03-20 00:08  6.7M  
[   ] libcvc5-1_1.1.2-2_mips64el.deb        2024-04-01 03:57  4.9M  
[   ] libcvc5-1_1.1.2-2_ppc64el.deb         2024-03-20 00:08  5.8M  
[   ] libcvc5-1_1.1.2-2_riscv64.deb         2024-03-21 12:14  6.1M  
[   ] libcvc5-1_1.1.2-2_s390x.deb           2024-03-21 09:50  6.2M  
[   ] libcvc5-dev_1.0.3-1_amd64.deb         2022-12-20 06:55   57K  
[   ] libcvc5-dev_1.0.3-1_arm64.deb         2022-12-20 06:29   57K  
[   ] libcvc5-dev_1.0.3-1_ppc64el.deb       2022-12-20 06:45   57K  
[   ] libcvc5-dev_1.0.3-1_s390x.deb         2022-12-20 13:13   57K  
[   ] libcvc5-dev_1.0.5-3+b1_amd64.deb      2024-01-05 22:57   60K  
[   ] libcvc5-dev_1.0.5-3+b1_arm64.deb      2024-01-06 00:12   59K  
[   ] libcvc5-dev_1.0.5-3+b1_ppc64el.deb    2024-01-05 21:52   60K  
[   ] libcvc5-dev_1.0.5-3+b1_riscv64.deb    2023-12-31 15:03   59K  
[   ] libcvc5-dev_1.0.5-3+b1_s390x.deb      2024-01-06 08:24   59K  
[   ] libcvc5-dev_1.0.5-3_amd64.deb         2023-06-23 23:29   59K  
[   ] libcvc5-dev_1.0.5-3_arm64.deb         2023-06-24 00:12   59K  
[   ] libcvc5-dev_1.0.5-3_ppc64el.deb       2023-06-23 23:29   59K  
[   ] libcvc5-dev_1.0.5-3_s390x.deb         2023-06-23 23:29   59K  
[   ] libcvc5-dev_1.0.8-1_amd64.deb         2024-01-21 04:59   63K  
[   ] libcvc5-dev_1.0.8-1_arm64.deb         2024-01-21 04:59   63K  
[   ] libcvc5-dev_1.0.8-1_ppc64el.deb       2024-01-21 04:59   63K  
[   ] libcvc5-dev_1.0.8-1_riscv64.deb       2024-01-21 15:51   63K  
[   ] libcvc5-dev_1.0.8-1_s390x.deb         2024-01-21 05:05   63K  
[   ] libcvc5-dev_1.1.1-1_amd64.deb         2024-02-12 04:53   78K  
[   ] libcvc5-dev_1.1.1-1_arm64.deb         2024-02-12 05:34   78K  
[   ] libcvc5-dev_1.1.1-1_ppc64el.deb       2024-02-12 04:53   78K  
[   ] libcvc5-dev_1.1.1-1_riscv64.deb       2024-02-12 11:43   78K  
[   ] libcvc5-dev_1.1.1-1_s390x.deb         2024-02-12 04:58   78K  
[   ] libcvc5-dev_1.1.2-1_amd64.deb         2024-03-03 05:04   91K  
[   ] libcvc5-dev_1.1.2-1_arm64.deb         2024-03-03 04:54   91K  
[   ] libcvc5-dev_1.1.2-1_armel.deb         2024-03-15 19:00   91K  
[   ] libcvc5-dev_1.1.2-1_armhf.deb         2024-03-15 10:50   91K  
[   ] libcvc5-dev_1.1.2-1_i386.deb          2024-03-03 04:54   91K  
[   ] libcvc5-dev_1.1.2-1_ppc64el.deb       2024-03-03 04:54   91K  
[   ] libcvc5-dev_1.1.2-1_riscv64.deb       2024-03-03 11:45   91K  
[   ] libcvc5-dev_1.1.2-1_s390x.deb         2024-03-03 04:59   91K  
[   ] libcvc5-dev_1.1.2-2_amd64.deb         2024-03-20 02:42   91K  
[   ] libcvc5-dev_1.1.2-2_arm64.deb         2024-03-20 03:29   91K  
[   ] libcvc5-dev_1.1.2-2_armel.deb         2024-03-20 00:13   91K  
[   ] libcvc5-dev_1.1.2-2_armhf.deb         2024-03-20 00:29   91K  
[   ] libcvc5-dev_1.1.2-2_i386.deb          2024-03-20 00:08   91K  
[   ] libcvc5-dev_1.1.2-2_mips64el.deb      2024-04-01 03:57   91K  
[   ] libcvc5-dev_1.1.2-2_ppc64el.deb       2024-03-20 00:08   91K  
[   ] libcvc5-dev_1.1.2-2_riscv64.deb       2024-03-21 12:14   91K  
[   ] libcvc5-dev_1.1.2-2_s390x.deb         2024-03-21 09:50   91K  
[   ] libcvc5parser1_1.0.3-1_amd64.deb      2022-12-20 06:55  300K  
[   ] libcvc5parser1_1.0.3-1_arm64.deb      2022-12-20 06:29  267K  
[   ] libcvc5parser1_1.0.3-1_ppc64el.deb    2022-12-20 06:45  297K  
[   ] libcvc5parser1_1.0.3-1_s390x.deb      2022-12-20 13:13  265K  
[   ] libcvc5parser1_1.0.5-3+b1_amd64.deb   2024-01-05 22:57  367K  
[   ] libcvc5parser1_1.0.5-3+b1_arm64.deb   2024-01-06 00:12  322K  
[   ] libcvc5parser1_1.0.5-3+b1_ppc64el.deb 2024-01-05 21:52  359K  
[   ] libcvc5parser1_1.0.5-3+b1_riscv64.deb 2023-12-31 15:03  350K  
[   ] libcvc5parser1_1.0.5-3+b1_s390x.deb   2024-01-06 08:24  370K  
[   ] libcvc5parser1_1.0.5-3_amd64.deb      2023-06-23 23:29  359K  
[   ] libcvc5parser1_1.0.5-3_arm64.deb      2023-06-24 00:12  312K  
[   ] libcvc5parser1_1.0.5-3_ppc64el.deb    2023-06-23 23:29  354K  
[   ] libcvc5parser1_1.0.5-3_s390x.deb      2023-06-23 23:29  313K  
[   ] libcvc5parser1_1.0.8-1_amd64.deb      2024-01-21 04:59  215K  
[   ] libcvc5parser1_1.0.8-1_arm64.deb      2024-01-21 04:59  189K  
[   ] libcvc5parser1_1.0.8-1_ppc64el.deb    2024-01-21 04:59  213K  
[   ] libcvc5parser1_1.0.8-1_riscv64.deb    2024-01-21 15:51  206K  
[   ] libcvc5parser1_1.0.8-1_s390x.deb      2024-01-21 05:05  209K  
[   ] libcvc5parser1_1.1.1-1_amd64.deb      2024-02-12 04:53  226K  
[   ] libcvc5parser1_1.1.1-1_arm64.deb      2024-02-12 05:34  199K  
[   ] libcvc5parser1_1.1.1-1_ppc64el.deb    2024-02-12 04:53  223K  
[   ] libcvc5parser1_1.1.1-1_riscv64.deb    2024-02-12 11:43  216K  
[   ] libcvc5parser1_1.1.1-1_s390x.deb      2024-02-12 04:58  220K  
[   ] libcvc5parser1_1.1.2-1_amd64.deb      2024-03-03 05:04  229K  
[   ] libcvc5parser1_1.1.2-1_arm64.deb      2024-03-03 04:54  202K  
[   ] libcvc5parser1_1.1.2-1_armel.deb      2024-03-15 19:00  193K  
[   ] libcvc5parser1_1.1.2-1_armhf.deb      2024-03-15 10:50  199K  
[   ] libcvc5parser1_1.1.2-1_i386.deb       2024-03-03 04:54  248K  
[   ] libcvc5parser1_1.1.2-1_ppc64el.deb    2024-03-03 04:54  226K  
[   ] libcvc5parser1_1.1.2-1_riscv64.deb    2024-03-03 11:45  219K  
[   ] libcvc5parser1_1.1.2-1_s390x.deb      2024-03-03 04:59  223K  
[   ] libcvc5parser1_1.1.2-2_amd64.deb      2024-03-20 02:42  229K  
[   ] libcvc5parser1_1.1.2-2_arm64.deb      2024-03-20 03:29  201K  
[   ] libcvc5parser1_1.1.2-2_armel.deb      2024-03-20 00:13  193K  
[   ] libcvc5parser1_1.1.2-2_armhf.deb      2024-03-20 00:29  200K  
[   ] libcvc5parser1_1.1.2-2_i386.deb       2024-03-20 00:08  248K  
[   ] libcvc5parser1_1.1.2-2_mips64el.deb   2024-04-01 03:57  191K  
[   ] libcvc5parser1_1.1.2-2_ppc64el.deb    2024-03-20 00:08  225K  
[   ] libcvc5parser1_1.1.2-2_riscv64.deb    2024-03-21 12:14  219K  
[   ] libcvc5parser1_1.1.2-2_s390x.deb      2024-03-21 09:50  222K  
[   ] python3-cvc5_1.0.5-3+b1_amd64.deb     2024-01-05 22:57  270K  
[   ] python3-cvc5_1.0.5-3+b1_arm64.deb     2024-01-06 00:12  244K  
[   ] python3-cvc5_1.0.5-3+b1_ppc64el.deb   2024-01-05 21:52  247K  
[   ] python3-cvc5_1.0.5-3+b1_riscv64.deb   2023-12-31 15:03  264K  
[   ] python3-cvc5_1.0.5-3+b1_s390x.deb     2024-01-06 08:24  266K  
[   ] python3-cvc5_1.0.5-3_amd64.deb        2023-06-23 23:29  222K  
[   ] python3-cvc5_1.0.5-3_arm64.deb        2023-06-24 00:12  195K  
[   ] python3-cvc5_1.0.5-3_ppc64el.deb      2023-06-23 23:29  208K  
[   ] python3-cvc5_1.0.5-3_s390x.deb        2023-06-23 23:29  199K  
[   ] python3-cvc5_1.0.8-1_amd64.deb        2024-01-21 04:59  272K  
[   ] python3-cvc5_1.0.8-1_arm64.deb        2024-01-21 04:59  246K  
[   ] python3-cvc5_1.0.8-1_ppc64el.deb      2024-01-21 04:59  251K  
[   ] python3-cvc5_1.0.8-1_riscv64.deb      2024-01-21 15:51  267K  
[   ] python3-cvc5_1.0.8-1_s390x.deb        2024-01-21 05:05  274K  
[   ] python3-cvc5_1.1.1-1_amd64.deb        2024-02-12 04:53  317K  
[   ] python3-cvc5_1.1.1-1_arm64.deb        2024-02-12 05:34  287K  
[   ] python3-cvc5_1.1.1-1_ppc64el.deb      2024-02-12 04:53  290K  
[   ] python3-cvc5_1.1.1-1_riscv64.deb      2024-02-12 11:43  311K  
[   ] python3-cvc5_1.1.1-1_s390x.deb        2024-02-12 04:58  314K  
[   ] python3-cvc5_1.1.2-1_amd64.deb        2024-03-03 05:04  321K  
[   ] python3-cvc5_1.1.2-1_arm64.deb        2024-03-03 04:54  290K  
[   ] python3-cvc5_1.1.2-1_armel.deb        2024-03-15 19:00  296K  
[   ] python3-cvc5_1.1.2-1_armhf.deb        2024-03-15 10:50  300K  
[   ] python3-cvc5_1.1.2-1_i386.deb         2024-03-03 04:54  307K  
[   ] python3-cvc5_1.1.2-1_ppc64el.deb      2024-03-03 04:54  295K  
[   ] python3-cvc5_1.1.2-1_riscv64.deb      2024-03-03 11:45  314K  
[   ] python3-cvc5_1.1.2-1_s390x.deb        2024-03-03 04:59  316K  
[   ] python3-cvc5_1.1.2-2_amd64.deb        2024-03-20 02:42  321K  
[   ] python3-cvc5_1.1.2-2_arm64.deb        2024-03-20 03:29  291K  
[   ] python3-cvc5_1.1.2-2_armel.deb        2024-03-20 00:13  295K  
[   ] python3-cvc5_1.1.2-2_armhf.deb        2024-03-20 00:29  300K  
[   ] python3-cvc5_1.1.2-2_i386.deb         2024-03-20 00:08  308K  
[   ] python3-cvc5_1.1.2-2_mips64el.deb     2024-04-01 03:57  244K  
[   ] python3-cvc5_1.1.2-2_ppc64el.deb      2024-03-20 00:08  296K  
[   ] python3-cvc5_1.1.2-2_riscv64.deb      2024-03-21 12:14  314K  
[   ] python3-cvc5_1.1.2-2_s390x.deb        2024-03-21 09:50  318K