Index of /ubuntu-ports/ubuntu-ports/pool/universe/c/cvc5

Icon  Name                                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                                 -   
[   ] cvc5_1.0.3-1.debian.tar.xz                  2022-12-20 12:29  5.8K  
[   ] cvc5_1.0.3-1.dsc                            2022-12-20 12:29  2.3K  
[   ] cvc5_1.0.3-1_arm64.deb                      2022-12-20 13:49   88K  
[   ] cvc5_1.0.3-1_ppc64el.deb                    2022-12-20 12:49   93K  
[   ] cvc5_1.0.3-1_riscv64.deb                    2022-12-20 15:48  101K  
[   ] cvc5_1.0.3-1_s390x.deb                      2022-12-20 12:49   90K  
[   ] cvc5_1.0.3.orig.tar.gz                      2022-12-20 12:29  7.9M  
[   ] cvc5_1.0.5-3.debian.tar.xz                  2023-06-24 13:45  6.9K  
[   ] cvc5_1.0.5-3.dsc                            2023-06-24 13:45  2.4K  
[   ] cvc5_1.0.5-3_arm64.deb                      2023-06-25 10:04   80K  
[   ] cvc5_1.0.5-3_ppc64el.deb                    2023-06-25 10:04   84K  
[   ] cvc5_1.0.5-3_riscv64.deb                    2023-06-25 10:04   93K  
[   ] cvc5_1.0.5-3_s390x.deb                      2023-06-25 10:04   84K  
[   ] cvc5_1.0.5.orig.tar.gz                      2023-06-21 01:39  8.0M  
[   ] cvc5_1.1.2-1build1.debian.tar.xz            2024-03-31 20:36  6.4K  
[   ] cvc5_1.1.2-1build1.dsc                      2024-03-31 20:36  2.5K  
[   ] cvc5_1.1.2-1build1_arm64.deb                2024-04-02 06:06   86K  
[   ] cvc5_1.1.2-1build1_armhf.deb                2024-04-02 03:08  102K  
[   ] cvc5_1.1.2-1build1_ppc64el.deb              2024-04-02 07:58   91K  
[   ] cvc5_1.1.2-1build1_riscv64.deb              2024-04-04 04:27  103K  
[   ] cvc5_1.1.2-1build1_s390x.deb                2024-04-02 13:03   94K  
[   ] cvc5_1.1.2-2.debian.tar.xz                  2024-05-03 03:55  7.2K  
[   ] cvc5_1.1.2-2.dsc                            2024-05-03 03:55  2.4K  
[   ] cvc5_1.1.2-2_arm64.deb                      2024-05-03 10:35   86K  
[   ] cvc5_1.1.2-2_armhf.deb                      2024-05-09 13:31  102K  
[   ] cvc5_1.1.2-2_ppc64el.deb                    2024-05-03 05:31   91K  
[   ] cvc5_1.1.2-2_riscv64.deb                    2024-05-06 13:59  103K  
[   ] cvc5_1.1.2-2_s390x.deb                      2024-05-03 06:30   92K  
[   ] cvc5_1.1.2.orig.tar.gz                      2024-03-03 12:23  8.2M  
[   ] libcvc5-1_1.0.3-1_arm64.deb                 2022-12-20 13:49  4.2M  
[   ] libcvc5-1_1.0.3-1_ppc64el.deb               2022-12-20 12:49  4.5M  
[   ] libcvc5-1_1.0.3-1_riscv64.deb               2022-12-20 15:48  6.3M  
[   ] libcvc5-1_1.0.3-1_s390x.deb                 2022-12-20 12:49  4.3M  
[   ] libcvc5-1_1.0.5-3_arm64.deb                 2023-06-25 10:04  4.2M  
[   ] libcvc5-1_1.0.5-3_ppc64el.deb               2023-06-25 10:04  4.5M  
[   ] libcvc5-1_1.0.5-3_riscv64.deb               2023-06-25 10:04  6.4M  
[   ] libcvc5-1_1.0.5-3_s390x.deb                 2023-06-25 10:04  4.3M  
[   ] libcvc5-1_1.1.2-1build1_arm64.deb           2024-04-02 06:06  4.5M  
[   ] libcvc5-1_1.1.2-1build1_armhf.deb           2024-04-02 03:08  6.0M  
[   ] libcvc5-1_1.1.2-1build1_ppc64el.deb         2024-04-02 07:58  4.9M  
[   ] libcvc5-1_1.1.2-1build1_riscv64.deb         2024-04-04 04:27  6.9M  
[   ] libcvc5-1_1.1.2-1build1_s390x.deb           2024-04-02 13:03  5.2M  
[   ] libcvc5-1_1.1.2-2_arm64.deb                 2024-05-03 10:35  4.5M  
[   ] libcvc5-1_1.1.2-2_armhf.deb                 2024-05-09 13:31  6.0M  
[   ] libcvc5-1_1.1.2-2_ppc64el.deb               2024-05-03 05:31  4.9M  
[   ] libcvc5-1_1.1.2-2_riscv64.deb               2024-05-06 13:59  6.9M  
[   ] libcvc5-1_1.1.2-2_s390x.deb                 2024-05-03 06:30  5.2M  
[   ] libcvc5-dev_1.0.3-1_arm64.deb               2022-12-20 13:49   52K  
[   ] libcvc5-dev_1.0.3-1_ppc64el.deb             2022-12-20 12:49   52K  
[   ] libcvc5-dev_1.0.3-1_riscv64.deb             2022-12-20 15:48   52K  
[   ] libcvc5-dev_1.0.3-1_s390x.deb               2022-12-20 12:49   52K  
[   ] libcvc5-dev_1.0.5-3_arm64.deb               2023-06-25 10:04   53K  
[   ] libcvc5-dev_1.0.5-3_ppc64el.deb             2023-06-25 10:04   53K  
[   ] libcvc5-dev_1.0.5-3_riscv64.deb             2023-06-25 10:04   53K  
[   ] libcvc5-dev_1.0.5-3_s390x.deb               2023-06-25 10:04   53K  
[   ] libcvc5-dev_1.1.2-1build1_arm64.deb         2024-04-02 06:06   82K  
[   ] libcvc5-dev_1.1.2-1build1_armhf.deb         2024-04-02 03:08   82K  
[   ] libcvc5-dev_1.1.2-1build1_ppc64el.deb       2024-04-02 07:58   82K  
[   ] libcvc5-dev_1.1.2-1build1_riscv64.deb       2024-04-04 04:27   82K  
[   ] libcvc5-dev_1.1.2-1build1_s390x.deb         2024-04-02 13:03   82K  
[   ] libcvc5-dev_1.1.2-2_arm64.deb               2024-05-03 10:35   82K  
[   ] libcvc5-dev_1.1.2-2_armhf.deb               2024-05-09 13:31   82K  
[   ] libcvc5-dev_1.1.2-2_ppc64el.deb             2024-05-03 05:31   82K  
[   ] libcvc5-dev_1.1.2-2_riscv64.deb             2024-05-06 13:59   82K  
[   ] libcvc5-dev_1.1.2-2_s390x.deb               2024-05-03 06:30   82K  
[   ] libcvc5parser1_1.0.3-1_arm64.deb            2022-12-20 13:49  278K  
[   ] libcvc5parser1_1.0.3-1_ppc64el.deb          2022-12-20 12:49  304K  
[   ] libcvc5parser1_1.0.3-1_riscv64.deb          2022-12-20 15:48  307K  
[   ] libcvc5parser1_1.0.3-1_s390x.deb            2022-12-20 12:49  275K  
[   ] libcvc5parser1_1.0.5-3_arm64.deb            2023-06-25 10:04  317K  
[   ] libcvc5parser1_1.0.5-3_ppc64el.deb          2023-06-25 10:04  349K  
[   ] libcvc5parser1_1.0.5-3_riscv64.deb          2023-06-25 10:04  368K  
[   ] libcvc5parser1_1.0.5-3_s390x.deb            2023-06-25 10:04  315K  
[   ] libcvc5parser1_1.1.2-1build1_arm64.deb      2024-04-02 06:06  194K  
[   ] libcvc5parser1_1.1.2-1build1_armhf.deb      2024-04-02 03:08  212K  
[   ] libcvc5parser1_1.1.2-1build1_ppc64el.deb    2024-04-02 07:58  213K  
[   ] libcvc5parser1_1.1.2-1build1_riscv64.deb    2024-04-04 04:27  232K  
[   ] libcvc5parser1_1.1.2-1build1_s390x.deb      2024-04-02 13:03  213K  
[   ] libcvc5parser1_1.1.2-2_arm64.deb            2024-05-03 10:35  194K  
[   ] libcvc5parser1_1.1.2-2_armhf.deb            2024-05-09 13:31  215K  
[   ] libcvc5parser1_1.1.2-2_ppc64el.deb          2024-05-03 05:31  211K  
[   ] libcvc5parser1_1.1.2-2_riscv64.deb          2024-05-06 13:59  232K  
[   ] libcvc5parser1_1.1.2-2_s390x.deb            2024-05-03 06:30  210K  
[   ] python3-cvc5_1.0.5-3_arm64.deb              2023-06-25 10:04  218K  
[   ] python3-cvc5_1.0.5-3_ppc64el.deb            2023-06-25 10:04  227K  
[   ] python3-cvc5_1.0.5-3_riscv64.deb            2023-06-25 10:04  227K  
[   ] python3-cvc5_1.0.5-3_s390x.deb              2023-06-25 10:04  217K  
[   ] python3-cvc5_1.1.2-1build1_arm64.deb        2024-04-02 06:06  328K  
[   ] python3-cvc5_1.1.2-1build1_armhf.deb        2024-04-02 03:08  341K  
[   ] python3-cvc5_1.1.2-1build1_ppc64el.deb      2024-04-02 07:58  324K  
[   ] python3-cvc5_1.1.2-1build1_riscv64.deb      2024-04-04 04:27  341K  
[   ] python3-cvc5_1.1.2-1build1_s390x.deb        2024-04-02 13:03  382K  
[   ] python3-cvc5_1.1.2-2_arm64.deb              2024-05-03 10:35  328K  
[   ] python3-cvc5_1.1.2-2_armhf.deb              2024-05-09 13:31  342K  
[   ] python3-cvc5_1.1.2-2_ppc64el.deb            2024-05-03 05:31  324K  
[   ] python3-cvc5_1.1.2-2_riscv64.deb            2024-05-06 13:59  341K  
[   ] python3-cvc5_1.1.2-2_s390x.deb              2024-05-03 06:30  384K
Apache/2.4.41 (Ubuntu) Server at mirror.turnkeylinux.org Port 80