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


../
cvc5_1.1.2-1build1.debian.tar.xz                                                                                         31-Mar-2024 18:36    6576
cvc5_1.1.2-1build1.dsc                                                                                                   31-Mar-2024 18:36    2589
cvc5_1.1.2-1build1_arm64.deb                                                                                             02-Apr-2024 04:06     86K
cvc5_1.1.2-1build1_armhf.deb                                                                                             02-Apr-2024 01:08    102K
cvc5_1.1.2-1build1_ppc64el.deb                                                                                           02-Apr-2024 05:58     91K
cvc5_1.1.2-1build1_riscv64.deb                                                                                           04-Apr-2024 02:27    103K
cvc5_1.1.2-1build1_s390x.deb                                                                                             02-Apr-2024 11:03     94K
cvc5_1.1.2-2.debian.tar.xz                                                                                               03-May-2024 01:55    7396
cvc5_1.1.2-2.dsc                                                                                                         03-May-2024 01:55    2470
cvc5_1.1.2-2_arm64.deb                                                                                                   03-May-2024 08:35     86K
cvc5_1.1.2-2_armhf.deb                                                                                                   09-May-2024 11:31    102K
cvc5_1.1.2-2_ppc64el.deb                                                                                                 03-May-2024 03:31     91K
cvc5_1.1.2-2_riscv64.deb                                                                                                 06-May-2024 11:59    103K
cvc5_1.1.2-2_s390x.deb                                                                                                   03-May-2024 04:30     92K
cvc5_1.1.2.orig.tar.gz                                                                                                   03-Mar-2024 11:23      8M
libcvc5-1_1.1.2-1build1_arm64.deb                                                                                        02-Apr-2024 04:06      4M
libcvc5-1_1.1.2-1build1_armhf.deb                                                                                        02-Apr-2024 01:08      6M
libcvc5-1_1.1.2-1build1_ppc64el.deb                                                                                      02-Apr-2024 05:58      5M
libcvc5-1_1.1.2-1build1_riscv64.deb                                                                                      04-Apr-2024 02:27      7M
libcvc5-1_1.1.2-1build1_s390x.deb                                                                                        02-Apr-2024 11:03      5M
libcvc5-1_1.1.2-2_arm64.deb                                                                                              03-May-2024 08:35      4M
libcvc5-1_1.1.2-2_armhf.deb                                                                                              09-May-2024 11:31      6M
libcvc5-1_1.1.2-2_ppc64el.deb                                                                                            03-May-2024 03:31      5M
libcvc5-1_1.1.2-2_riscv64.deb                                                                                            06-May-2024 11:59      7M
libcvc5-1_1.1.2-2_s390x.deb                                                                                              03-May-2024 04:30      5M
libcvc5-dev_1.1.2-1build1_arm64.deb                                                                                      02-Apr-2024 04:06     82K
libcvc5-dev_1.1.2-1build1_armhf.deb                                                                                      02-Apr-2024 01:08     82K
libcvc5-dev_1.1.2-1build1_ppc64el.deb                                                                                    02-Apr-2024 05:58     82K
libcvc5-dev_1.1.2-1build1_riscv64.deb                                                                                    04-Apr-2024 02:27     82K
libcvc5-dev_1.1.2-1build1_s390x.deb                                                                                      02-Apr-2024 11:03     82K
libcvc5-dev_1.1.2-2_arm64.deb                                                                                            03-May-2024 08:35     82K
libcvc5-dev_1.1.2-2_armhf.deb                                                                                            09-May-2024 11:31     82K
libcvc5-dev_1.1.2-2_ppc64el.deb                                                                                          03-May-2024 03:31     82K
libcvc5-dev_1.1.2-2_riscv64.deb                                                                                          06-May-2024 11:59     82K
libcvc5-dev_1.1.2-2_s390x.deb                                                                                            03-May-2024 04:30     82K
libcvc5parser1_1.1.2-1build1_arm64.deb                                                                                   02-Apr-2024 04:06    194K
libcvc5parser1_1.1.2-1build1_armhf.deb                                                                                   02-Apr-2024 01:08    212K
libcvc5parser1_1.1.2-1build1_ppc64el.deb                                                                                 02-Apr-2024 05:58    213K
libcvc5parser1_1.1.2-1build1_riscv64.deb                                                                                 04-Apr-2024 02:27    232K
libcvc5parser1_1.1.2-1build1_s390x.deb                                                                                   02-Apr-2024 11:03    213K
libcvc5parser1_1.1.2-2_arm64.deb                                                                                         03-May-2024 08:35    194K
libcvc5parser1_1.1.2-2_armhf.deb                                                                                         09-May-2024 11:31    215K
libcvc5parser1_1.1.2-2_ppc64el.deb                                                                                       03-May-2024 03:31    211K
libcvc5parser1_1.1.2-2_riscv64.deb                                                                                       06-May-2024 11:59    232K
libcvc5parser1_1.1.2-2_s390x.deb                                                                                         03-May-2024 04:30    210K
python3-cvc5_1.1.2-1build1_arm64.deb                                                                                     02-Apr-2024 04:06    328K
python3-cvc5_1.1.2-1build1_armhf.deb                                                                                     02-Apr-2024 01:08    341K
python3-cvc5_1.1.2-1build1_ppc64el.deb                                                                                   02-Apr-2024 05:58    324K
python3-cvc5_1.1.2-1build1_riscv64.deb                                                                                   04-Apr-2024 02:27    341K
python3-cvc5_1.1.2-1build1_s390x.deb                                                                                     02-Apr-2024 11:03    382K
python3-cvc5_1.1.2-2_arm64.deb                                                                                           03-May-2024 08:35    328K
python3-cvc5_1.1.2-2_armhf.deb                                                                                           09-May-2024 11:31    342K
python3-cvc5_1.1.2-2_ppc64el.deb                                                                                         03-May-2024 03:31    324K
python3-cvc5_1.1.2-2_riscv64.deb                                                                                         06-May-2024 11:59    341K
python3-cvc5_1.1.2-2_s390x.deb                                                                                           03-May-2024 04:30    384K