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

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


../
cvc5_1.0.3-1.debian.tar.xz                         20-Dec-2022 18:29    5964
cvc5_1.0.3-1.dsc                                   20-Dec-2022 18:29    2305
cvc5_1.0.3-1_arm64.deb                             20-Dec-2022 19:49     88K
cvc5_1.0.3-1_ppc64el.deb                           20-Dec-2022 18:49     93K
cvc5_1.0.3-1_riscv64.deb                           20-Dec-2022 21:48    101K
cvc5_1.0.3-1_s390x.deb                             20-Dec-2022 18:49     90K
cvc5_1.0.3.orig.tar.gz                             20-Dec-2022 18:29      8M
libcvc5-1_1.0.3-1_arm64.deb                        20-Dec-2022 19:49      4M
libcvc5-1_1.0.3-1_ppc64el.deb                      20-Dec-2022 18:49      5M
libcvc5-1_1.0.3-1_riscv64.deb                      20-Dec-2022 21:48      6M
libcvc5-1_1.0.3-1_s390x.deb                        20-Dec-2022 18:49      4M
libcvc5-dev_1.0.3-1_arm64.deb                      20-Dec-2022 19:49     52K
libcvc5-dev_1.0.3-1_ppc64el.deb                    20-Dec-2022 18:49     52K
libcvc5-dev_1.0.3-1_riscv64.deb                    20-Dec-2022 21:48     52K
libcvc5-dev_1.0.3-1_s390x.deb                      20-Dec-2022 18:49     52K
libcvc5parser1_1.0.3-1_arm64.deb                   20-Dec-2022 19:49    278K
libcvc5parser1_1.0.3-1_ppc64el.deb                 20-Dec-2022 18:49    304K
libcvc5parser1_1.0.3-1_riscv64.deb                 20-Dec-2022 21:48    307K
libcvc5parser1_1.0.3-1_s390x.deb                   20-Dec-2022 18:49    275K