Index of /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.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-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  
[   ] 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  
[   ] 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
Apache/2.4.41 (Ubuntu) Server at ftp.de.netbsd.org Port 80